Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.9K Mar 31 07:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 31 07:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 30 00:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 30 00:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 07:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 07:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 89K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-12b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589363797170

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 12b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 352 places, 374 transitions, 977 arcs.
AT ITER 0 NEW BEST:: SOT 91917 SOS 44107 HAS SOPS 44107 HAS SOUS 38972 HAS SOUPS 38972 WITH SCORE 39016.107
AT ITER 1 NEW BEST:: SOT 91705 SOS 43789 HAS SOPS 43789 HAS SOUS 38654 HAS SOUPS 38654 WITH SCORE 38697.789
AT ITER 2 NEW BEST:: SOT 91719 SOS 43657 HAS SOPS 43657 HAS SOUS 38473 HAS SOUPS 38473 WITH SCORE 38516.657
AT ITER 7 NEW BEST:: SOT 91719 SOS 43597 HAS SOPS 43597 HAS SOUS 38412 HAS SOUPS 38412 WITH SCORE 38455.597
AT ITER 11 NEW BEST:: SOT 91117 SOS 43078 HAS SOPS 43078 HAS SOUS 37862 HAS SOUPS 37862 WITH SCORE 37905.078
AT ITER 18 NEW BEST:: SOT 87577 SOS 47117 HAS SOPS 47117 HAS SOUS 34424 HAS SOUPS 34424 WITH SCORE 34471.117
AT ITER 19 NEW BEST:: SOT 87576 SOS 47084 HAS SOPS 47084 HAS SOUS 34422 HAS SOUPS 34422 WITH SCORE 34469.084
AT ITER 21 NEW BEST:: SOT 87494 SOS 46921 HAS SOPS 46921 HAS SOUS 34339 HAS SOUPS 34339 WITH SCORE 34385.921
AT ITER 22 NEW BEST:: SOT 87430 SOS 46793 HAS SOPS 46793 HAS SOUS 34243 HAS SOUPS 34243 WITH SCORE 34289.793
AT ITER 29 NEW BEST:: SOT 87374 SOS 46682 HAS SOPS 46682 HAS SOUS 34186 HAS SOUPS 34186 WITH SCORE 34232.682
AT ITER 36 NEW BEST:: SOT 87284 SOS 46502 HAS SOPS 46502 HAS SOUS 34117 HAS SOUPS 34117 WITH SCORE 34163.502
AT ITER 44 NEW BEST:: SOT 87198 SOS 46319 HAS SOPS 46319 HAS SOUS 33972 HAS SOUPS 33972 WITH SCORE 34018.319
AT ITER 48 NEW BEST:: SOT 87198 SOS 46316 HAS SOPS 46316 HAS SOUS 33969 HAS SOUPS 33969 WITH SCORE 34015.316
AT ITER 49 NEW BEST:: SOT 87155 SOS 46230 HAS SOPS 46230 HAS SOUS 33926 HAS SOUPS 33926 WITH SCORE 33972.23
AT ITER 53 NEW BEST:: SOT 87077 SOS 46074 HAS SOPS 46074 HAS SOUS 33848 HAS SOUPS 33848 WITH SCORE 33894.074
AT ITER 57 NEW BEST:: SOT 86569 SOS 46322 HAS SOPS 46322 HAS SOUS 33340 HAS SOUPS 33340 WITH SCORE 33386.322
AT ITER 58 NEW BEST:: SOT 86388 SOS 46022 HAS SOPS 46022 HAS SOUS 33102 HAS SOUPS 33102 WITH SCORE 33148.022
AT ITER 64 NEW BEST:: SOT 86314 SOS 45884 HAS SOPS 45884 HAS SOUS 33056 HAS SOUPS 33056 WITH SCORE 33101.884
AT ITER 66 NEW BEST:: SOT 85397 SOS 45497 HAS SOPS 45497 HAS SOUS 32123 HAS SOUPS 32123 WITH SCORE 32168.497
AT ITER 68 NEW BEST:: SOT 85396 SOS 45496 HAS SOPS 45496 HAS SOUS 32121 HAS SOUPS 32121 WITH SCORE 32166.496
AT ITER 71 NEW BEST:: SOT 85395 SOS 45465 HAS SOPS 45465 HAS SOUS 32119 HAS SOUPS 32119 WITH SCORE 32164.465
AT ITER 87 NEW BEST:: SOT 85394 SOS 45448 HAS SOPS 45448 HAS SOUS 32117 HAS SOUPS 32117 WITH SCORE 32162.448
AT ITER 88 NEW BEST:: SOT 85341 SOS 45346 HAS SOPS 45346 HAS SOUS 32113 HAS SOUPS 32113 WITH SCORE 32158.346
AT ITER 89 NEW BEST:: SOT 85297 SOS 45071 HAS SOPS 45071 HAS SOUS 31950 HAS SOUPS 31950 WITH SCORE 31995.071
AT ITER 95 NEW BEST:: SOT 85141 SOS 44849 HAS SOPS 44849 HAS SOUS 31794 HAS SOUPS 31794 WITH SCORE 31838.849
AT ITER 100 NEW BEST:: SOT 85103 SOS 44783 HAS SOPS 44783 HAS SOUS 31718 HAS SOUPS 31718 WITH SCORE 31762.783
AT ITER 103 NEW BEST:: SOT 84911 SOS 44591 HAS SOPS 44591 HAS SOUS 31526 HAS SOUPS 31526 WITH SCORE 31570.591
AT ITER 110 NEW BEST:: SOT 84790 SOS 44350 HAS SOPS 44350 HAS SOUS 31344 HAS SOUPS 31344 WITH SCORE 31388.35
AT ITER 115 NEW BEST:: SOT 84796 SOS 44281 HAS SOPS 44281 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31357.281
AT ITER 121 NEW BEST:: SOT 84796 SOS 41875 HAS SOPS 41875 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31354.875
AT ITER 122 NEW BEST:: SOT 84708 SOS 41541 HAS SOPS 41541 HAS SOUS 31137 HAS SOUPS 31137 WITH SCORE 31178.541
AT ITER 125 NEW BEST:: SOT 84704 SOS 41476 HAS SOPS 41476 HAS SOUS 31068 HAS SOUPS 31068 WITH SCORE 31109.476
AT ITER 127 NEW BEST:: SOT 84563 SOS 41201 HAS SOPS 41201 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 30968.201
AT ITER 131 NEW BEST:: SOT 84442 SOS 39537 HAS SOPS 39537 HAS SOUS 30754 HAS SOUPS 30754 WITH SCORE 30793.537
AT ITER 132 NEW BEST:: SOT 84347 SOS 39368 HAS SOPS 39368 HAS SOUS 30659 HAS SOUPS 30659 WITH SCORE 30698.368
AT ITER 133 NEW BEST:: SOT 84335 SOS 39356 HAS SOPS 39356 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 30686.356
AT ITER 134 NEW BEST:: SOT 84285 SOS 39256 HAS SOPS 39256 HAS SOUS 30547 HAS SOUPS 30547 WITH SCORE 30586.256
AT ITER 137 NEW BEST:: SOT 84247 SOS 39181 HAS SOPS 39181 HAS SOUS 30508 HAS SOUPS 30508 WITH SCORE 30547.181
AT ITER 144 NEW BEST:: SOT 84230 SOS 39164 HAS SOPS 39164 HAS SOUS 30491 HAS SOUPS 30491 WITH SCORE 30530.164
AT ITER 147 NEW BEST:: SOT 84198 SOS 39145 HAS SOPS 39145 HAS SOUS 30399 HAS SOUPS 30399 WITH SCORE 30438.145
AT ITER 153 NEW BEST:: SOT 84197 SOS 39144 HAS SOPS 39144 HAS SOUS 30397 HAS SOUPS 30397 WITH SCORE 30436.144
AT ITER 161 NEW BEST:: SOT 84048 SOS 38954 HAS SOPS 38954 HAS SOUS 30164 HAS SOUPS 30164 WITH SCORE 30202.954
AT ITER 163 NEW BEST:: SOT 84046 SOS 38895 HAS SOPS 38895 HAS SOUS 30156 HAS SOUPS 30156 WITH SCORE 30194.895
AT ITER 165 NEW BEST:: SOT 83849 SOS 38792 HAS SOPS 38792 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30132.792
AT ITER 166 NEW BEST:: SOT 83849 SOS 38792 HAS SOPS 38792 HAS SOUS 30090 HAS SOUPS 30090 WITH SCORE 30128.792
AT ITER 167 NEW BEST:: SOT 83849 SOS 38789 HAS SOPS 38789 HAS SOUS 30090 HAS SOUPS 30090 WITH SCORE 30128.789
AT ITER 191 NEW BEST:: SOT 83737 SOS 38750 HAS SOPS 38750 HAS SOUS 30051 HAS SOUPS 30051 WITH SCORE 30089.75
AT ITER 201 NEW BEST:: SOT 83727 SOS 38730 HAS SOPS 38730 HAS SOUS 30031 HAS SOUPS 30031 WITH SCORE 30069.73
AT ITER 203 NEW BEST:: SOT 83666 SOS 38543 HAS SOPS 38543 HAS SOUS 29970 HAS SOUPS 29970 WITH SCORE 30008.543
AT ITER 204 NEW BEST:: SOT 83666 SOS 38543 HAS SOPS 38543 HAS SOUS 29967 HAS SOUPS 29967 WITH SCORE 30005.543
AT ITER 208 NEW BEST:: SOT 83665 SOS 38520 HAS SOPS 38520 HAS SOUS 29967 HAS SOUPS 29967 WITH SCORE 30005.52
AT ITER 211 NEW BEST:: SOT 83623 SOS 38394 HAS SOPS 38394 HAS SOUS 29841 HAS SOUPS 29841 WITH SCORE 29879.394
AT ITER 213 NEW BEST:: SOT 83545 SOS 38333 HAS SOPS 38333 HAS SOUS 29809 HAS SOUPS 29809 WITH SCORE 29847.333
AT ITER 218 NEW BEST:: SOT 83541 SOS 38325 HAS SOPS 38325 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29843.325
AT ITER 220 NEW BEST:: SOT 83431 SOS 38172 HAS SOPS 38172 HAS SOUS 29711 HAS SOUPS 29711 WITH SCORE 29749.172
AT ITER 226 NEW BEST:: SOT 83416 SOS 38088 HAS SOPS 38088 HAS SOUS 29670 HAS SOUPS 29670 WITH SCORE 29708.088
AT ITER 237 NEW BEST:: SOT 83333 SOS 37839 HAS SOPS 37839 HAS SOUS 29572 HAS SOUPS 29572 WITH SCORE 29609.839
AT ITER 244 NEW BEST:: SOT 83314 SOS 37801 HAS SOPS 37801 HAS SOUS 29554 HAS SOUPS 29554 WITH SCORE 29591.801
AT ITER 256 NEW BEST:: SOT 83304 SOS 37781 HAS SOPS 37781 HAS SOUS 29542 HAS SOUPS 29542 WITH SCORE 29579.781
AT ITER 264 NEW BEST:: SOT 83191 SOS 37464 HAS SOPS 37464 HAS SOUS 29303 HAS SOUPS 29303 WITH SCORE 29340.464
AT ITER 275 NEW BEST:: SOT 83162 SOS 37363 HAS SOPS 37363 HAS SOUS 29274 HAS SOUPS 29274 WITH SCORE 29311.363
AT ITER 279 NEW BEST:: SOT 83111 SOS 37360 HAS SOPS 37360 HAS SOUS 29223 HAS SOUPS 29223 WITH SCORE 29260.36
AT ITER 299 NEW BEST:: SOT 83123 SOS 37220 HAS SOPS 37220 HAS SOUS 29217 HAS SOUPS 29217 WITH SCORE 29254.22
AT ITER 303 NEW BEST:: SOT 83123 SOS 37216 HAS SOPS 37216 HAS SOUS 29217 HAS SOUPS 29217 WITH SCORE 29254.216
AT ITER 310 NEW BEST:: SOT 83013 SOS 36947 HAS SOPS 36947 HAS SOUS 29126 HAS SOUPS 29126 WITH SCORE 29162.947
AT ITER 316 NEW BEST:: SOT 82987 SOS 36895 HAS SOPS 36895 HAS SOUS 29074 HAS SOUPS 29074 WITH SCORE 29110.895
AT ITER 321 NEW BEST:: SOT 82938 SOS 36797 HAS SOPS 36797 HAS SOUS 29049 HAS SOUPS 29049 WITH SCORE 29085.797
AT ITER 322 NEW BEST:: SOT 82910 SOS 34703 HAS SOPS 34703 HAS SOUS 28977 HAS SOUPS 28977 WITH SCORE 29011.703
AT ITER 334 NEW BEST:: SOT 82910 SOS 34610 HAS SOPS 34610 HAS SOUS 28954 HAS SOUPS 28954 WITH SCORE 28988.61
AT ITER 335 NEW BEST:: SOT 82900 SOS 34595 HAS SOPS 34595 HAS SOUS 28939 HAS SOUPS 28939 WITH SCORE 28973.595
AT ITER 337 NEW BEST:: SOT 82726 SOS 34298 HAS SOPS 34298 HAS SOUS 28678 HAS SOUPS 28678 WITH SCORE 28712.298
AT ITER 338 NEW BEST:: SOT 82629 SOS 34162 HAS SOPS 34162 HAS SOUS 28542 HAS SOUPS 28542 WITH SCORE 28576.162
AT ITER 346 NEW BEST:: SOT 82629 SOS 34162 HAS SOPS 34162 HAS SOUS 28541 HAS SOUPS 28541 WITH SCORE 28575.162
AT ITER 354 NEW BEST:: SOT 82629 SOS 34162 HAS SOPS 34162 HAS SOUS 28526 HAS SOUPS 28526 WITH SCORE 28560.162
AT ITER 356 NEW BEST:: SOT 82645 SOS 34161 HAS SOPS 34161 HAS SOUS 28525 HAS SOUPS 28525 WITH SCORE 28559.161
AT ITER 359 NEW BEST:: SOT 82542 SOS 33989 HAS SOPS 33989 HAS SOUS 28380 HAS SOUPS 28380 WITH SCORE 28413.989
AT ITER 363 NEW BEST:: SOT 82542 SOS 33976 HAS SOPS 33976 HAS SOUS 28367 HAS SOUPS 28367 WITH SCORE 28400.976
AT ITER 371 NEW BEST:: SOT 82456 SOS 33983 HAS SOPS 33983 HAS SOUS 28277 HAS SOUPS 28277 WITH SCORE 28310.983
AT ITER 375 NEW BEST:: SOT 82430 SOS 33931 HAS SOPS 33931 HAS SOUS 28225 HAS SOUPS 28225 WITH SCORE 28258.931
AT ITER 376 NEW BEST:: SOT 82392 SOS 33915 HAS SOPS 33915 HAS SOUS 28209 HAS SOUPS 28209 WITH SCORE 28242.915
AT ITER 377 NEW BEST:: SOT 82391 SOS 33913 HAS SOPS 33913 HAS SOUS 28207 HAS SOUPS 28207 WITH SCORE 28240.913
AT ITER 379 NEW BEST:: SOT 82339 SOS 33861 HAS SOPS 33861 HAS SOUS 28155 HAS SOUPS 28155 WITH SCORE 28188.861
AT ITER 385 NEW BEST:: SOT 82266 SOS 33861 HAS SOPS 33861 HAS SOUS 28148 HAS SOUPS 28148 WITH SCORE 28181.861
AT ITER 388 NEW BEST:: SOT 82225 SOS 33824 HAS SOPS 33824 HAS SOUS 28126 HAS SOUPS 28126 WITH SCORE 28159.824
AT ITER 410 NEW BEST:: SOT 82329 SOS 33717 HAS SOPS 33717 HAS SOUS 28110 HAS SOUPS 28110 WITH SCORE 28143.717
AT ITER 411 NEW BEST:: SOT 82314 SOS 33687 HAS SOPS 33687 HAS SOUS 28106 HAS SOUPS 28106 WITH SCORE 28139.687
AT ITER 414 NEW BEST:: SOT 82325 SOS 33676 HAS SOPS 33676 HAS SOUS 28095 HAS SOUPS 28095 WITH SCORE 28128.676
AT ITER 423 NEW BEST:: SOT 82284 SOS 33600 HAS SOPS 33600 HAS SOUS 28013 HAS SOUPS 28013 WITH SCORE 28046.6
AT ITER 431 NEW BEST:: SOT 82259 SOS 33377 HAS SOPS 33377 HAS SOUS 27987 HAS SOUPS 27987 WITH SCORE 28020.377
AT ITER 432 NEW BEST:: SOT 82255 SOS 33369 HAS SOPS 33369 HAS SOUS 27987 HAS SOUPS 27987 WITH SCORE 28020.369
AT ITER 435 NEW BEST:: SOT 82251 SOS 33331 HAS SOPS 33331 HAS SOUS 27910 HAS SOUPS 27910 WITH SCORE 27943.331
AT ITER 436 NEW BEST:: SOT 82251 SOS 33303 HAS SOPS 33303 HAS SOUS 27882 HAS SOUPS 27882 WITH SCORE 27915.303
AT ITER 444 NEW BEST:: SOT 82209 SOS 33260 HAS SOPS 33260 HAS SOUS 27849 HAS SOUPS 27849 WITH SCORE 27882.26
AT ITER 458 NEW BEST:: SOT 82169 SOS 33268 HAS SOPS 33268 HAS SOUS 27790 HAS SOUPS 27790 WITH SCORE 27823.268
AT ITER 467 NEW BEST:: SOT 82152 SOS 33234 HAS SOPS 33234 HAS SOUS 27772 HAS SOUPS 27772 WITH SCORE 27805.234
AT ITER 468 NEW BEST:: SOT 82220 SOS 33433 HAS SOPS 33433 HAS SOUS 27690 HAS SOUPS 27690 WITH SCORE 27723.433
AT ITER 482 NEW BEST:: SOT 82229 SOS 33368 HAS SOPS 33368 HAS SOUS 27626 HAS SOUPS 27626 WITH SCORE 27659.368
AT ITER 491 NEW BEST:: SOT 82214 SOS 33338 HAS SOPS 33338 HAS SOUS 27539 HAS SOUPS 27539 WITH SCORE 27572.338
AT ITER 494 NEW BEST:: SOT 82109 SOS 33212 HAS SOPS 33212 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27462.212
AT ITER 500 NEW BEST:: SOT 82097 SOS 33129 HAS SOPS 33129 HAS SOUS 27362 HAS SOUPS 27362 WITH SCORE 27395.129
AT ITER 501 NEW BEST:: SOT 82105 SOS 33117 HAS SOPS 33117 HAS SOUS 27351 HAS SOUPS 27351 WITH SCORE 27384.117
AT ITER 506 NEW BEST:: SOT 82083 SOS 33073 HAS SOPS 33073 HAS SOUS 27329 HAS SOUPS 27329 WITH SCORE 27362.073
AT ITER 512 NEW BEST:: SOT 82064 SOS 33034 HAS SOPS 33034 HAS SOUS 27291 HAS SOUPS 27291 WITH SCORE 27324.034
AT ITER 513 NEW BEST:: SOT 82199 SOS 33079 HAS SOPS 33079 HAS SOUS 27268 HAS SOUPS 27268 WITH SCORE 27301.079
AT ITER 515 NEW BEST:: SOT 82199 SOS 33061 HAS SOPS 33061 HAS SOUS 27268 HAS SOUPS 27268 WITH SCORE 27301.061
AT ITER 516 NEW BEST:: SOT 82151 SOS 32965 HAS SOPS 32965 HAS SOUS 27188 HAS SOUPS 27188 WITH SCORE 27220.965
AT ITER 533 NEW BEST:: SOT 82119 SOS 32931 HAS SOPS 32931 HAS SOUS 27154 HAS SOUPS 27154 WITH SCORE 27186.931
AT ITER 549 NEW BEST:: SOT 82102 SOS 32847 HAS SOPS 32847 HAS SOUS 27055 HAS SOUPS 27055 WITH SCORE 27087.847
AT ITER 555 NEW BEST:: SOT 82018 SOS 32801 HAS SOPS 32801 HAS SOUS 27009 HAS SOUPS 27009 WITH SCORE 27041.801
AT ITER 556 NEW BEST:: SOT 81983 SOS 32772 HAS SOPS 32772 HAS SOUS 26980 HAS SOUPS 26980 WITH SCORE 27012.772
AT ITER 558 NEW BEST:: SOT 81861 SOS 32622 HAS SOPS 32622 HAS SOUS 26947 HAS SOUPS 26947 WITH SCORE 26979.622
AT ITER 560 NEW BEST:: SOT 81852 SOS 32613 HAS SOPS 32613 HAS SOUS 26938 HAS SOUPS 26938 WITH SCORE 26970.613
AT ITER 570 NEW BEST:: SOT 81811 SOS 32438 HAS SOPS 32438 HAS SOUS 26897 HAS SOUPS 26897 WITH SCORE 26929.438
AT ITER 575 NEW BEST:: SOT 81781 SOS 32477 HAS SOPS 32477 HAS SOUS 26855 HAS SOUPS 26855 WITH SCORE 26887.477
AT ITER 594 NEW BEST:: SOT 81781 SOS 32469 HAS SOPS 32469 HAS SOUS 26847 HAS SOUPS 26847 WITH SCORE 26879.469
AT ITER 595 NEW BEST:: SOT 81781 SOS 32469 HAS SOPS 32469 HAS SOUS 26817 HAS SOUPS 26817 WITH SCORE 26849.469
AT ITER 602 NEW BEST:: SOT 81804 SOS 32478 HAS SOPS 32478 HAS SOUS 26813 HAS SOUPS 26813 WITH SCORE 26845.478
AT ITER 607 NEW BEST:: SOT 81687 SOS 32244 HAS SOPS 32244 HAS SOUS 26579 HAS SOUPS 26579 WITH SCORE 26611.244
AT ITER 613 NEW BEST:: SOT 81657 SOS 32270 HAS SOPS 32270 HAS SOUS 26545 HAS SOUPS 26545 WITH SCORE 26577.27
AT ITER 614 NEW BEST:: SOT 81633 SOS 32246 HAS SOPS 32246 HAS SOUS 26497 HAS SOUPS 26497 WITH SCORE 26529.246
AT ITER 618 NEW BEST:: SOT 81591 SOS 32151 HAS SOPS 32151 HAS SOUS 26414 HAS SOUPS 26414 WITH SCORE 26446.151
AT ITER 624 NEW BEST:: SOT 81530 SOS 32020 HAS SOPS 32020 HAS SOUS 26362 HAS SOUPS 26362 WITH SCORE 26394.02
AT ITER 626 NEW BEST:: SOT 81530 SOS 32008 HAS SOPS 32008 HAS SOUS 26350 HAS SOUPS 26350 WITH SCORE 26382.008
AT ITER 627 NEW BEST:: SOT 81529 SOS 32006 HAS SOPS 32006 HAS SOUS 26344 HAS SOUPS 26344 WITH SCORE 26376.006
AT ITER 642 NEW BEST:: SOT 81515 SOS 31992 HAS SOPS 31992 HAS SOUS 26330 HAS SOUPS 26330 WITH SCORE 26361.992
AT ITER 657 NEW BEST:: SOT 81549 SOS 32017 HAS SOPS 32017 HAS SOUS 26302 HAS SOUPS 26302 WITH SCORE 26334.017
AT ITER 663 NEW BEST:: SOT 81548 SOS 32015 HAS SOPS 32015 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26332.015
AT ITER 664 NEW BEST:: SOT 81549 SOS 31998 HAS SOPS 31998 HAS SOUS 26283 HAS SOUPS 26283 WITH SCORE 26314.998
AT ITER 674 NEW BEST:: SOT 81519 SOS 31938 HAS SOPS 31938 HAS SOUS 26223 HAS SOUPS 26223 WITH SCORE 26254.938
AT ITER 677 NEW BEST:: SOT 81392 SOS 31798 HAS SOPS 31798 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26126.798
AT ITER 689 NEW BEST:: SOT 81388 SOS 31794 HAS SOPS 31794 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26122.794
AT ITER 693 NEW BEST:: SOT 81261 SOS 32339 HAS SOPS 32339 HAS SOUS 26067 HAS SOUPS 26067 WITH SCORE 26099.339
AT ITER 695 NEW BEST:: SOT 81261 SOS 32339 HAS SOPS 32339 HAS SOUS 25998 HAS SOUPS 25998 WITH SCORE 26030.339
AT ITER 697 NEW BEST:: SOT 81221 SOS 32327 HAS SOPS 32327 HAS SOUS 25985 HAS SOUPS 25985 WITH SCORE 26017.327
AT ITER 705 NEW BEST:: SOT 81237 SOS 32359 HAS SOPS 32359 HAS SOUS 25979 HAS SOUPS 25979 WITH SCORE 26011.359
AT ITER 726 NEW BEST:: SOT 81225 SOS 32344 HAS SOPS 32344 HAS SOUS 25958 HAS SOUPS 25958 WITH SCORE 25990.344
AT ITER 731 NEW BEST:: SOT 81217 SOS 32328 HAS SOPS 32328 HAS SOUS 25942 HAS SOUPS 25942 WITH SCORE 25974.328
AT ITER 732 NEW BEST:: SOT 81117 SOS 32128 HAS SOPS 32128 HAS SOUS 25792 HAS SOUPS 25792 WITH SCORE 25824.128
AT ITER 738 NEW BEST:: SOT 81146 SOS 32092 HAS SOPS 32092 HAS SOUS 25763 HAS SOUPS 25763 WITH SCORE 25795.092
AT ITER 750 NEW BEST:: SOT 81135 SOS 32071 HAS SOPS 32071 HAS SOUS 25751 HAS SOUPS 25751 WITH SCORE 25783.071
AT ITER 758 NEW BEST:: SOT 81186 SOS 32043 HAS SOPS 32043 HAS SOUS 25664 HAS SOUPS 25664 WITH SCORE 25696.043
AT ITER 763 NEW BEST:: SOT 81185 SOS 32042 HAS SOPS 32042 HAS SOUS 25663 HAS SOUPS 25663 WITH SCORE 25695.042
AT ITER 764 NEW BEST:: SOT 81172 SOS 32016 HAS SOPS 32016 HAS SOUS 25650 HAS SOUPS 25650 WITH SCORE 25682.016
AT ITER 775 NEW BEST:: SOT 81096 SOS 32024 HAS SOPS 32024 HAS SOUS 25574 HAS SOUPS 25574 WITH SCORE 25606.024
AT ITER 776 NEW BEST:: SOT 81090 SOS 32012 HAS SOPS 32012 HAS SOUS 25565 HAS SOUPS 25565 WITH SCORE 25597.012
AT ITER 796 NEW BEST:: SOT 81090 SOS 31949 HAS SOPS 31949 HAS SOUS 25533 HAS SOUPS 25533 WITH SCORE 25564.949
AT ITER 800 NEW BEST:: SOT 81059 SOS 31873 HAS SOPS 31873 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25540.873
AT ITER 801 NEW BEST:: SOT 81059 SOS 31861 HAS SOPS 31861 HAS SOUS 25497 HAS SOUPS 25497 WITH SCORE 25528.861
AT ITER 802 NEW BEST:: SOT 81055 SOS 31853 HAS SOPS 31853 HAS SOUS 25489 HAS SOUPS 25489 WITH SCORE 25520.853
AT ITER 810 NEW BEST:: SOT 81054 SOS 31833 HAS SOPS 31833 HAS SOUS 25482 HAS SOUPS 25482 WITH SCORE 25513.833
AT ITER 822 NEW BEST:: SOT 81054 SOS 31715 HAS SOPS 31715 HAS SOUS 25482 HAS SOUPS 25482 WITH SCORE 25513.715
AT ITER 830 NEW BEST:: SOT 81024 SOS 31655 HAS SOPS 31655 HAS SOUS 25437 HAS SOUPS 25437 WITH SCORE 25468.655
AT ITER 836 NEW BEST:: SOT 81021 SOS 31600 HAS SOPS 31600 HAS SOUS 25379 HAS SOUPS 25379 WITH SCORE 25410.6
AT ITER 850 NEW BEST:: SOT 80981 SOS 31480 HAS SOPS 31480 HAS SOUS 25337 HAS SOUPS 25337 WITH SCORE 25368.48
AT ITER 851 NEW BEST:: SOT 80980 SOS 31478 HAS SOPS 31478 HAS SOUS 25335 HAS SOUPS 25335 WITH SCORE 25366.478
AT ITER 854 NEW BEST:: SOT 80869 SOS 31313 HAS SOPS 31313 HAS SOUS 25289 HAS SOUPS 25289 WITH SCORE 25320.313
AT ITER 855 NEW BEST:: SOT 80864 SOS 31308 HAS SOPS 31308 HAS SOUS 25284 HAS SOUPS 25284 WITH SCORE 25315.308
AT ITER 868 NEW BEST:: SOT 80870 SOS 31347 HAS SOPS 31347 HAS SOUS 25268 HAS SOUPS 25268 WITH SCORE 25299.347
AT ITER 872 NEW BEST:: SOT 80845 SOS 31329 HAS SOPS 31329 HAS SOUS 25250 HAS SOUPS 25250 WITH SCORE 25281.329
AT ITER 875 NEW BEST:: SOT 80892 SOS 31423 HAS SOPS 31423 HAS SOUS 25240 HAS SOUPS 25240 WITH SCORE 25271.423
AT ITER 883 NEW BEST:: SOT 80892 SOS 31402 HAS SOPS 31402 HAS SOUS 25240 HAS SOUPS 25240 WITH SCORE 25271.402
AT ITER 884 NEW BEST:: SOT 80833 SOS 31343 HAS SOPS 31343 HAS SOUS 25181 HAS SOUPS 25181 WITH SCORE 25212.343
AT ITER 887 NEW BEST:: SOT 80833 SOS 31304 HAS SOPS 31304 HAS SOUS 25165 HAS SOUPS 25165 WITH SCORE 25196.304
AT ITER 900 NEW BEST:: SOT 80827 SOS 31298 HAS SOPS 31298 HAS SOUS 25153 HAS SOUPS 25153 WITH SCORE 25184.298
AT ITER 907 NEW BEST:: SOT 80826 SOS 31291 HAS SOPS 31291 HAS SOUS 25146 HAS SOUPS 25146 WITH SCORE 25177.291
AT ITER 908 NEW BEST:: SOT 80826 SOS 31270 HAS SOPS 31270 HAS SOUS 25146 HAS SOUPS 25146 WITH SCORE 25177.27
AT ITER 920 NEW BEST:: SOT 80825 SOS 31268 HAS SOPS 31268 HAS SOUS 25144 HAS SOUPS 25144 WITH SCORE 25175.268
AT ITER 943 NEW BEST:: SOT 80825 SOS 31212 HAS SOPS 31212 HAS SOUS 25144 HAS SOUPS 25144 WITH SCORE 25175.212
AT ITER 946 NEW BEST:: SOT 80774 SOS 31166 HAS SOPS 31166 HAS SOUS 25042 HAS SOUPS 25042 WITH SCORE 25073.166
AT ITER 960 NEW BEST:: SOT 80705 SOS 31119 HAS SOPS 31119 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25054.119
AT ITER 972 NEW BEST:: SOT 80680 SOS 31094 HAS SOPS 31094 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25054.094
AT ITER 975 NEW BEST:: SOT 80660 SOS 31074 HAS SOPS 31074 HAS SOUS 25003 HAS SOUPS 25003 WITH SCORE 25034.074
AT ITER 976 NEW BEST:: SOT 80689 SOS 30995 HAS SOPS 30995 HAS SOUS 24954 HAS SOUPS 24954 WITH SCORE 24984.995
AT ITER 978 NEW BEST:: SOT 80689 SOS 30890 HAS SOPS 30890 HAS SOUS 24954 HAS SOUPS 24954 WITH SCORE 24984.89
AT ITER 979 NEW BEST:: SOT 80686 SOS 30833 HAS SOPS 30833 HAS SOUS 24948 HAS SOUPS 24948 WITH SCORE 24978.833
AT ITER 984 NEW BEST:: SOT 80548 SOS 30527 HAS SOPS 30527 HAS SOUS 24642 HAS SOUPS 24642 WITH SCORE 24672.527
AT ITER 988 NEW BEST:: SOT 80525 SOS 30503 HAS SOPS 30503 HAS SOUS 24618 HAS SOUPS 24618 WITH SCORE 24648.503
AT ITER 991 NEW BEST:: SOT 80529 SOS 30506 HAS SOPS 30506 HAS SOUS 24616 HAS SOUPS 24616 WITH SCORE 24646.506
AT ITER 993 NEW BEST:: SOT 80486 SOS 30358 HAS SOPS 30358 HAS SOUS 24517 HAS SOUPS 24517 WITH SCORE 24547.358
AT ITER 997 NEW BEST:: SOT 80486 SOS 30358 HAS SOPS 30358 HAS SOUS 24491 HAS SOUPS 24491 WITH SCORE 24521.358
AT ITER 1001 NEW BEST:: SOT 80486 SOS 30349 HAS SOPS 30349 HAS SOUS 24482 HAS SOUPS 24482 WITH SCORE 24512.349
AT ITER 1008 NEW BEST:: SOT 80485 SOS 30347 HAS SOPS 30347 HAS SOUS 24480 HAS SOUPS 24480 WITH SCORE 24510.347
AT ITER 1018 NEW BEST:: SOT 80413 SOS 30285 HAS SOPS 30285 HAS SOUS 24230 HAS SOUPS 24230 WITH SCORE 24260.285
AT ITER 1020 NEW BEST:: SOT 80334 SOS 30137 HAS SOPS 30137 HAS SOUS 24145 HAS SOUPS 24145 WITH SCORE 24175.137
AT ITER 1025 NEW BEST:: SOT 80291 SOS 30039 HAS SOPS 30039 HAS SOUS 24081 HAS SOUPS 24081 WITH SCORE 24111.039
AT ITER 1026 NEW BEST:: SOT 80282 SOS 30021 HAS SOPS 30021 HAS SOUS 24072 HAS SOUPS 24072 WITH SCORE 24102.021
AT ITER 1032 NEW BEST:: SOT 80273 SOS 30012 HAS SOPS 30012 HAS SOUS 24054 HAS SOUPS 24054 WITH SCORE 24084.012
AT ITER 1042 NEW BEST:: SOT 80269 SOS 30004 HAS SOPS 30004 HAS SOUS 24046 HAS SOUPS 24046 WITH SCORE 24076.004
AT ITER 1053 NEW BEST:: SOT 80349 SOS 29913 HAS SOPS 29913 HAS SOUS 24043 HAS SOUPS 24043 WITH SCORE 24072.913
AT ITER 1057 NEW BEST:: SOT 80339 SOS 29903 HAS SOPS 29903 HAS SOUS 24023 HAS SOUPS 24023 WITH SCORE 24052.903
AT ITER 1061 NEW BEST:: SOT 80311 SOS 29847 HAS SOPS 29847 HAS SOUS 23998 HAS SOUPS 23998 WITH SCORE 24027.847
AT ITER 1063 NEW BEST:: SOT 80264 SOS 29800 HAS SOPS 29800 HAS SOUS 23902 HAS SOUPS 23902 WITH SCORE 23931.8
AT ITER 1072 NEW BEST:: SOT 80253 SOS 29778 HAS SOPS 29778 HAS SOUS 23891 HAS SOUPS 23891 WITH SCORE 23920.778
AT ITER 1073 NEW BEST:: SOT 80252 SOS 29761 HAS SOPS 29761 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23904.761
AT ITER 1097 NEW BEST:: SOT 80184 SOS 29662 HAS SOPS 29662 HAS SOUS 23710 HAS SOUPS 23710 WITH SCORE 23739.662
AT ITER 1101 NEW BEST:: SOT 80175 SOS 29644 HAS SOPS 29644 HAS SOUS 23701 HAS SOUPS 23701 WITH SCORE 23730.644
AT ITER 1106 NEW BEST:: SOT 80168 SOS 29637 HAS SOPS 29637 HAS SOUS 23687 HAS SOUPS 23687 WITH SCORE 23716.637
AT ITER 1109 NEW BEST:: SOT 80167 SOS 29637 HAS SOPS 29637 HAS SOUS 23667 HAS SOUPS 23667 WITH SCORE 23696.637
AT ITER 1111 NEW BEST:: SOT 80147 SOS 29617 HAS SOPS 29617 HAS SOUS 23627 HAS SOUPS 23627 WITH SCORE 23656.617
AT ITER 1113 NEW BEST:: SOT 80127 SOS 29404 HAS SOPS 29404 HAS SOUS 23545 HAS SOUPS 23545 WITH SCORE 23574.404
AT ITER 1118 NEW BEST:: SOT 80123 SOS 29370 HAS SOPS 29370 HAS SOUS 23526 HAS SOUPS 23526 WITH SCORE 23555.37
AT ITER 1121 NEW BEST:: SOT 80123 SOS 29370 HAS SOPS 29370 HAS SOUS 23515 HAS SOUPS 23515 WITH SCORE 23544.37
AT ITER 1125 NEW BEST:: SOT 80123 SOS 29363 HAS SOPS 29363 HAS SOUS 23508 HAS SOUPS 23508 WITH SCORE 23537.363
AT ITER 1131 NEW BEST:: SOT 80122 SOS 29298 HAS SOPS 29298 HAS SOUS 23493 HAS SOUPS 23493 WITH SCORE 23522.298
AT ITER 1133 NEW BEST:: SOT 80116 SOS 29286 HAS SOPS 29286 HAS SOUS 23491 HAS SOUPS 23491 WITH SCORE 23520.286
AT ITER 1144 NEW BEST:: SOT 80110 SOS 29268 HAS SOPS 29268 HAS SOUS 23473 HAS SOUPS 23473 WITH SCORE 23502.268
AT ITER 1162 NEW BEST:: SOT 80110 SOS 29268 HAS SOPS 29268 HAS SOUS 23469 HAS SOUPS 23469 WITH SCORE 23498.268
AT ITER 1165 NEW BEST:: SOT 80083 SOS 29214 HAS SOPS 29214 HAS SOUS 23398 HAS SOUPS 23398 WITH SCORE 23427.214
AT ITER 1174 NEW BEST:: SOT 80017 SOS 29103 HAS SOPS 29103 HAS SOUS 23325 HAS SOUPS 23325 WITH SCORE 23354.103
AT ITER 1183 NEW BEST:: SOT 79757 SOS 32761 HAS SOPS 32761 HAS SOUS 23239 HAS SOUPS 23239 WITH SCORE 23271.761
AT ITER 1186 NEW BEST:: SOT 79708 SOS 32729 HAS SOPS 32729 HAS SOUS 23190 HAS SOUPS 23190 WITH SCORE 23222.729
AT ITER 1189 NEW BEST:: SOT 79681 SOS 32718 HAS SOPS 32718 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23168.718
AT ITER 1197 NEW BEST:: SOT 79724 SOS 32694 HAS SOPS 32694 HAS SOUS 23112 HAS SOUPS 23112 WITH SCORE 23144.694
AT ITER 1206 NEW BEST:: SOT 79723 SOS 32633 HAS SOPS 32633 HAS SOUS 23110 HAS SOUPS 23110 WITH SCORE 23142.633
AT ITER 1207 NEW BEST:: SOT 79707 SOS 32403 HAS SOPS 32403 HAS SOUS 23078 HAS SOUPS 23078 WITH SCORE 23110.403
AT ITER 1215 NEW BEST:: SOT 79706 SOS 32401 HAS SOPS 32401 HAS SOUS 23022 HAS SOUPS 23022 WITH SCORE 23054.401
AT ITER 1230 NEW BEST:: SOT 79590 SOS 32246 HAS SOPS 32246 HAS SOUS 22840 HAS SOUPS 22840 WITH SCORE 22872.246
AT ITER 1231 NEW BEST:: SOT 79589 SOS 32242 HAS SOPS 32242 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22868.242
AT ITER 1233 NEW BEST:: SOT 79535 SOS 32188 HAS SOPS 32188 HAS SOUS 22728 HAS SOUPS 22728 WITH SCORE 22760.188
AT ITER 1273 NEW BEST:: SOT 79535 SOS 32186 HAS SOPS 32186 HAS SOUS 22728 HAS SOUPS 22728 WITH SCORE 22760.186
AT ITER 1280 NEW BEST:: SOT 79535 SOS 32161 HAS SOPS 32161 HAS SOUS 22728 HAS SOUPS 22728 WITH SCORE 22760.161
AT ITER 1283 NEW BEST:: SOT 79526 SOS 32143 HAS SOPS 32143 HAS SOUS 22702 HAS SOUPS 22702 WITH SCORE 22734.143
AT ITER 1284 NEW BEST:: SOT 79662 SOS 32210 HAS SOPS 32210 HAS SOUS 22644 HAS SOUPS 22644 WITH SCORE 22676.21
AT ITER 1295 NEW BEST:: SOT 79662 SOS 32210 HAS SOPS 32210 HAS SOUS 22588 HAS SOUPS 22588 WITH SCORE 22620.21
AT ITER 1304 NEW BEST:: SOT 79611 SOS 32166 HAS SOPS 32166 HAS SOUS 22544 HAS SOUPS 22544 WITH SCORE 22576.166
AT ITER 1309 NEW BEST:: SOT 79611 SOS 32166 HAS SOPS 32166 HAS SOUS 22540 HAS SOUPS 22540 WITH SCORE 22572.166
AT ITER 1321 NEW BEST:: SOT 79611 SOS 32166 HAS SOPS 32166 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22566.166
AT ITER 1334 NEW BEST:: SOT 79558 SOS 32060 HAS SOPS 32060 HAS SOUS 22428 HAS SOUPS 22428 WITH SCORE 22460.06
AT ITER 1342 NEW BEST:: SOT 79500 SOS 32008 HAS SOPS 32008 HAS SOUS 22366 HAS SOUPS 22366 WITH SCORE 22398.008
AT ITER 1347 NEW BEST:: SOT 79462 SOS 31932 HAS SOPS 31932 HAS SOUS 22290 HAS SOUPS 22290 WITH SCORE 22321.932
AT ITER 1361 NEW BEST:: SOT 79401 SOS 31866 HAS SOPS 31866 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22258.866
AT ITER 1365 NEW BEST:: SOT 79368 SOS 31800 HAS SOPS 31800 HAS SOUS 22194 HAS SOUPS 22194 WITH SCORE 22225.8
AT ITER 1366 NEW BEST:: SOT 78497 SOS 30913 HAS SOPS 30913 HAS SOUS 21306 HAS SOUPS 21306 WITH SCORE 21336.913
AT ITER 1368 NEW BEST:: SOT 78497 SOS 30913 HAS SOPS 30913 HAS SOUS 21216 HAS SOUPS 21216 WITH SCORE 21246.913
AT ITER 1376 NEW BEST:: SOT 78364 SOS 30744 HAS SOPS 30744 HAS SOUS 21093 HAS SOUPS 21093 WITH SCORE 21123.744
AT ITER 1377 NEW BEST:: SOT 78339 SOS 30694 HAS SOPS 30694 HAS SOUS 21046 HAS SOUPS 21046 WITH SCORE 21076.694
AT ITER 1410 NEW BEST:: SOT 78339 SOS 30628 HAS SOPS 30628 HAS SOUS 21013 HAS SOUPS 21013 WITH SCORE 21043.628
AT ITER 1417 NEW BEST:: SOT 78329 SOS 30618 HAS SOPS 30618 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21023.618
AT ITER 1425 NEW BEST:: SOT 78275 SOS 30509 HAS SOPS 30509 HAS SOUS 20885 HAS SOUPS 20885 WITH SCORE 20915.509
AT ITER 1429 NEW BEST:: SOT 78269 SOS 30503 HAS SOPS 30503 HAS SOUS 20873 HAS SOUPS 20873 WITH SCORE 20903.503
AT ITER 1450 NEW BEST:: SOT 78033 SOS 30310 HAS SOPS 30310 HAS SOUS 20763 HAS SOUPS 20763 WITH SCORE 20793.31
AT ITER 1458 NEW BEST:: SOT 77927 SOS 30204 HAS SOPS 30204 HAS SOUS 20657 HAS SOUPS 20657 WITH SCORE 20687.204
AT ITER 1460 NEW BEST:: SOT 77845 SOS 30616 HAS SOPS 30616 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20608.616
AT ITER 1462 NEW BEST:: SOT 77845 SOS 30608 HAS SOPS 30608 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20608.608
AT ITER 1472 NEW BEST:: SOT 77829 SOS 30612 HAS SOPS 30612 HAS SOUS 20566 HAS SOUPS 20566 WITH SCORE 20596.612
AT ITER 1474 NEW BEST:: SOT 77747 SOS 30448 HAS SOPS 30448 HAS SOUS 20445 HAS SOUPS 20445 WITH SCORE 20475.448
AT ITER 1488 NEW BEST:: SOT 77693 SOS 30394 HAS SOPS 30394 HAS SOUS 20425 HAS SOUPS 20425 WITH SCORE 20455.394
AT ITER 1498 NEW BEST:: SOT 77720 SOS 30425 HAS SOPS 30425 HAS SOUS 20407 HAS SOUPS 20407 WITH SCORE 20437.425
AT ITER 1513 NEW BEST:: SOT 77717 SOS 30422 HAS SOPS 30422 HAS SOUS 20401 HAS SOUPS 20401 WITH SCORE 20431.422
AT ITER 1545 NEW BEST:: SOT 77730 SOS 30350 HAS SOPS 30350 HAS SOUS 20394 HAS SOUPS 20394 WITH SCORE 20424.35
AT ITER 1559 NEW BEST:: SOT 77723 SOS 30349 HAS SOPS 30349 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20423.349
AT ITER 1565 NEW BEST:: SOT 77722 SOS 30346 HAS SOPS 30346 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20421.346
AT ITER 1567 NEW BEST:: SOT 77709 SOS 30270 HAS SOPS 30270 HAS SOUS 20365 HAS SOUPS 20365 WITH SCORE 20395.27
AT ITER 1571 NEW BEST:: SOT 77716 SOS 30284 HAS SOPS 30284 HAS SOUS 20324 HAS SOUPS 20324 WITH SCORE 20354.284
AT ITER 1621 NEW BEST:: SOT 77696 SOS 30258 HAS SOPS 30258 HAS SOUS 20304 HAS SOUPS 20304 WITH SCORE 20334.258
AT ITER 1672 NEW BEST:: SOT 77696 SOS 30251 HAS SOPS 30251 HAS SOUS 20304 HAS SOUPS 20304 WITH SCORE 20334.251
AT ITER 1704 NEW BEST:: SOT 77600 SOS 30141 HAS SOPS 30141 HAS SOUS 20208 HAS SOUPS 20208 WITH SCORE 20238.141
AT ITER 1709 NEW BEST:: SOT 77571 SOS 30083 HAS SOPS 30083 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20145.083
AT ITER 1735 NEW BEST:: SOT 77525 SOS 30068 HAS SOPS 30068 HAS SOUS 20067 HAS SOUPS 20067 WITH SCORE 20097.068
AT ITER 1743 NEW BEST:: SOT 77521 SOS 30064 HAS SOPS 30064 HAS SOUS 20063 HAS SOUPS 20063 WITH SCORE 20093.064
AT ITER 1766 NEW BEST:: SOT 77501 SOS 30485 HAS SOPS 30485 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20084.485
AT ITER 1773 NEW BEST:: SOT 77489 SOS 30473 HAS SOPS 30473 HAS SOUS 20042 HAS SOUPS 20042 WITH SCORE 20072.473
AT ITER 1781 NEW BEST:: SOT 77462 SOS 30419 HAS SOPS 30419 HAS SOUS 19961 HAS SOUPS 19961 WITH SCORE 19991.419
AT ITER 1783 NEW BEST:: SOT 77462 SOS 30405 HAS SOPS 30405 HAS SOUS 19961 HAS SOUPS 19961 WITH SCORE 19991.405
AT ITER 1785 NEW BEST:: SOT 77460 SOS 30401 HAS SOPS 30401 HAS SOUS 19957 HAS SOUPS 19957 WITH SCORE 19987.401
AT ITER 1799 NEW BEST:: SOT 77465 SOS 30411 HAS SOPS 30411 HAS SOUS 19894 HAS SOUPS 19894 WITH SCORE 19924.411
AT ITER 1818 NEW BEST:: SOT 77459 SOS 30400 HAS SOPS 30400 HAS SOUS 19882 HAS SOUPS 19882 WITH SCORE 19912.4
AT ITER 1829 NEW BEST:: SOT 77393 SOS 30268 HAS SOPS 30268 HAS SOUS 19799 HAS SOUPS 19799 WITH SCORE 19829.268
AT ITER 1894 NEW BEST:: SOT 77363 SOS 30885 HAS SOPS 30885 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19799.885
AT ITER 1900 NEW BEST:: SOT 77291 SOS 30813 HAS SOPS 30813 HAS SOUS 19703 HAS SOUPS 19703 WITH SCORE 19733.813
AT ITER 1903 NEW BEST:: SOT 77282 SOS 30795 HAS SOPS 30795 HAS SOUS 19676 HAS SOUPS 19676 WITH SCORE 19706.795
AT ITER 1911 NEW BEST:: SOT 77271 SOS 30784 HAS SOPS 30784 HAS SOUS 19670 HAS SOUPS 19670 WITH SCORE 19700.784
AT ITER 1917 NEW BEST:: SOT 77260 SOS 30649 HAS SOPS 30649 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19678.649
AT ITER 1937 NEW BEST:: SOT 77247 SOS 30610 HAS SOPS 30610 HAS SOUS 19622 HAS SOUPS 19622 WITH SCORE 19652.61
AT ITER 1939 NEW BEST:: SOT 77255 SOS 30618 HAS SOPS 30618 HAS SOUS 19621 HAS SOUPS 19621 WITH SCORE 19651.618
AT ITER 1941 NEW BEST:: SOT 77255 SOS 30618 HAS SOPS 30618 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19614.618
AT ITER 1947 NEW BEST:: SOT 77239 SOS 30602 HAS SOPS 30602 HAS SOUS 19552 HAS SOUPS 19552 WITH SCORE 19582.602
AT ITER 1963 NEW BEST:: SOT 77232 SOS 30610 HAS SOPS 30610 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19569.61
AT ITER 1964 NEW BEST:: SOT 77200 SOS 30594 HAS SOPS 30594 HAS SOUS 19507 HAS SOUPS 19507 WITH SCORE 19537.594
AT ITER 1979 NEW BEST:: SOT 77189 SOS 30510 HAS SOPS 30510 HAS SOUS 19459 HAS SOUPS 19459 WITH SCORE 19489.51
AT ITER 1982 NEW BEST:: SOT 77189 SOS 30493 HAS SOPS 30493 HAS SOUS 19459 HAS SOUPS 19459 WITH SCORE 19489.493
AT ITER 1988 NEW BEST:: SOT 77146 SOS 30450 HAS SOPS 30450 HAS SOUS 19416 HAS SOUPS 19416 WITH SCORE 19446.45
AT ITER 1990 NEW BEST:: SOT 77135 SOS 30428 HAS SOPS 30428 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19435.428
AT ITER 1993 NEW BEST:: SOT 77133 SOS 30426 HAS SOPS 30426 HAS SOUS 19403 HAS SOUPS 19403 WITH SCORE 19433.426
AT ITER 1999 NEW BEST:: SOT 77124 SOS 30412 HAS SOPS 30412 HAS SOUS 19385 HAS SOUPS 19385 WITH SCORE 19415.412
AT ITER 2018 NEW BEST:: SOT 77105 SOS 30406 HAS SOPS 30406 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19405.406
AT ITER 2019 NEW BEST:: SOT 77105 SOS 30405 HAS SOPS 30405 HAS SOUS 19374 HAS SOUPS 19374 WITH SCORE 19404.405
AT ITER 2068 NEW BEST:: SOT 77101 SOS 30401 HAS SOPS 30401 HAS SOUS 19368 HAS SOUPS 19368 WITH SCORE 19398.401
AT ITER 2069 NEW BEST:: SOT 76967 SOS 30250 HAS SOPS 30250 HAS SOUS 19217 HAS SOUPS 19217 WITH SCORE 19247.25
AT ITER 2097 NEW BEST:: SOT 76897 SOS 30184 HAS SOPS 30184 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19212.184
AT ITER 2103 NEW BEST:: SOT 76889 SOS 30177 HAS SOPS 30177 HAS SOUS 19174 HAS SOUPS 19174 WITH SCORE 19204.177
AT ITER 2112 NEW BEST:: SOT 76867 SOS 30154 HAS SOPS 30154 HAS SOUS 19151 HAS SOUPS 19151 WITH SCORE 19181.154
AT ITER 2117 NEW BEST:: SOT 76860 SOS 30114 HAS SOPS 30114 HAS SOUS 19111 HAS SOUPS 19111 WITH SCORE 19141.114
AT ITER 2121 NEW BEST:: SOT 76842 SOS 30078 HAS SOPS 30078 HAS SOUS 19095 HAS SOUPS 19095 WITH SCORE 19125.078
AT ITER 2136 NEW BEST:: SOT 76759 SOS 29912 HAS SOPS 29912 HAS SOUS 19039 HAS SOUPS 19039 WITH SCORE 19068.912
AT ITER 2147 NEW BEST:: SOT 76723 SOS 29840 HAS SOPS 29840 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19028.84
AT ITER 2153 NEW BEST:: SOT 76731 SOS 29492 HAS SOPS 29492 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19028.492
AT ITER 2156 NEW BEST:: SOT 76722 SOS 29483 HAS SOPS 29483 HAS SOUS 18990 HAS SOUPS 18990 WITH SCORE 19019.483
AT ITER 2171 NEW BEST:: SOT 76726 SOS 29491 HAS SOPS 29491 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19010.491
AT ITER 2191 NEW BEST:: SOT 76723 SOS 29485 HAS SOPS 29485 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19007.485
AT ITER 2199 NEW BEST:: SOT 76745 SOS 29529 HAS SOPS 29529 HAS SOUS 18958 HAS SOUPS 18958 WITH SCORE 18987.529
AT ITER 2206 NEW BEST:: SOT 76705 SOS 29520 HAS SOPS 29520 HAS SOUS 18957 HAS SOUPS 18957 WITH SCORE 18986.52
AT ITER 2220 NEW BEST:: SOT 76680 SOS 29506 HAS SOPS 29506 HAS SOUS 18943 HAS SOUPS 18943 WITH SCORE 18972.506
AT ITER 2235 NEW BEST:: SOT 76661 SOS 29540 HAS SOPS 29540 HAS SOUS 18930 HAS SOUPS 18930 WITH SCORE 18959.54
AT ITER 2245 NEW BEST:: SOT 76684 SOS 29487 HAS SOPS 29487 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18906.487
AT ITER 2261 NEW BEST:: SOT 76683 SOS 29485 HAS SOPS 29485 HAS SOUS 18876 HAS SOUPS 18876 WITH SCORE 18905.485
AT ITER 2262 NEW BEST:: SOT 76683 SOS 29485 HAS SOPS 29485 HAS SOUS 18872 HAS SOUPS 18872 WITH SCORE 18901.485
AT ITER 2289 NEW BEST:: SOT 76661 SOS 29349 HAS SOPS 29349 HAS SOUS 18768 HAS SOUPS 18768 WITH SCORE 18797.349
AT ITER 2297 NEW BEST:: SOT 76658 SOS 29343 HAS SOPS 29343 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18791.343
AT ITER 2318 NEW BEST:: SOT 76652 SOS 29337 HAS SOPS 29337 HAS SOUS 18756 HAS SOUPS 18756 WITH SCORE 18785.337
AT ITER 2356 NEW BEST:: SOT 76596 SOS 29329 HAS SOPS 29329 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18687.329
AT ITER 2419 NEW BEST:: SOT 76562 SOS 29278 HAS SOPS 29278 HAS SOUS 18624 HAS SOUPS 18624 WITH SCORE 18653.278
AT ITER 2434 NEW BEST:: SOT 76512 SOS 29178 HAS SOPS 29178 HAS SOUS 18524 HAS SOUPS 18524 WITH SCORE 18553.178
AT ITER 2445 NEW BEST:: SOT 76510 SOS 29174 HAS SOPS 29174 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18549.174
AT ITER 2448 NEW BEST:: SOT 76510 SOS 29147 HAS SOPS 29147 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18549.147
AT ITER 2465 NEW BEST:: SOT 76534 SOS 29171 HAS SOPS 29171 HAS SOUS 18479 HAS SOUPS 18479 WITH SCORE 18508.171
AT ITER 2475 NEW BEST:: SOT 76539 SOS 29158 HAS SOPS 29158 HAS SOUS 18473 HAS SOUPS 18473 WITH SCORE 18502.158
AT ITER 2477 NEW BEST:: SOT 76505 SOS 29090 HAS SOPS 29090 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18454.09
AT ITER 2479 NEW BEST:: SOT 76502 SOS 29092 HAS SOPS 29092 HAS SOUS 18423 HAS SOUPS 18423 WITH SCORE 18452.092
AT ITER 2493 NEW BEST:: SOT 76504 SOS 29094 HAS SOPS 29094 HAS SOUS 18417 HAS SOUPS 18417 WITH SCORE 18446.094
AT ITER 2496 NEW BEST:: SOT 76503 SOS 29093 HAS SOPS 29093 HAS SOUS 18417 HAS SOUPS 18417 WITH SCORE 18446.093
AT ITER 2507 NEW BEST:: SOT 76465 SOS 29055 HAS SOPS 29055 HAS SOUS 18341 HAS SOUPS 18341 WITH SCORE 18370.055
AT ITER 2515 NEW BEST:: SOT 76416 SOS 28967 HAS SOPS 28967 HAS SOUS 18316 HAS SOUPS 18316 WITH SCORE 18344.967
AT ITER 2528 NEW BEST:: SOT 76345 SOS 28825 HAS SOPS 28825 HAS SOUS 18174 HAS SOUPS 18174 WITH SCORE 18202.825
AT ITER 2530 NEW BEST:: SOT 76336 SOS 28830 HAS SOPS 28830 HAS SOUS 18142 HAS SOUPS 18142 WITH SCORE 18170.83
AT ITER 2535 NEW BEST:: SOT 76268 SOS 28694 HAS SOPS 28694 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18080.694
AT ITER 2538 NEW BEST:: SOT 76268 SOS 28694 HAS SOPS 28694 HAS SOUS 18037 HAS SOUPS 18037 WITH SCORE 18065.694
AT ITER 2555 NEW BEST:: SOT 76263 SOS 28684 HAS SOPS 28684 HAS SOUS 18027 HAS SOUPS 18027 WITH SCORE 18055.684
AT ITER 2557 NEW BEST:: SOT 76213 SOS 28584 HAS SOPS 28584 HAS SOUS 17930 HAS SOUPS 17930 WITH SCORE 17958.584
AT ITER 2558 NEW BEST:: SOT 76213 SOS 28526 HAS SOPS 28526 HAS SOUS 17925 HAS SOUPS 17925 WITH SCORE 17953.526
AT ITER 2571 NEW BEST:: SOT 76200 SOS 28542 HAS SOPS 28542 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17941.542
AT ITER 2572 NEW BEST:: SOT 76138 SOS 28532 HAS SOPS 28532 HAS SOUS 17907 HAS SOUPS 17907 WITH SCORE 17935.532
AT ITER 2588 NEW BEST:: SOT 76125 SOS 28519 HAS SOPS 28519 HAS SOUS 17881 HAS SOUPS 17881 WITH SCORE 17909.519
AT ITER 2589 NEW BEST:: SOT 76094 SOS 28422 HAS SOPS 28422 HAS SOUS 17850 HAS SOUPS 17850 WITH SCORE 17878.422
AT ITER 2619 NEW BEST:: SOT 76093 SOS 28420 HAS SOPS 28420 HAS SOUS 17848 HAS SOUPS 17848 WITH SCORE 17876.42
AT ITER 2627 NEW BEST:: SOT 76093 SOS 28420 HAS SOPS 28420 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17875.42
AT ITER 2636 NEW BEST:: SOT 76097 SOS 28392 HAS SOPS 28392 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17839.392
AT ITER 2644 NEW BEST:: SOT 76096 SOS 28390 HAS SOPS 28390 HAS SOUS 17809 HAS SOUPS 17809 WITH SCORE 17837.39
AT ITER 2659 NEW BEST:: SOT 76092 SOS 28475 HAS SOPS 28475 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17815.475
AT ITER 2673 NEW BEST:: SOT 76092 SOS 28469 HAS SOPS 28469 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17809.469
AT ITER 2699 NEW BEST:: SOT 76092 SOS 28444 HAS SOPS 28444 HAS SOUS 17756 HAS SOUPS 17756 WITH SCORE 17784.444
AT ITER 2719 NEW BEST:: SOT 76092 SOS 28433 HAS SOPS 28433 HAS SOUS 17745 HAS SOUPS 17745 WITH SCORE 17773.433
AT ITER 2726 NEW BEST:: SOT 76092 SOS 28365 HAS SOPS 28365 HAS SOUS 17745 HAS SOUPS 17745 WITH SCORE 17773.365
AT ITER 2727 NEW BEST:: SOT 76113 SOS 28330 HAS SOPS 28330 HAS SOUS 17717 HAS SOUPS 17717 WITH SCORE 17745.33
AT ITER 2737 NEW BEST:: SOT 76103 SOS 28322 HAS SOPS 28322 HAS SOUS 17707 HAS SOUPS 17707 WITH SCORE 17735.322
AT ITER 2774 NEW BEST:: SOT 76071 SOS 28258 HAS SOPS 28258 HAS SOUS 17608 HAS SOUPS 17608 WITH SCORE 17636.258
AT ITER 2790 NEW BEST:: SOT 76056 SOS 28205 HAS SOPS 28205 HAS SOUS 17592 HAS SOUPS 17592 WITH SCORE 17620.205
AT ITER 2804 NEW BEST:: SOT 76022 SOS 28137 HAS SOPS 28137 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17586.137
AT ITER 2826 NEW BEST:: SOT 76014 SOS 28129 HAS SOPS 28129 HAS SOUS 17550 HAS SOUPS 17550 WITH SCORE 17578.129
AT ITER 2842 NEW BEST:: SOT 75999 SOS 28134 HAS SOPS 28134 HAS SOUS 17524 HAS SOUPS 17524 WITH SCORE 17552.134
AT ITER 2858 NEW BEST:: SOT 75997 SOS 28130 HAS SOPS 28130 HAS SOUS 17522 HAS SOUPS 17522 WITH SCORE 17550.13
AT ITER 2864 NEW BEST:: SOT 75960 SOS 28056 HAS SOPS 28056 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17513.056
AT ITER 2930 NEW BEST:: SOT 75943 SOS 28039 HAS SOPS 28039 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17513.039
AT ITER 2944 NEW BEST:: SOT 75906 SOS 27965 HAS SOPS 27965 HAS SOUS 17411 HAS SOUPS 17411 WITH SCORE 17438.965
AT ITER 2951 NEW BEST:: SOT 75906 SOS 27941 HAS SOPS 27941 HAS SOUS 17387 HAS SOUPS 17387 WITH SCORE 17414.941
AT ITER 2956 NEW BEST:: SOT 75909 SOS 27863 HAS SOPS 27863 HAS SOUS 17309 HAS SOUPS 17309 WITH SCORE 17336.863
AT ITER 2959 NEW BEST:: SOT 75899 SOS 27857 HAS SOPS 27857 HAS SOUS 17303 HAS SOUPS 17303 WITH SCORE 17330.857
AT ITER 2991 NEW BEST:: SOT 75899 SOS 27857 HAS SOPS 27857 HAS SOUS 17285 HAS SOUPS 17285 WITH SCORE 17312.857
AT ITER 3028 NEW BEST:: SOT 75899 SOS 27847 HAS SOPS 27847 HAS SOUS 17275 HAS SOUPS 17275 WITH SCORE 17302.847
AT ITER 3029 NEW BEST:: SOT 75871 SOS 27815 HAS SOPS 27815 HAS SOUS 17243 HAS SOUPS 17243 WITH SCORE 17270.815
AT ITER 3067 NEW BEST:: SOT 75810 SOS 27716 HAS SOPS 27716 HAS SOUS 17159 HAS SOUPS 17159 WITH SCORE 17186.716
AT ITER 3073 NEW BEST:: SOT 75805 SOS 27706 HAS SOPS 27706 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17181.706
AT ITER 3118 NEW BEST:: SOT 75792 SOS 27695 HAS SOPS 27695 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17165.695
AT ITER 3140 NEW BEST:: SOT 75797 SOS 27705 HAS SOPS 27705 HAS SOUS 17120 HAS SOUPS 17120 WITH SCORE 17147.705
AT ITER 3219 NEW BEST:: SOT 75797 SOS 27704 HAS SOPS 27704 HAS SOUS 17120 HAS SOUPS 17120 WITH SCORE 17147.704
AT ITER 3227 NEW BEST:: SOT 75787 SOS 27728 HAS SOPS 27728 HAS SOUS 17108 HAS SOUPS 17108 WITH SCORE 17135.728
AT ITER 3241 NEW BEST:: SOT 75786 SOS 27726 HAS SOPS 27726 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17133.726
AT ITER 3272 NEW BEST:: SOT 75786 SOS 27724 HAS SOPS 27724 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17133.724
AT ITER 3285 NEW BEST:: SOT 75722 SOS 27697 HAS SOPS 27697 HAS SOUS 17026 HAS SOUPS 17026 WITH SCORE 17053.697
AT ITER 3302 NEW BEST:: SOT 75705 SOS 27663 HAS SOPS 27663 HAS SOUS 17009 HAS SOUPS 17009 WITH SCORE 17036.663
AT ITER 3304 NEW BEST:: SOT 75699 SOS 27630 HAS SOPS 27630 HAS SOUS 16997 HAS SOUPS 16997 WITH SCORE 17024.63
AT ITER 3327 NEW BEST:: SOT 75699 SOS 27628 HAS SOPS 27628 HAS SOUS 16993 HAS SOUPS 16993 WITH SCORE 17020.628
AT ITER 3337 NEW BEST:: SOT 75697 SOS 27626 HAS SOPS 27626 HAS SOUS 16991 HAS SOUPS 16991 WITH SCORE 17018.626
AT ITER 3361 NEW BEST:: SOT 75696 SOS 27624 HAS SOPS 27624 HAS SOUS 16989 HAS SOUPS 16989 WITH SCORE 17016.624
AT ITER 3372 NEW BEST:: SOT 75665 SOS 27562 HAS SOPS 27562 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16954.562
AT ITER 3392 NEW BEST:: SOT 75637 SOS 27539 HAS SOPS 27539 HAS SOUS 16904 HAS SOUPS 16904 WITH SCORE 16931.539
AT ITER 3414 NEW BEST:: SOT 75635 SOS 27455 HAS SOPS 27455 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16924.455
AT ITER 3428 NEW BEST:: SOT 75621 SOS 27432 HAS SOPS 27432 HAS SOUS 16872 HAS SOUPS 16872 WITH SCORE 16899.432
AT ITER 3517 NEW BEST:: SOT 75621 SOS 27432 HAS SOPS 27432 HAS SOUS 16867 HAS SOUPS 16867 WITH SCORE 16894.432
AT ITER 3518 NEW BEST:: SOT 75603 SOS 27779 HAS SOPS 27779 HAS SOUS 16841 HAS SOUPS 16841 WITH SCORE 16868.779
AT ITER 3528 NEW BEST:: SOT 75587 SOS 27769 HAS SOPS 27769 HAS SOUS 16809 HAS SOUPS 16809 WITH SCORE 16836.769
AT ITER 3554 NEW BEST:: SOT 75576 SOS 27739 HAS SOPS 27739 HAS SOUS 16787 HAS SOUPS 16787 WITH SCORE 16814.739
AT ITER 3581 NEW BEST:: SOT 75484 SOS 27596 HAS SOPS 27596 HAS SOUS 16702 HAS SOUPS 16702 WITH SCORE 16729.596
AT ITER 3594 NEW BEST:: SOT 75483 SOS 27594 HAS SOPS 27594 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16727.594
AT ITER 3595 NEW BEST:: SOT 75477 SOS 27582 HAS SOPS 27582 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16721.582
AT ITER 3601 NEW BEST:: SOT 75476 SOS 27581 HAS SOPS 27581 HAS SOUS 16693 HAS SOUPS 16693 WITH SCORE 16720.581
AT ITER 3619 NEW BEST:: SOT 75447 SOS 27542 HAS SOPS 27542 HAS SOUS 16666 HAS SOUPS 16666 WITH SCORE 16693.542
AT ITER 3622 NEW BEST:: SOT 75443 SOS 27534 HAS SOPS 27534 HAS SOUS 16662 HAS SOUPS 16662 WITH SCORE 16689.534
AT ITER 3627 NEW BEST:: SOT 75448 SOS 27539 HAS SOPS 27539 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16679.539
AT ITER 3636 NEW BEST:: SOT 75438 SOS 27525 HAS SOPS 27525 HAS SOUS 16638 HAS SOUPS 16638 WITH SCORE 16665.525
AT ITER 3692 NEW BEST:: SOT 75434 SOS 27521 HAS SOPS 27521 HAS SOUS 16638 HAS SOUPS 16638 WITH SCORE 16665.521
AT ITER 3697 NEW BEST:: SOT 75389 SOS 27461 HAS SOPS 27461 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16599.461
AT ITER 3700 NEW BEST:: SOT 75352 SOS 27567 HAS SOPS 27567 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16581.567
AT ITER 3708 NEW BEST:: SOT 75371 SOS 27566 HAS SOPS 27566 HAS SOUS 16553 HAS SOUPS 16553 WITH SCORE 16580.566
AT ITER 3721 NEW BEST:: SOT 75324 SOS 27530 HAS SOPS 27530 HAS SOUS 16458 HAS SOUPS 16458 WITH SCORE 16485.53
AT ITER 3727 NEW BEST:: SOT 75304 SOS 27500 HAS SOPS 27500 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16465.5
AT ITER 3735 NEW BEST:: SOT 75284 SOS 27460 HAS SOPS 27460 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16425.46
AT ITER 3744 NEW BEST:: SOT 75251 SOS 27580 HAS SOPS 27580 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16419.58
AT ITER 3784 NEW BEST:: SOT 75154 SOS 27386 HAS SOPS 27386 HAS SOUS 16295 HAS SOUPS 16295 WITH SCORE 16322.386
AT ITER 3793 NEW BEST:: SOT 75153 SOS 27373 HAS SOPS 27373 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16314.373
AT ITER 3795 NEW BEST:: SOT 75153 SOS 27373 HAS SOPS 27373 HAS SOUS 16286 HAS SOUPS 16286 WITH SCORE 16313.373
AT ITER 3807 NEW BEST:: SOT 75149 SOS 27365 HAS SOPS 27365 HAS SOUS 16278 HAS SOUPS 16278 WITH SCORE 16305.365
AT ITER 3827 NEW BEST:: SOT 75149 SOS 27347 HAS SOPS 27347 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16295.347
AT ITER 3832 NEW BEST:: SOT 75147 SOS 27343 HAS SOPS 27343 HAS SOUS 16264 HAS SOUPS 16264 WITH SCORE 16291.343
AT ITER 3833 NEW BEST:: SOT 75149 SOS 27334 HAS SOPS 27334 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16282.334
AT ITER 3837 NEW BEST:: SOT 75156 SOS 27348 HAS SOPS 27348 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16228.348
AT ITER 3860 NEW BEST:: SOT 75178 SOS 27314 HAS SOPS 27314 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16190.314
AT ITER 3891 NEW BEST:: SOT 75157 SOS 27226 HAS SOPS 27226 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16156.226
AT ITER 3917 NEW BEST:: SOT 75157 SOS 27212 HAS SOPS 27212 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16149.212
AT ITER 3950 NEW BEST:: SOT 75157 SOS 27183 HAS SOPS 27183 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16149.183
AT ITER 3993 NEW BEST:: SOT 75155 SOS 27179 HAS SOPS 27179 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16145.179
AT ITER 3996 NEW BEST:: SOT 75113 SOS 27097 HAS SOPS 27097 HAS SOUS 16077 HAS SOUPS 16077 WITH SCORE 16104.097
AT ITER 4031 NEW BEST:: SOT 75110 SOS 27091 HAS SOPS 27091 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16098.091
AT ITER 4059 NEW BEST:: SOT 75098 SOS 27167 HAS SOPS 27167 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16086.167
AT ITER 4065 NEW BEST:: SOT 75093 SOS 27157 HAS SOPS 27157 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16076.157
AT ITER 4076 NEW BEST:: SOT 75092 SOS 27156 HAS SOPS 27156 HAS SOUS 16047 HAS SOUPS 16047 WITH SCORE 16074.156
AT ITER 4098 NEW BEST:: SOT 75087 SOS 27145 HAS SOPS 27145 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16064.145
AT ITER 4121 NEW BEST:: SOT 75083 SOS 27125 HAS SOPS 27125 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16055.125
AT ITER 4132 NEW BEST:: SOT 75080 SOS 27062 HAS SOPS 27062 HAS SOUS 16022 HAS SOUPS 16022 WITH SCORE 16049.062
AT ITER 4162 NEW BEST:: SOT 75076 SOS 27050 HAS SOPS 27050 HAS SOUS 16010 HAS SOUPS 16010 WITH SCORE 16037.05
AT ITER 4221 NEW BEST:: SOT 75054 SOS 27006 HAS SOPS 27006 HAS SOUS 15966 HAS SOUPS 15966 WITH SCORE 15993.006
AT ITER 4242 NEW BEST:: SOT 75045 SOS 26997 HAS SOPS 26997 HAS SOUS 15948 HAS SOUPS 15948 WITH SCORE 15974.997
AT ITER 4249 NEW BEST:: SOT 75048 SOS 27003 HAS SOPS 27003 HAS SOUS 15932 HAS SOUPS 15932 WITH SCORE 15959.003
AT ITER 4269 NEW BEST:: SOT 75058 SOS 27021 HAS SOPS 27021 HAS SOUS 15920 HAS SOUPS 15920 WITH SCORE 15947.021
AT ITER 4281 NEW BEST:: SOT 75055 SOS 26964 HAS SOPS 26964 HAS SOUS 15914 HAS SOUPS 15914 WITH SCORE 15940.964
AT ITER 4286 NEW BEST:: SOT 75045 SOS 26944 HAS SOPS 26944 HAS SOUS 15909 HAS SOUPS 15909 WITH SCORE 15935.944
AT ITER 4287 NEW BEST:: SOT 75060 SOS 26946 HAS SOPS 26946 HAS SOUS 15896 HAS SOUPS 15896 WITH SCORE 15922.946
AT ITER 4304 NEW BEST:: SOT 75047 SOS 26920 HAS SOPS 26920 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15896.92
AT ITER 4309 NEW BEST:: SOT 75047 SOS 26920 HAS SOPS 26920 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15874.92
AT ITER 4339 NEW BEST:: SOT 75047 SOS 26919 HAS SOPS 26919 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15873.919
AT ITER 4348 NEW BEST:: SOT 75052 SOS 26929 HAS SOPS 26929 HAS SOUS 15840 HAS SOUPS 15840 WITH SCORE 15866.929
AT ITER 4385 NEW BEST:: SOT 75047 SOS 26914 HAS SOPS 26914 HAS SOUS 15830 HAS SOUPS 15830 WITH SCORE 15856.914
AT ITER 4416 NEW BEST:: SOT 75030 SOS 26854 HAS SOPS 26854 HAS SOUS 15796 HAS SOUPS 15796 WITH SCORE 15822.854
AT ITER 4450 NEW BEST:: SOT 75013 SOS 26785 HAS SOPS 26785 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15804.785
AT ITER 4465 NEW BEST:: SOT 74964 SOS 26726 HAS SOPS 26726 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15793.726
AT ITER 4486 NEW BEST:: SOT 74959 SOS 26716 HAS SOPS 26716 HAS SOUS 15757 HAS SOUPS 15757 WITH SCORE 15783.716
AT ITER 4526 NEW BEST:: SOT 74966 SOS 26686 HAS SOPS 26686 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15753.686
AT ITER 4536 NEW BEST:: SOT 74965 SOS 26695 HAS SOPS 26695 HAS SOUS 15715 HAS SOUPS 15715 WITH SCORE 15741.695
AT ITER 4537 NEW BEST:: SOT 74959 SOS 26714 HAS SOPS 26714 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15718.714
AT ITER 4541 NEW BEST:: SOT 74941 SOS 26696 HAS SOPS 26696 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15697.696
AT ITER 4542 NEW BEST:: SOT 74944 SOS 26690 HAS SOPS 26690 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15697.69
AT ITER 4552 NEW BEST:: SOT 74943 SOS 26680 HAS SOPS 26680 HAS SOUS 15662 HAS SOUPS 15662 WITH SCORE 15688.68
AT ITER 4570 NEW BEST:: SOT 74939 SOS 26679 HAS SOPS 26679 HAS SOUS 15658 HAS SOUPS 15658 WITH SCORE 15684.679
AT ITER 4571 NEW BEST:: SOT 74916 SOS 26606 HAS SOPS 26606 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15638.606
AT ITER 4572 NEW BEST:: SOT 74892 SOS 26594 HAS SOPS 26594 HAS SOUS 15600 HAS SOUPS 15600 WITH SCORE 15626.594
AT ITER 4585 NEW BEST:: SOT 74888 SOS 26591 HAS SOPS 26591 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15618.591
AT ITER 4589 NEW BEST:: SOT 74868 SOS 26591 HAS SOPS 26591 HAS SOUS 15572 HAS SOUPS 15572 WITH SCORE 15598.591
AT ITER 4594 NEW BEST:: SOT 74857 SOS 26580 HAS SOPS 26580 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15576.58
AT ITER 4624 NEW BEST:: SOT 74854 SOS 26577 HAS SOPS 26577 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15573.577
AT ITER 4692 NEW BEST:: SOT 74802 SOS 26552 HAS SOPS 26552 HAS SOUS 15522 HAS SOUPS 15522 WITH SCORE 15548.552
AT ITER 4704 NEW BEST:: SOT 74797 SOS 26542 HAS SOPS 26542 HAS SOUS 15514 HAS SOUPS 15514 WITH SCORE 15540.542
AT ITER 4711 NEW BEST:: SOT 74796 SOS 26541 HAS SOPS 26541 HAS SOUS 15512 HAS SOUPS 15512 WITH SCORE 15538.541
AT ITER 4750 NEW BEST:: SOT 74795 SOS 26540 HAS SOPS 26540 HAS SOUS 15511 HAS SOUPS 15511 WITH SCORE 15537.54
AT ITER 4754 NEW BEST:: SOT 74792 SOS 26537 HAS SOPS 26537 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15534.537
AT ITER 4764 NEW BEST:: SOT 74792 SOS 26513 HAS SOPS 26513 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15534.513
AT ITER 4767 NEW BEST:: SOT 74786 SOS 26495 HAS SOPS 26495 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15534.495
AT ITER 4768 NEW BEST:: SOT 74800 SOS 26404 HAS SOPS 26404 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15524.404
AT ITER 4802 NEW BEST:: SOT 74794 SOS 26386 HAS SOPS 26386 HAS SOUS 15480 HAS SOUPS 15480 WITH SCORE 15506.386
AT ITER 4836 NEW BEST:: SOT 74766 SOS 26358 HAS SOPS 26358 HAS SOUS 15466 HAS SOUPS 15466 WITH SCORE 15492.358
AT ITER 4840 NEW BEST:: SOT 74766 SOS 26355 HAS SOPS 26355 HAS SOUS 15466 HAS SOUPS 15466 WITH SCORE 15492.355
AT ITER 4854 NEW BEST:: SOT 74733 SOS 26334 HAS SOPS 26334 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15426.334
AT ITER 4857 NEW BEST:: SOT 74733 SOS 26334 HAS SOPS 26334 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15419.334
AT ITER 4861 NEW BEST:: SOT 74723 SOS 26324 HAS SOPS 26324 HAS SOUS 15383 HAS SOUPS 15383 WITH SCORE 15409.324
AT ITER 4865 NEW BEST:: SOT 74703 SOS 26315 HAS SOPS 26315 HAS SOUS 15343 HAS SOUPS 15343 WITH SCORE 15369.315
AT ITER 4888 NEW BEST:: SOT 74657 SOS 26307 HAS SOPS 26307 HAS SOUS 15335 HAS SOUPS 15335 WITH SCORE 15361.307
AT ITER 4892 NEW BEST:: SOT 74644 SOS 26294 HAS SOPS 26294 HAS SOUS 15309 HAS SOUPS 15309 WITH SCORE 15335.294
AT ITER 4950 NEW BEST:: SOT 74608 SOS 26258 HAS SOPS 26258 HAS SOUS 15265 HAS SOUPS 15265 WITH SCORE 15291.258
AT ITER 4955 NEW BEST:: SOT 74602 SOS 26246 HAS SOPS 26246 HAS SOUS 15253 HAS SOUPS 15253 WITH SCORE 15279.246
AT ITER 4961 NEW BEST:: SOT 74602 SOS 26240 HAS SOPS 26240 HAS SOUS 15253 HAS SOUPS 15253 WITH SCORE 15279.24
AT ITER 4997 NEW BEST:: SOT 74602 SOS 26222 HAS SOPS 26222 HAS SOUS 15235 HAS SOUPS 15235 WITH SCORE 15261.222
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-00 (AF( (EF( (AF( ((potential((tk(P184)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-01 (EG( (! (EG( ((potential((tk(P70)>=1)))))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-02 (AU( (! ((potential((tk(P155)>=1))))) , (AU( ((potential((tk(P103)>=1)))) , ((potential((tk(P63)>=1)))) )) ))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-03 (EX( ( (! (EG( ((potential((tk(P154)>=1) & (tk(P344)>=1))))))) & (AG( (! ((potential((tk(P172)>=1) & (tk(P344)>=1))))))) )))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-04 ( (! (! (! (AF( ((potential((tk(P255)>=1) & (tk(P344)>=1))))))))) & (! ( ( (! ((potential((tk(P62)>=1))))) | (AG( ((potential((tk(P315)>=1)))))) ) & ((potential((tk(P67)>=1)))) )) )
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-05 (AU( (AF( ( ((potential((tk(P352)>=1)))) | ((potential((tk(P113)>=1)))) ))) , (AG( ( ((potential((tk(P92)>=1)))) | ((potential((tk(P189)>=1)))) ))) ))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-06 (AG( (AG( (AF( ((potential((tk(P37)>=1) & (tk(P344)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-07 (! (AG( (EF( ((potential((tk(P41)>=1)))))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-08 (EX( (EX( (EF( ((potential((tk(P225)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-09 (AF( (EU( ( ((potential((tk(P133)>=1)))) & ((potential((tk(P333)>=1)))) ) , ( ((potential((tk(P35)>=1)))) & ((potential((tk(P187)>=1)))) ) ))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-10 (AF( (EU( (! ((potential((tk(P348)>=1))))) , ( ((potential((tk(P248)>=1)))) & ((potential((tk(P145)>=1) & (tk(P344)>=1)))) ) ))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-11 (EU( (! ( ( ((potential((tk(P330)>=1) & (tk(P344)>=1)))) & ((potential((tk(P339)>=1)))) ) | ((potential((tk(P31)>=1)))) )) , ( ( (! ((potential((tk(P130)>=1))))) & ( ((potential((tk(P113)>=1)))) & ((potential((tk(P52)>=1)))) ) ) & ( ( ((potential((tk(P320)>=1) & (tk(P351)>=1)))) & ((potential((tk(P226)>=1) & (tk(P344)>=1)))) ) & ( ((potential((tk(P167)>=1)))) | ((potential((tk(P126)>=1)))) ) ) ) ))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-12 (AX( (! ( (AF( ((potential((tk(P177)>=1)))))) & (! ( ((potential((tk(P184)>=1)))) & ((potential((tk(P348)>=1)))) )) ))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-13 (! (EF( ( ( ((potential((tk(P100)>=1) & (tk(P344)>=1)))) & ( ((potential((tk(P324)>=1)))) & ((potential((tk(P178)>=1)))) ) ) & ( ( ((potential((tk(P275)>=1)))) | ((potential((tk(P46)>=1) & (tk(P344)>=1)))) ) | ((potential((tk(P39)>=1) & (tk(P344)>=1)))) ) ))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-14 (EF( ((potential((tk(P211)>=1))))))
PROPERTY: DiscoveryGPU-PT-12b-CTLFireability-15 (! (EU( ((potential((tk(P88)>=1) & (tk(P351)>=1)))) , (AF( ((potential((tk(P210)>=1) & (tk(P351)>=1)))))) )))

BK_TIME_CONFINEMENT_REACHED

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

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="DiscoveryGPU-PT-12b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-12b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807900692"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-12b.tgz
mv DiscoveryGPU-PT-12b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;