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-158922807800676.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-11b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800676
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.4K Mar 31 07:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 07:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 23:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 23:50 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 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 28 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 07:39 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 82K 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-11b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-11b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589363677127

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 11b
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: 324 places, 344 transitions, 898 arcs.
AT ITER 0 NEW BEST:: SOT 77803 SOS 37258 HAS SOPS 37258 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33102.258
AT ITER 4 NEW BEST:: SOT 77690 SOS 37142 HAS SOPS 37142 HAS SOUS 32951 HAS SOUPS 32951 WITH SCORE 32988.142
AT ITER 5 NEW BEST:: SOT 77620 SOS 37072 HAS SOPS 37072 HAS SOUS 32881 HAS SOUPS 32881 WITH SCORE 32918.072
AT ITER 11 NEW BEST:: SOT 77620 SOS 37005 HAS SOPS 37005 HAS SOUS 32813 HAS SOUPS 32813 WITH SCORE 32850.005
AT ITER 20 NEW BEST:: SOT 76317 SOS 35734 HAS SOPS 35734 HAS SOUS 31542 HAS SOUPS 31542 WITH SCORE 31577.734
AT ITER 21 NEW BEST:: SOT 76329 SOS 35659 HAS SOPS 35659 HAS SOUS 31500 HAS SOUPS 31500 WITH SCORE 31535.659
AT ITER 32 NEW BEST:: SOT 76244 SOS 35571 HAS SOPS 35571 HAS SOUS 31439 HAS SOUPS 31439 WITH SCORE 31474.571
AT ITER 38 NEW BEST:: SOT 76175 SOS 35537 HAS SOPS 35537 HAS SOUS 31388 HAS SOUPS 31388 WITH SCORE 31423.537
AT ITER 40 NEW BEST:: SOT 75944 SOS 35306 HAS SOPS 35306 HAS SOUS 31157 HAS SOUPS 31157 WITH SCORE 31192.306
AT ITER 50 NEW BEST:: SOT 75944 SOS 35241 HAS SOPS 35241 HAS SOUS 31157 HAS SOUPS 31157 WITH SCORE 31192.241
AT ITER 51 NEW BEST:: SOT 75942 SOS 35237 HAS SOPS 35237 HAS SOUS 31153 HAS SOUPS 31153 WITH SCORE 31188.237
AT ITER 58 NEW BEST:: SOT 75932 SOS 35092 HAS SOPS 35092 HAS SOUS 31131 HAS SOUPS 31131 WITH SCORE 31166.092
AT ITER 67 NEW BEST:: SOT 75957 SOS 35054 HAS SOPS 35054 HAS SOUS 31091 HAS SOUPS 31091 WITH SCORE 31126.054
AT ITER 70 NEW BEST:: SOT 75957 SOS 34936 HAS SOPS 34936 HAS SOUS 31090 HAS SOUPS 31090 WITH SCORE 31124.936
AT ITER 72 NEW BEST:: SOT 75935 SOS 34870 HAS SOPS 34870 HAS SOUS 31066 HAS SOUPS 31066 WITH SCORE 31100.87
AT ITER 73 NEW BEST:: SOT 75934 SOS 34868 HAS SOPS 34868 HAS SOUS 31064 HAS SOUPS 31064 WITH SCORE 31098.868
AT ITER 74 NEW BEST:: SOT 75843 SOS 34686 HAS SOPS 34686 HAS SOUS 30882 HAS SOUPS 30882 WITH SCORE 30916.686
AT ITER 80 NEW BEST:: SOT 75843 SOS 34546 HAS SOPS 34546 HAS SOUS 30882 HAS SOUPS 30882 WITH SCORE 30916.546
AT ITER 84 NEW BEST:: SOT 75843 SOS 34522 HAS SOPS 34522 HAS SOUS 30858 HAS SOUPS 30858 WITH SCORE 30892.522
AT ITER 86 NEW BEST:: SOT 75799 SOS 34436 HAS SOPS 34436 HAS SOUS 30849 HAS SOUPS 30849 WITH SCORE 30883.436
AT ITER 87 NEW BEST:: SOT 75611 SOS 33992 HAS SOPS 33992 HAS SOUS 30468 HAS SOUPS 30468 WITH SCORE 30501.992
AT ITER 90 NEW BEST:: SOT 75128 SOS 33576 HAS SOPS 33576 HAS SOUS 30009 HAS SOUPS 30009 WITH SCORE 30042.576
AT ITER 92 NEW BEST:: SOT 74313 SOS 32762 HAS SOPS 32762 HAS SOUS 29194 HAS SOUPS 29194 WITH SCORE 29226.762
AT ITER 105 NEW BEST:: SOT 74189 SOS 32634 HAS SOPS 32634 HAS SOUS 29070 HAS SOUPS 29070 WITH SCORE 29102.634
AT ITER 106 NEW BEST:: SOT 74172 SOS 32600 HAS SOPS 32600 HAS SOUS 29051 HAS SOUPS 29051 WITH SCORE 29083.6
AT ITER 108 NEW BEST:: SOT 74112 SOS 32540 HAS SOPS 32540 HAS SOUS 28991 HAS SOUPS 28991 WITH SCORE 29023.54
AT ITER 110 NEW BEST:: SOT 74112 SOS 32540 HAS SOPS 32540 HAS SOUS 28989 HAS SOUPS 28989 WITH SCORE 29021.54
AT ITER 118 NEW BEST:: SOT 74060 SOS 32540 HAS SOPS 32540 HAS SOUS 28968 HAS SOUPS 28968 WITH SCORE 29000.54
AT ITER 126 NEW BEST:: SOT 74060 SOS 32501 HAS SOPS 32501 HAS SOUS 28968 HAS SOUPS 28968 WITH SCORE 29000.501
AT ITER 127 NEW BEST:: SOT 74029 SOS 32327 HAS SOPS 32327 HAS SOUS 28854 HAS SOUPS 28854 WITH SCORE 28886.327
AT ITER 144 NEW BEST:: SOT 74016 SOS 32288 HAS SOPS 32288 HAS SOUS 28841 HAS SOUPS 28841 WITH SCORE 28873.288
AT ITER 145 NEW BEST:: SOT 74002 SOS 32171 HAS SOPS 32171 HAS SOUS 28810 HAS SOUPS 28810 WITH SCORE 28842.171
AT ITER 147 NEW BEST:: SOT 74002 SOS 32150 HAS SOPS 32150 HAS SOUS 28790 HAS SOUPS 28790 WITH SCORE 28822.15
AT ITER 152 NEW BEST:: SOT 73998 SOS 32142 HAS SOPS 32142 HAS SOUS 28788 HAS SOUPS 28788 WITH SCORE 28820.142
AT ITER 153 NEW BEST:: SOT 73990 SOS 32065 HAS SOPS 32065 HAS SOUS 28670 HAS SOUPS 28670 WITH SCORE 28702.065
AT ITER 154 NEW BEST:: SOT 73967 SOS 31963 HAS SOPS 31963 HAS SOUS 28627 HAS SOUPS 28627 WITH SCORE 28658.963
AT ITER 161 NEW BEST:: SOT 73910 SOS 31972 HAS SOPS 31972 HAS SOUS 28622 HAS SOUPS 28622 WITH SCORE 28653.972
AT ITER 162 NEW BEST:: SOT 73717 SOS 31664 HAS SOPS 31664 HAS SOUS 28347 HAS SOUPS 28347 WITH SCORE 28378.664
AT ITER 163 NEW BEST:: SOT 73693 SOS 31530 HAS SOPS 31530 HAS SOUS 28299 HAS SOUPS 28299 WITH SCORE 28330.53
AT ITER 167 NEW BEST:: SOT 73670 SOS 31484 HAS SOPS 31484 HAS SOUS 28274 HAS SOUPS 28274 WITH SCORE 28305.484
AT ITER 170 NEW BEST:: SOT 73670 SOS 31484 HAS SOPS 31484 HAS SOUS 28261 HAS SOUPS 28261 WITH SCORE 28292.484
AT ITER 171 NEW BEST:: SOT 73603 SOS 31515 HAS SOPS 31515 HAS SOUS 28235 HAS SOUPS 28235 WITH SCORE 28266.515
AT ITER 172 NEW BEST:: SOT 73603 SOS 31452 HAS SOPS 31452 HAS SOUS 28171 HAS SOUPS 28171 WITH SCORE 28202.452
AT ITER 177 NEW BEST:: SOT 72564 SOS 34861 HAS SOPS 34861 HAS SOUS 27243 HAS SOUPS 27243 WITH SCORE 27277.861
AT ITER 180 NEW BEST:: SOT 72527 SOS 34787 HAS SOPS 34787 HAS SOUS 27212 HAS SOUPS 27212 WITH SCORE 27246.787
AT ITER 184 NEW BEST:: SOT 72257 SOS 34326 HAS SOPS 34326 HAS SOUS 26809 HAS SOUPS 26809 WITH SCORE 26843.326
AT ITER 196 NEW BEST:: SOT 72258 SOS 34263 HAS SOPS 34263 HAS SOUS 26746 HAS SOUPS 26746 WITH SCORE 26780.263
AT ITER 202 NEW BEST:: SOT 72189 SOS 34073 HAS SOPS 34073 HAS SOUS 26625 HAS SOUPS 26625 WITH SCORE 26659.073
AT ITER 204 NEW BEST:: SOT 72172 SOS 34037 HAS SOPS 34037 HAS SOUS 26589 HAS SOUPS 26589 WITH SCORE 26623.037
AT ITER 208 NEW BEST:: SOT 72062 SOS 33817 HAS SOPS 33817 HAS SOUS 26479 HAS SOUPS 26479 WITH SCORE 26512.817
AT ITER 220 NEW BEST:: SOT 72007 SOS 33628 HAS SOPS 33628 HAS SOUS 26369 HAS SOUPS 26369 WITH SCORE 26402.628
AT ITER 223 NEW BEST:: SOT 72018 SOS 33639 HAS SOPS 33639 HAS SOUS 26340 HAS SOUPS 26340 WITH SCORE 26373.639
AT ITER 224 NEW BEST:: SOT 71890 SOS 33522 HAS SOPS 33522 HAS SOUS 26223 HAS SOUPS 26223 WITH SCORE 26256.522
AT ITER 225 NEW BEST:: SOT 71848 SOS 33438 HAS SOPS 33438 HAS SOUS 26180 HAS SOUPS 26180 WITH SCORE 26213.438
AT ITER 230 NEW BEST:: SOT 71719 SOS 33320 HAS SOPS 33320 HAS SOUS 26144 HAS SOUPS 26144 WITH SCORE 26177.32
AT ITER 231 NEW BEST:: SOT 71643 SOS 33280 HAS SOPS 33280 HAS SOUS 26108 HAS SOUPS 26108 WITH SCORE 26141.28
AT ITER 237 NEW BEST:: SOT 71570 SOS 32998 HAS SOPS 32998 HAS SOUS 25912 HAS SOUPS 25912 WITH SCORE 25944.998
AT ITER 243 NEW BEST:: SOT 71487 SOS 32974 HAS SOPS 32974 HAS SOUS 25874 HAS SOUPS 25874 WITH SCORE 25906.974
AT ITER 245 NEW BEST:: SOT 71461 SOS 32900 HAS SOPS 32900 HAS SOUS 25846 HAS SOUPS 25846 WITH SCORE 25878.9
AT ITER 249 NEW BEST:: SOT 71348 SOS 32718 HAS SOPS 32718 HAS SOUS 25741 HAS SOUPS 25741 WITH SCORE 25773.718
AT ITER 266 NEW BEST:: SOT 71383 SOS 32768 HAS SOPS 32768 HAS SOUS 25726 HAS SOUPS 25726 WITH SCORE 25758.768
AT ITER 271 NEW BEST:: SOT 71241 SOS 32555 HAS SOPS 32555 HAS SOUS 25583 HAS SOUPS 25583 WITH SCORE 25615.555
AT ITER 275 NEW BEST:: SOT 71239 SOS 32551 HAS SOPS 32551 HAS SOUS 25581 HAS SOUPS 25581 WITH SCORE 25613.551
AT ITER 281 NEW BEST:: SOT 71247 SOS 32452 HAS SOPS 32452 HAS SOUS 25573 HAS SOUPS 25573 WITH SCORE 25605.452
AT ITER 283 NEW BEST:: SOT 71246 SOS 32450 HAS SOPS 32450 HAS SOUS 25571 HAS SOUPS 25571 WITH SCORE 25603.45
AT ITER 285 NEW BEST:: SOT 71215 SOS 32357 HAS SOPS 32357 HAS SOUS 25525 HAS SOUPS 25525 WITH SCORE 25557.357
AT ITER 287 NEW BEST:: SOT 71200 SOS 32302 HAS SOPS 32302 HAS SOUS 25485 HAS SOUPS 25485 WITH SCORE 25517.302
AT ITER 289 NEW BEST:: SOT 70790 SOS 33412 HAS SOPS 33412 HAS SOUS 25231 HAS SOUPS 25231 WITH SCORE 25264.412
AT ITER 293 NEW BEST:: SOT 70730 SOS 33292 HAS SOPS 33292 HAS SOUS 25177 HAS SOUPS 25177 WITH SCORE 25210.292
AT ITER 295 NEW BEST:: SOT 70634 SOS 33209 HAS SOPS 33209 HAS SOUS 25003 HAS SOUPS 25003 WITH SCORE 25036.209
AT ITER 302 NEW BEST:: SOT 70633 SOS 33157 HAS SOPS 33157 HAS SOUS 25001 HAS SOUPS 25001 WITH SCORE 25034.157
AT ITER 303 NEW BEST:: SOT 70113 SOS 32637 HAS SOPS 32637 HAS SOUS 24510 HAS SOUPS 24510 WITH SCORE 24542.637
AT ITER 308 NEW BEST:: SOT 70094 SOS 32580 HAS SOPS 32580 HAS SOUS 24491 HAS SOUPS 24491 WITH SCORE 24523.58
AT ITER 312 NEW BEST:: SOT 70082 SOS 32567 HAS SOPS 32567 HAS SOUS 24467 HAS SOUPS 24467 WITH SCORE 24499.567
AT ITER 317 NEW BEST:: SOT 69962 SOS 32449 HAS SOPS 32449 HAS SOUS 24337 HAS SOUPS 24337 WITH SCORE 24369.449
AT ITER 319 NEW BEST:: SOT 69942 SOS 32409 HAS SOPS 32409 HAS SOUS 24317 HAS SOUPS 24317 WITH SCORE 24349.409
AT ITER 320 NEW BEST:: SOT 69932 SOS 32385 HAS SOPS 32385 HAS SOUS 24307 HAS SOUPS 24307 WITH SCORE 24339.385
AT ITER 326 NEW BEST:: SOT 69838 SOS 32263 HAS SOPS 32263 HAS SOUS 24185 HAS SOUPS 24185 WITH SCORE 24217.263
AT ITER 328 NEW BEST:: SOT 69835 SOS 32289 HAS SOPS 32289 HAS SOUS 24145 HAS SOUPS 24145 WITH SCORE 24177.289
AT ITER 331 NEW BEST:: SOT 69834 SOS 32335 HAS SOPS 32335 HAS SOUS 24143 HAS SOUPS 24143 WITH SCORE 24175.335
AT ITER 335 NEW BEST:: SOT 69885 SOS 32386 HAS SOPS 32386 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24106.386
AT ITER 336 NEW BEST:: SOT 69859 SOS 32360 HAS SOPS 32360 HAS SOUS 24015 HAS SOUPS 24015 WITH SCORE 24047.36
AT ITER 338 NEW BEST:: SOT 69848 SOS 32338 HAS SOPS 32338 HAS SOUS 24004 HAS SOUPS 24004 WITH SCORE 24036.338
AT ITER 348 NEW BEST:: SOT 69810 SOS 32262 HAS SOPS 32262 HAS SOUS 23906 HAS SOUPS 23906 WITH SCORE 23938.262
AT ITER 349 NEW BEST:: SOT 69795 SOS 32247 HAS SOPS 32247 HAS SOUS 23891 HAS SOUPS 23891 WITH SCORE 23923.247
AT ITER 351 NEW BEST:: SOT 69770 SOS 32222 HAS SOPS 32222 HAS SOUS 23866 HAS SOUPS 23866 WITH SCORE 23898.222
AT ITER 354 NEW BEST:: SOT 69758 SOS 32198 HAS SOPS 32198 HAS SOUS 23815 HAS SOUPS 23815 WITH SCORE 23847.198
AT ITER 359 NEW BEST:: SOT 69630 SOS 31887 HAS SOPS 31887 HAS SOUS 23552 HAS SOUPS 23552 WITH SCORE 23583.887
AT ITER 362 NEW BEST:: SOT 69628 SOS 31867 HAS SOPS 31867 HAS SOUS 23548 HAS SOUPS 23548 WITH SCORE 23579.867
AT ITER 366 NEW BEST:: SOT 69576 SOS 31801 HAS SOPS 31801 HAS SOUS 23478 HAS SOUPS 23478 WITH SCORE 23509.801
AT ITER 383 NEW BEST:: SOT 69568 SOS 31785 HAS SOPS 31785 HAS SOUS 23422 HAS SOUPS 23422 WITH SCORE 23453.785
AT ITER 393 NEW BEST:: SOT 69568 SOS 31787 HAS SOPS 31787 HAS SOUS 23374 HAS SOUPS 23374 WITH SCORE 23405.787
AT ITER 396 NEW BEST:: SOT 69557 SOS 31765 HAS SOPS 31765 HAS SOUS 23352 HAS SOUPS 23352 WITH SCORE 23383.765
AT ITER 397 NEW BEST:: SOT 69512 SOS 31766 HAS SOPS 31766 HAS SOUS 23313 HAS SOUPS 23313 WITH SCORE 23344.766
AT ITER 402 NEW BEST:: SOT 69412 SOS 31466 HAS SOPS 31466 HAS SOUS 23013 HAS SOUPS 23013 WITH SCORE 23044.466
AT ITER 406 NEW BEST:: SOT 69412 SOS 31466 HAS SOPS 31466 HAS SOUS 23007 HAS SOUPS 23007 WITH SCORE 23038.466
AT ITER 419 NEW BEST:: SOT 69366 SOS 31374 HAS SOPS 31374 HAS SOUS 22996 HAS SOUPS 22996 WITH SCORE 23027.374
AT ITER 420 NEW BEST:: SOT 69331 SOS 31446 HAS SOPS 31446 HAS SOUS 22926 HAS SOUPS 22926 WITH SCORE 22957.446
AT ITER 434 NEW BEST:: SOT 69243 SOS 31270 HAS SOPS 31270 HAS SOUS 22750 HAS SOUPS 22750 WITH SCORE 22781.27
AT ITER 439 NEW BEST:: SOT 69205 SOS 31162 HAS SOPS 31162 HAS SOUS 22674 HAS SOUPS 22674 WITH SCORE 22705.162
AT ITER 440 NEW BEST:: SOT 69019 SOS 30968 HAS SOPS 30968 HAS SOUS 22434 HAS SOUPS 22434 WITH SCORE 22464.968
AT ITER 443 NEW BEST:: SOT 69019 SOS 30963 HAS SOPS 30963 HAS SOUS 22429 HAS SOUPS 22429 WITH SCORE 22459.963
AT ITER 451 NEW BEST:: SOT 69005 SOS 30942 HAS SOPS 30942 HAS SOUS 22415 HAS SOUPS 22415 WITH SCORE 22445.942
AT ITER 453 NEW BEST:: SOT 69005 SOS 30942 HAS SOPS 30942 HAS SOUS 22386 HAS SOUPS 22386 WITH SCORE 22416.942
AT ITER 456 NEW BEST:: SOT 69002 SOS 30936 HAS SOPS 30936 HAS SOUS 22380 HAS SOUPS 22380 WITH SCORE 22410.936
AT ITER 461 NEW BEST:: SOT 69000 SOS 30941 HAS SOPS 30941 HAS SOUS 22376 HAS SOUPS 22376 WITH SCORE 22406.941
AT ITER 478 NEW BEST:: SOT 68995 SOS 30886 HAS SOPS 30886 HAS SOUS 22326 HAS SOUPS 22326 WITH SCORE 22356.886
AT ITER 482 NEW BEST:: SOT 68995 SOS 30886 HAS SOPS 30886 HAS SOUS 22324 HAS SOUPS 22324 WITH SCORE 22354.886
AT ITER 485 NEW BEST:: SOT 68965 SOS 30826 HAS SOPS 30826 HAS SOUS 22264 HAS SOUPS 22264 WITH SCORE 22294.826
AT ITER 489 NEW BEST:: SOT 68825 SOS 30807 HAS SOPS 30807 HAS SOUS 22132 HAS SOUPS 22132 WITH SCORE 22162.807
AT ITER 508 NEW BEST:: SOT 68707 SOS 30533 HAS SOPS 30533 HAS SOUS 21858 HAS SOUPS 21858 WITH SCORE 21888.533
AT ITER 518 NEW BEST:: SOT 68579 SOS 30435 HAS SOPS 30435 HAS SOUS 21834 HAS SOUPS 21834 WITH SCORE 21864.435
AT ITER 519 NEW BEST:: SOT 68461 SOS 30334 HAS SOPS 30334 HAS SOUS 21667 HAS SOUPS 21667 WITH SCORE 21697.334
AT ITER 521 NEW BEST:: SOT 68390 SOS 30192 HAS SOPS 30192 HAS SOUS 21510 HAS SOUPS 21510 WITH SCORE 21540.192
AT ITER 534 NEW BEST:: SOT 68380 SOS 30182 HAS SOPS 30182 HAS SOUS 21490 HAS SOUPS 21490 WITH SCORE 21520.182
AT ITER 537 NEW BEST:: SOT 68274 SOS 30002 HAS SOPS 30002 HAS SOUS 21310 HAS SOUPS 21310 WITH SCORE 21340.002
AT ITER 557 NEW BEST:: SOT 68204 SOS 29863 HAS SOPS 29863 HAS SOUS 21296 HAS SOUPS 21296 WITH SCORE 21325.863
AT ITER 560 NEW BEST:: SOT 68189 SOS 29833 HAS SOPS 29833 HAS SOUS 21281 HAS SOUPS 21281 WITH SCORE 21310.833
AT ITER 566 NEW BEST:: SOT 68123 SOS 29767 HAS SOPS 29767 HAS SOUS 21215 HAS SOUPS 21215 WITH SCORE 21244.767
AT ITER 571 NEW BEST:: SOT 67910 SOS 29407 HAS SOPS 29407 HAS SOUS 21082 HAS SOUPS 21082 WITH SCORE 21111.407
AT ITER 575 NEW BEST:: SOT 67907 SOS 29401 HAS SOPS 29401 HAS SOUS 21076 HAS SOUPS 21076 WITH SCORE 21105.401
AT ITER 585 NEW BEST:: SOT 67894 SOS 29388 HAS SOPS 29388 HAS SOUS 21063 HAS SOUPS 21063 WITH SCORE 21092.388
AT ITER 586 NEW BEST:: SOT 67884 SOS 29368 HAS SOPS 29368 HAS SOUS 21053 HAS SOUPS 21053 WITH SCORE 21082.368
AT ITER 589 NEW BEST:: SOT 67799 SOS 29198 HAS SOPS 29198 HAS SOUS 20968 HAS SOUPS 20968 WITH SCORE 20997.198
AT ITER 595 NEW BEST:: SOT 67752 SOS 29124 HAS SOPS 29124 HAS SOUS 20947 HAS SOUPS 20947 WITH SCORE 20976.124
AT ITER 596 NEW BEST:: SOT 67745 SOS 29163 HAS SOPS 29163 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20969.163
AT ITER 598 NEW BEST:: SOT 67710 SOS 29128 HAS SOPS 29128 HAS SOUS 20905 HAS SOUPS 20905 WITH SCORE 20934.128
AT ITER 605 NEW BEST:: SOT 67706 SOS 29120 HAS SOPS 29120 HAS SOUS 20897 HAS SOUPS 20897 WITH SCORE 20926.12
AT ITER 612 NEW BEST:: SOT 67704 SOS 29105 HAS SOPS 29105 HAS SOUS 20897 HAS SOUPS 20897 WITH SCORE 20926.105
AT ITER 617 NEW BEST:: SOT 67640 SOS 29041 HAS SOPS 29041 HAS SOUS 20895 HAS SOUPS 20895 WITH SCORE 20924.041
AT ITER 622 NEW BEST:: SOT 67605 SOS 28971 HAS SOPS 28971 HAS SOUS 20817 HAS SOUPS 20817 WITH SCORE 20845.971
AT ITER 634 NEW BEST:: SOT 67603 SOS 28967 HAS SOPS 28967 HAS SOUS 20813 HAS SOUPS 20813 WITH SCORE 20841.967
AT ITER 641 NEW BEST:: SOT 67607 SOS 28942 HAS SOPS 28942 HAS SOUS 20792 HAS SOUPS 20792 WITH SCORE 20820.942
AT ITER 642 NEW BEST:: SOT 67521 SOS 28866 HAS SOPS 28866 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20734.866
AT ITER 647 NEW BEST:: SOT 67513 SOS 28786 HAS SOPS 28786 HAS SOUS 20690 HAS SOUPS 20690 WITH SCORE 20718.786
AT ITER 652 NEW BEST:: SOT 67509 SOS 28752 HAS SOPS 28752 HAS SOUS 20686 HAS SOUPS 20686 WITH SCORE 20714.752
AT ITER 666 NEW BEST:: SOT 67520 SOS 28797 HAS SOPS 28797 HAS SOUS 20674 HAS SOUPS 20674 WITH SCORE 20702.797
AT ITER 667 NEW BEST:: SOT 67437 SOS 28714 HAS SOPS 28714 HAS SOUS 20591 HAS SOUPS 20591 WITH SCORE 20619.714
AT ITER 674 NEW BEST:: SOT 67429 SOS 28698 HAS SOPS 28698 HAS SOUS 20575 HAS SOUPS 20575 WITH SCORE 20603.698
AT ITER 691 NEW BEST:: SOT 67408 SOS 28331 HAS SOPS 28331 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20571.331
AT ITER 692 NEW BEST:: SOT 67360 SOS 28283 HAS SOPS 28283 HAS SOUS 20495 HAS SOUPS 20495 WITH SCORE 20523.283
AT ITER 702 NEW BEST:: SOT 67327 SOS 28217 HAS SOPS 28217 HAS SOUS 20420 HAS SOUPS 20420 WITH SCORE 20448.217
AT ITER 703 NEW BEST:: SOT 67266 SOS 28095 HAS SOPS 28095 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20372.095
AT ITER 710 NEW BEST:: SOT 67254 SOS 28071 HAS SOPS 28071 HAS SOUS 20332 HAS SOUPS 20332 WITH SCORE 20360.071
AT ITER 712 NEW BEST:: SOT 67237 SOS 27994 HAS SOPS 27994 HAS SOUS 20298 HAS SOUPS 20298 WITH SCORE 20325.994
AT ITER 715 NEW BEST:: SOT 67232 SOS 27989 HAS SOPS 27989 HAS SOUS 20288 HAS SOUPS 20288 WITH SCORE 20315.989
AT ITER 730 NEW BEST:: SOT 67223 SOS 27971 HAS SOPS 27971 HAS SOUS 20270 HAS SOUPS 20270 WITH SCORE 20297.971
AT ITER 740 NEW BEST:: SOT 67125 SOS 27775 HAS SOPS 27775 HAS SOUS 20136 HAS SOUPS 20136 WITH SCORE 20163.775
AT ITER 741 NEW BEST:: SOT 67112 SOS 27769 HAS SOPS 27769 HAS SOUS 20110 HAS SOUPS 20110 WITH SCORE 20137.769
AT ITER 742 NEW BEST:: SOT 67071 SOS 27742 HAS SOPS 27742 HAS SOUS 20070 HAS SOUPS 20070 WITH SCORE 20097.742
AT ITER 759 NEW BEST:: SOT 66960 SOS 27505 HAS SOPS 27505 HAS SOUS 19959 HAS SOUPS 19959 WITH SCORE 19986.505
AT ITER 762 NEW BEST:: SOT 66931 SOS 27515 HAS SOPS 27515 HAS SOUS 19930 HAS SOUPS 19930 WITH SCORE 19957.515
AT ITER 763 NEW BEST:: SOT 66911 SOS 27485 HAS SOPS 27485 HAS SOUS 19900 HAS SOUPS 19900 WITH SCORE 19927.485
AT ITER 764 NEW BEST:: SOT 66912 SOS 27410 HAS SOPS 27410 HAS SOUS 19888 HAS SOUPS 19888 WITH SCORE 19915.41
AT ITER 773 NEW BEST:: SOT 66830 SOS 27280 HAS SOPS 27280 HAS SOUS 19812 HAS SOUPS 19812 WITH SCORE 19839.28
AT ITER 777 NEW BEST:: SOT 66827 SOS 27274 HAS SOPS 27274 HAS SOUS 19807 HAS SOUPS 19807 WITH SCORE 19834.274
AT ITER 781 NEW BEST:: SOT 66826 SOS 27244 HAS SOPS 27244 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19832.244
AT ITER 788 NEW BEST:: SOT 66809 SOS 27256 HAS SOPS 27256 HAS SOUS 19789 HAS SOUPS 19789 WITH SCORE 19816.256
AT ITER 814 NEW BEST:: SOT 66774 SOS 27239 HAS SOPS 27239 HAS SOUS 19679 HAS SOUPS 19679 WITH SCORE 19706.239
AT ITER 842 NEW BEST:: SOT 66759 SOS 27209 HAS SOPS 27209 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19667.209
AT ITER 845 NEW BEST:: SOT 66745 SOS 27170 HAS SOPS 27170 HAS SOUS 19620 HAS SOUPS 19620 WITH SCORE 19647.17
AT ITER 854 NEW BEST:: SOT 66687 SOS 27070 HAS SOPS 27070 HAS SOUS 19550 HAS SOUPS 19550 WITH SCORE 19577.07
AT ITER 889 NEW BEST:: SOT 66686 SOS 27069 HAS SOPS 27069 HAS SOUS 19548 HAS SOUPS 19548 WITH SCORE 19575.069
AT ITER 890 NEW BEST:: SOT 66683 SOS 27066 HAS SOPS 27066 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19569.066
AT ITER 891 NEW BEST:: SOT 66623 SOS 27006 HAS SOPS 27006 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19569.006
AT ITER 894 NEW BEST:: SOT 66662 SOS 26838 HAS SOPS 26838 HAS SOUS 19374 HAS SOUPS 19374 WITH SCORE 19400.838
AT ITER 898 NEW BEST:: SOT 66662 SOS 26838 HAS SOPS 26838 HAS SOUS 19363 HAS SOUPS 19363 WITH SCORE 19389.838
AT ITER 904 NEW BEST:: SOT 66666 SOS 26735 HAS SOPS 26735 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19318.735
AT ITER 905 NEW BEST:: SOT 66660 SOS 26723 HAS SOPS 26723 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19306.723
AT ITER 922 NEW BEST:: SOT 66654 SOS 26775 HAS SOPS 26775 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19294.775
AT ITER 932 NEW BEST:: SOT 66638 SOS 26743 HAS SOPS 26743 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19278.743
AT ITER 935 NEW BEST:: SOT 66649 SOS 26723 HAS SOPS 26723 HAS SOUS 19251 HAS SOUPS 19251 WITH SCORE 19277.723
AT ITER 951 NEW BEST:: SOT 66636 SOS 26710 HAS SOPS 26710 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19251.71
AT ITER 966 NEW BEST:: SOT 66607 SOS 26517 HAS SOPS 26517 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19193.517
AT ITER 968 NEW BEST:: SOT 66452 SOS 26457 HAS SOPS 26457 HAS SOUS 19117 HAS SOUPS 19117 WITH SCORE 19143.457
AT ITER 975 NEW BEST:: SOT 66375 SOS 26348 HAS SOPS 26348 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19052.348
AT ITER 980 NEW BEST:: SOT 66372 SOS 26345 HAS SOPS 26345 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19049.345
AT ITER 983 NEW BEST:: SOT 66365 SOS 26426 HAS SOPS 26426 HAS SOUS 19009 HAS SOUPS 19009 WITH SCORE 19035.426
AT ITER 990 NEW BEST:: SOT 66343 SOS 26404 HAS SOPS 26404 HAS SOUS 18965 HAS SOUPS 18965 WITH SCORE 18991.404
AT ITER 1006 NEW BEST:: SOT 66329 SOS 26390 HAS SOPS 26390 HAS SOUS 18951 HAS SOUPS 18951 WITH SCORE 18977.39
AT ITER 1010 NEW BEST:: SOT 66328 SOS 26389 HAS SOPS 26389 HAS SOUS 18950 HAS SOUPS 18950 WITH SCORE 18976.389
AT ITER 1017 NEW BEST:: SOT 66314 SOS 26375 HAS SOPS 26375 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18948.375
AT ITER 1036 NEW BEST:: SOT 66231 SOS 26239 HAS SOPS 26239 HAS SOUS 18839 HAS SOUPS 18839 WITH SCORE 18865.239
AT ITER 1037 NEW BEST:: SOT 66218 SOS 26213 HAS SOPS 26213 HAS SOUS 18806 HAS SOUPS 18806 WITH SCORE 18832.213
AT ITER 1042 NEW BEST:: SOT 66181 SOS 26242 HAS SOPS 26242 HAS SOUS 18732 HAS SOUPS 18732 WITH SCORE 18758.242
AT ITER 1049 NEW BEST:: SOT 66181 SOS 26237 HAS SOPS 26237 HAS SOUS 18732 HAS SOUPS 18732 WITH SCORE 18758.237
AT ITER 1063 NEW BEST:: SOT 66120 SOS 26176 HAS SOPS 26176 HAS SOUS 18673 HAS SOUPS 18673 WITH SCORE 18699.176
AT ITER 1067 NEW BEST:: SOT 66118 SOS 26171 HAS SOPS 26171 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18694.171
AT ITER 1073 NEW BEST:: SOT 66102 SOS 26139 HAS SOPS 26139 HAS SOUS 18607 HAS SOUPS 18607 WITH SCORE 18633.139
AT ITER 1104 NEW BEST:: SOT 66094 SOS 26123 HAS SOPS 26123 HAS SOUS 18565 HAS SOUPS 18565 WITH SCORE 18591.123
AT ITER 1108 NEW BEST:: SOT 66087 SOS 26102 HAS SOPS 26102 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18577.102
AT ITER 1113 NEW BEST:: SOT 66082 SOS 26087 HAS SOPS 26087 HAS SOUS 18541 HAS SOUPS 18541 WITH SCORE 18567.087
AT ITER 1121 NEW BEST:: SOT 66029 SOS 26019 HAS SOPS 26019 HAS SOUS 18482 HAS SOUPS 18482 WITH SCORE 18508.019
AT ITER 1127 NEW BEST:: SOT 66014 SOS 26004 HAS SOPS 26004 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18493.004
AT ITER 1132 NEW BEST:: SOT 66009 SOS 25994 HAS SOPS 25994 HAS SOUS 18457 HAS SOUPS 18457 WITH SCORE 18482.994
AT ITER 1140 NEW BEST:: SOT 65937 SOS 25977 HAS SOPS 25977 HAS SOUS 18394 HAS SOUPS 18394 WITH SCORE 18419.977
AT ITER 1145 NEW BEST:: SOT 65912 SOS 25927 HAS SOPS 25927 HAS SOUS 18355 HAS SOUPS 18355 WITH SCORE 18380.927
AT ITER 1154 NEW BEST:: SOT 65870 SOS 25885 HAS SOPS 25885 HAS SOUS 18327 HAS SOUPS 18327 WITH SCORE 18352.885
AT ITER 1162 NEW BEST:: SOT 65870 SOS 25875 HAS SOPS 25875 HAS SOUS 18317 HAS SOUPS 18317 WITH SCORE 18342.875
AT ITER 1170 NEW BEST:: SOT 65864 SOS 25854 HAS SOPS 25854 HAS SOUS 18305 HAS SOUPS 18305 WITH SCORE 18330.854
AT ITER 1174 NEW BEST:: SOT 65856 SOS 25838 HAS SOPS 25838 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18322.838
AT ITER 1195 NEW BEST:: SOT 65842 SOS 25803 HAS SOPS 25803 HAS SOUS 18269 HAS SOUPS 18269 WITH SCORE 18294.803
AT ITER 1234 NEW BEST:: SOT 65824 SOS 25786 HAS SOPS 25786 HAS SOUS 18252 HAS SOUPS 18252 WITH SCORE 18277.786
AT ITER 1248 NEW BEST:: SOT 65792 SOS 25779 HAS SOPS 25779 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18245.779
AT ITER 1255 NEW BEST:: SOT 65792 SOS 25749 HAS SOPS 25749 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18185.749
AT ITER 1266 NEW BEST:: SOT 65778 SOS 25721 HAS SOPS 25721 HAS SOUS 18132 HAS SOUPS 18132 WITH SCORE 18157.721
AT ITER 1267 NEW BEST:: SOT 65774 SOS 25705 HAS SOPS 25705 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18141.705
AT ITER 1271 NEW BEST:: SOT 65774 SOS 25694 HAS SOPS 25694 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18141.694
AT ITER 1280 NEW BEST:: SOT 65704 SOS 25603 HAS SOPS 25603 HAS SOUS 17972 HAS SOUPS 17972 WITH SCORE 17997.603
AT ITER 1286 NEW BEST:: SOT 65671 SOS 25554 HAS SOPS 25554 HAS SOUS 17940 HAS SOUPS 17940 WITH SCORE 17965.554
AT ITER 1297 NEW BEST:: SOT 65673 SOS 25558 HAS SOPS 25558 HAS SOUS 17915 HAS SOUPS 17915 WITH SCORE 17940.558
AT ITER 1300 NEW BEST:: SOT 65683 SOS 25549 HAS SOPS 25549 HAS SOUS 17906 HAS SOUPS 17906 WITH SCORE 17931.549
AT ITER 1302 NEW BEST:: SOT 65584 SOS 25450 HAS SOPS 25450 HAS SOUS 17906 HAS SOUPS 17906 WITH SCORE 17931.45
AT ITER 1311 NEW BEST:: SOT 65607 SOS 25412 HAS SOPS 25412 HAS SOUS 17784 HAS SOUPS 17784 WITH SCORE 17809.412
AT ITER 1329 NEW BEST:: SOT 65601 SOS 25397 HAS SOPS 25397 HAS SOUS 17749 HAS SOUPS 17749 WITH SCORE 17774.397
AT ITER 1337 NEW BEST:: SOT 65578 SOS 25351 HAS SOPS 25351 HAS SOUS 17703 HAS SOUPS 17703 WITH SCORE 17728.351
AT ITER 1339 NEW BEST:: SOT 65569 SOS 25333 HAS SOPS 25333 HAS SOUS 17685 HAS SOUPS 17685 WITH SCORE 17710.333
AT ITER 1353 NEW BEST:: SOT 65561 SOS 25311 HAS SOPS 25311 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17696.311
AT ITER 1356 NEW BEST:: SOT 65506 SOS 25240 HAS SOPS 25240 HAS SOUS 17600 HAS SOUPS 17600 WITH SCORE 17625.24
AT ITER 1397 NEW BEST:: SOT 65508 SOS 25227 HAS SOPS 25227 HAS SOUS 17599 HAS SOUPS 17599 WITH SCORE 17624.227
AT ITER 1398 NEW BEST:: SOT 65490 SOS 25169 HAS SOPS 25169 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17606.169
AT ITER 1403 NEW BEST:: SOT 65489 SOS 25167 HAS SOPS 25167 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17605.167
AT ITER 1422 NEW BEST:: SOT 65466 SOS 25098 HAS SOPS 25098 HAS SOUS 17534 HAS SOUPS 17534 WITH SCORE 17559.098
AT ITER 1427 NEW BEST:: SOT 65466 SOS 25085 HAS SOPS 25085 HAS SOUS 17534 HAS SOUPS 17534 WITH SCORE 17559.085
AT ITER 1439 NEW BEST:: SOT 65446 SOS 25060 HAS SOPS 25060 HAS SOUS 17524 HAS SOUPS 17524 WITH SCORE 17549.06
AT ITER 1441 NEW BEST:: SOT 65437 SOS 25048 HAS SOPS 25048 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17537.048
AT ITER 1452 NEW BEST:: SOT 65431 SOS 25036 HAS SOPS 25036 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17531.036
AT ITER 1454 NEW BEST:: SOT 65381 SOS 24936 HAS SOPS 24936 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17430.936
AT ITER 1465 NEW BEST:: SOT 65381 SOS 24929 HAS SOPS 24929 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17430.929
AT ITER 1476 NEW BEST:: SOT 65347 SOS 24861 HAS SOPS 24861 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17396.861
AT ITER 1492 NEW BEST:: SOT 65309 SOS 24823 HAS SOPS 24823 HAS SOUS 17334 HAS SOUPS 17334 WITH SCORE 17358.823
AT ITER 1495 NEW BEST:: SOT 65314 SOS 24833 HAS SOPS 24833 HAS SOUS 17278 HAS SOUPS 17278 WITH SCORE 17302.833
AT ITER 1503 NEW BEST:: SOT 65293 SOS 24839 HAS SOPS 24839 HAS SOUS 17258 HAS SOUPS 17258 WITH SCORE 17282.839
AT ITER 1511 NEW BEST:: SOT 65274 SOS 24820 HAS SOPS 24820 HAS SOUS 17239 HAS SOUPS 17239 WITH SCORE 17263.82
AT ITER 1527 NEW BEST:: SOT 65278 SOS 24812 HAS SOPS 24812 HAS SOUS 17231 HAS SOUPS 17231 WITH SCORE 17255.812
AT ITER 1533 NEW BEST:: SOT 65260 SOS 24794 HAS SOPS 24794 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17219.794
AT ITER 1534 NEW BEST:: SOT 65255 SOS 24762 HAS SOPS 24762 HAS SOUS 17168 HAS SOUPS 17168 WITH SCORE 17192.762
AT ITER 1547 NEW BEST:: SOT 65205 SOS 24581 HAS SOPS 24581 HAS SOUS 16991 HAS SOUPS 16991 WITH SCORE 17015.581
AT ITER 1578 NEW BEST:: SOT 65232 SOS 24566 HAS SOPS 24566 HAS SOUS 16976 HAS SOUPS 16976 WITH SCORE 17000.566
AT ITER 1583 NEW BEST:: SOT 65310 SOS 24644 HAS SOPS 24644 HAS SOUS 16968 HAS SOUPS 16968 WITH SCORE 16992.644
AT ITER 1606 NEW BEST:: SOT 65311 SOS 24633 HAS SOPS 24633 HAS SOUS 16965 HAS SOUPS 16965 WITH SCORE 16989.633
AT ITER 1609 NEW BEST:: SOT 65301 SOS 24625 HAS SOPS 24625 HAS SOUS 16945 HAS SOUPS 16945 WITH SCORE 16969.625
AT ITER 1613 NEW BEST:: SOT 65271 SOS 24567 HAS SOPS 24567 HAS SOUS 16901 HAS SOUPS 16901 WITH SCORE 16925.567
AT ITER 1614 NEW BEST:: SOT 65330 SOS 24574 HAS SOPS 24574 HAS SOUS 16878 HAS SOUPS 16878 WITH SCORE 16902.574
AT ITER 1634 NEW BEST:: SOT 65329 SOS 24527 HAS SOPS 24527 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16860.527
AT ITER 1659 NEW BEST:: SOT 65341 SOS 24489 HAS SOPS 24489 HAS SOUS 16800 HAS SOUPS 16800 WITH SCORE 16824.489
AT ITER 1666 NEW BEST:: SOT 65340 SOS 24487 HAS SOPS 24487 HAS SOUS 16798 HAS SOUPS 16798 WITH SCORE 16822.487
AT ITER 1670 NEW BEST:: SOT 65301 SOS 24441 HAS SOPS 24441 HAS SOUS 16766 HAS SOUPS 16766 WITH SCORE 16790.441
AT ITER 1677 NEW BEST:: SOT 65255 SOS 24392 HAS SOPS 24392 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16774.392
AT ITER 1690 NEW BEST:: SOT 65167 SOS 24289 HAS SOPS 24289 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16670.289
AT ITER 1693 NEW BEST:: SOT 65164 SOS 24280 HAS SOPS 24280 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16664.28
AT ITER 1708 NEW BEST:: SOT 65167 SOS 24286 HAS SOPS 24286 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16657.286
AT ITER 1726 NEW BEST:: SOT 65161 SOS 24280 HAS SOPS 24280 HAS SOUS 16627 HAS SOUPS 16627 WITH SCORE 16651.28
AT ITER 1730 NEW BEST:: SOT 65103 SOS 24106 HAS SOPS 24106 HAS SOUS 16511 HAS SOUPS 16511 WITH SCORE 16535.106
AT ITER 1741 NEW BEST:: SOT 65098 SOS 24083 HAS SOPS 24083 HAS SOUS 16501 HAS SOUPS 16501 WITH SCORE 16525.083
AT ITER 1746 NEW BEST:: SOT 65097 SOS 24077 HAS SOPS 24077 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16518.077
AT ITER 1750 NEW BEST:: SOT 65076 SOS 23979 HAS SOPS 23979 HAS SOUS 16417 HAS SOUPS 16417 WITH SCORE 16440.979
AT ITER 1766 NEW BEST:: SOT 65037 SOS 23915 HAS SOPS 23915 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16382.915
AT ITER 1774 NEW BEST:: SOT 65037 SOS 23915 HAS SOPS 23915 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16381.915
AT ITER 1781 NEW BEST:: SOT 65043 SOS 23884 HAS SOPS 23884 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16357.884
AT ITER 1788 NEW BEST:: SOT 64971 SOS 23763 HAS SOPS 23763 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16323.763
AT ITER 1790 NEW BEST:: SOT 64988 SOS 23797 HAS SOPS 23797 HAS SOUS 16264 HAS SOUPS 16264 WITH SCORE 16287.797
AT ITER 1794 NEW BEST:: SOT 65018 SOS 23857 HAS SOPS 23857 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16282.857
AT ITER 1802 NEW BEST:: SOT 65018 SOS 23824 HAS SOPS 23824 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16249.824
AT ITER 1826 NEW BEST:: SOT 65023 SOS 23830 HAS SOPS 23830 HAS SOUS 16218 HAS SOUPS 16218 WITH SCORE 16241.83
AT ITER 1830 NEW BEST:: SOT 65009 SOS 23821 HAS SOPS 23821 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16213.821
AT ITER 1837 NEW BEST:: SOT 64994 SOS 23791 HAS SOPS 23791 HAS SOUS 16175 HAS SOUPS 16175 WITH SCORE 16198.791
AT ITER 1838 NEW BEST:: SOT 64972 SOS 23747 HAS SOPS 23747 HAS SOUS 16142 HAS SOUPS 16142 WITH SCORE 16165.747
AT ITER 1839 NEW BEST:: SOT 64980 SOS 23795 HAS SOPS 23795 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16164.795
AT ITER 1848 NEW BEST:: SOT 64939 SOS 23791 HAS SOPS 23791 HAS SOUS 16137 HAS SOUPS 16137 WITH SCORE 16160.791
AT ITER 1855 NEW BEST:: SOT 64906 SOS 23722 HAS SOPS 23722 HAS SOUS 16068 HAS SOUPS 16068 WITH SCORE 16091.722
AT ITER 1862 NEW BEST:: SOT 64903 SOS 23716 HAS SOPS 23716 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16085.716
AT ITER 1912 NEW BEST:: SOT 64893 SOS 23677 HAS SOPS 23677 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16061.677
AT ITER 1922 NEW BEST:: SOT 64893 SOS 23677 HAS SOPS 23677 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16054.677
AT ITER 1930 NEW BEST:: SOT 64893 SOS 23643 HAS SOPS 23643 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16054.643
AT ITER 1937 NEW BEST:: SOT 64892 SOS 23641 HAS SOPS 23641 HAS SOUS 16030 HAS SOUPS 16030 WITH SCORE 16053.641
AT ITER 1979 NEW BEST:: SOT 64881 SOS 23622 HAS SOPS 23622 HAS SOUS 16016 HAS SOUPS 16016 WITH SCORE 16039.622
AT ITER 1981 NEW BEST:: SOT 64876 SOS 23612 HAS SOPS 23612 HAS SOUS 16006 HAS SOUPS 16006 WITH SCORE 16029.612
AT ITER 2036 NEW BEST:: SOT 64876 SOS 23610 HAS SOPS 23610 HAS SOUS 16004 HAS SOUPS 16004 WITH SCORE 16027.61
AT ITER 2047 NEW BEST:: SOT 64847 SOS 23581 HAS SOPS 23581 HAS SOUS 16004 HAS SOUPS 16004 WITH SCORE 16027.581
AT ITER 2094 NEW BEST:: SOT 64834 SOS 23555 HAS SOPS 23555 HAS SOUS 15993 HAS SOUPS 15993 WITH SCORE 16016.555
AT ITER 2102 NEW BEST:: SOT 64834 SOS 23551 HAS SOPS 23551 HAS SOUS 15993 HAS SOUPS 15993 WITH SCORE 16016.551
AT ITER 2118 NEW BEST:: SOT 64818 SOS 23530 HAS SOPS 23530 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 15995.53
AT ITER 2126 NEW BEST:: SOT 64815 SOS 23527 HAS SOPS 23527 HAS SOUS 15966 HAS SOUPS 15966 WITH SCORE 15989.527
AT ITER 2135 NEW BEST:: SOT 64783 SOS 23545 HAS SOPS 23545 HAS SOUS 15932 HAS SOUPS 15932 WITH SCORE 15955.545
AT ITER 2138 NEW BEST:: SOT 64801 SOS 23614 HAS SOPS 23614 HAS SOUS 15928 HAS SOUPS 15928 WITH SCORE 15951.614
AT ITER 2139 NEW BEST:: SOT 64786 SOS 23610 HAS SOPS 23610 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15949.61
AT ITER 2158 NEW BEST:: SOT 64781 SOS 23600 HAS SOPS 23600 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15944.6
AT ITER 2185 NEW BEST:: SOT 64763 SOS 23606 HAS SOPS 23606 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15912.606
AT ITER 2193 NEW BEST:: SOT 64737 SOS 23549 HAS SOPS 23549 HAS SOUS 15853 HAS SOUPS 15853 WITH SCORE 15876.549
AT ITER 2194 NEW BEST:: SOT 64726 SOS 23527 HAS SOPS 23527 HAS SOUS 15850 HAS SOUPS 15850 WITH SCORE 15873.527
AT ITER 2197 NEW BEST:: SOT 64652 SOS 23425 HAS SOPS 23425 HAS SOUS 15802 HAS SOUPS 15802 WITH SCORE 15825.425
AT ITER 2230 NEW BEST:: SOT 64651 SOS 23399 HAS SOPS 23399 HAS SOUS 15800 HAS SOUPS 15800 WITH SCORE 15823.399
AT ITER 2254 NEW BEST:: SOT 64648 SOS 23396 HAS SOPS 23396 HAS SOUS 15800 HAS SOUPS 15800 WITH SCORE 15823.396
AT ITER 2263 NEW BEST:: SOT 64636 SOS 23371 HAS SOPS 23371 HAS SOUS 15787 HAS SOUPS 15787 WITH SCORE 15810.371
AT ITER 2270 NEW BEST:: SOT 64636 SOS 23350 HAS SOPS 23350 HAS SOUS 15766 HAS SOUPS 15766 WITH SCORE 15789.35
AT ITER 2271 NEW BEST:: SOT 64630 SOS 23344 HAS SOPS 23344 HAS SOUS 15754 HAS SOUPS 15754 WITH SCORE 15777.344
AT ITER 2278 NEW BEST:: SOT 64651 SOS 23420 HAS SOPS 23420 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15748.42
AT ITER 2286 NEW BEST:: SOT 64651 SOS 23410 HAS SOPS 23410 HAS SOUS 15715 HAS SOUPS 15715 WITH SCORE 15738.41
AT ITER 2296 NEW BEST:: SOT 64635 SOS 23405 HAS SOPS 23405 HAS SOUS 15710 HAS SOUPS 15710 WITH SCORE 15733.405
AT ITER 2313 NEW BEST:: SOT 64635 SOS 23373 HAS SOPS 23373 HAS SOUS 15710 HAS SOUPS 15710 WITH SCORE 15733.373
AT ITER 2358 NEW BEST:: SOT 64662 SOS 23339 HAS SOPS 23339 HAS SOUS 15691 HAS SOUPS 15691 WITH SCORE 15714.339
AT ITER 2359 NEW BEST:: SOT 64657 SOS 23338 HAS SOPS 23338 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15713.338
AT ITER 2367 NEW BEST:: SOT 64642 SOS 23308 HAS SOPS 23308 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15698.308
AT ITER 2368 NEW BEST:: SOT 64628 SOS 23280 HAS SOPS 23280 HAS SOUS 15647 HAS SOUPS 15647 WITH SCORE 15670.28
AT ITER 2379 NEW BEST:: SOT 64614 SOS 23252 HAS SOPS 23252 HAS SOUS 15619 HAS SOUPS 15619 WITH SCORE 15642.252
AT ITER 2384 NEW BEST:: SOT 64574 SOS 23212 HAS SOPS 23212 HAS SOUS 15566 HAS SOUPS 15566 WITH SCORE 15589.212
AT ITER 2399 NEW BEST:: SOT 64574 SOS 23164 HAS SOPS 23164 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15541.164
AT ITER 2404 NEW BEST:: SOT 64573 SOS 23162 HAS SOPS 23162 HAS SOUS 15516 HAS SOUPS 15516 WITH SCORE 15539.162
AT ITER 2411 NEW BEST:: SOT 64575 SOS 23149 HAS SOPS 23149 HAS SOUS 15503 HAS SOUPS 15503 WITH SCORE 15526.149
AT ITER 2415 NEW BEST:: SOT 64557 SOS 23136 HAS SOPS 23136 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15490.136
AT ITER 2439 NEW BEST:: SOT 64537 SOS 23131 HAS SOPS 23131 HAS SOUS 15466 HAS SOUPS 15466 WITH SCORE 15489.131
AT ITER 2443 NEW BEST:: SOT 64527 SOS 23111 HAS SOPS 23111 HAS SOUS 15440 HAS SOUPS 15440 WITH SCORE 15463.111
AT ITER 2468 NEW BEST:: SOT 64537 SOS 23122 HAS SOPS 23122 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15455.122
AT ITER 2482 NEW BEST:: SOT 64536 SOS 23121 HAS SOPS 23121 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15453.121
AT ITER 2504 NEW BEST:: SOT 64570 SOS 22940 HAS SOPS 22940 HAS SOUS 15343 HAS SOUPS 15343 WITH SCORE 15365.94
AT ITER 2539 NEW BEST:: SOT 64543 SOS 22905 HAS SOPS 22905 HAS SOUS 15323 HAS SOUPS 15323 WITH SCORE 15345.905
AT ITER 2568 NEW BEST:: SOT 64509 SOS 22871 HAS SOPS 22871 HAS SOUS 15299 HAS SOUPS 15299 WITH SCORE 15321.871
AT ITER 2579 NEW BEST:: SOT 64507 SOS 22867 HAS SOPS 22867 HAS SOUS 15295 HAS SOUPS 15295 WITH SCORE 15317.867
AT ITER 2596 NEW BEST:: SOT 64465 SOS 22825 HAS SOPS 22825 HAS SOUS 15219 HAS SOUPS 15219 WITH SCORE 15241.825
AT ITER 2599 NEW BEST:: SOT 64472 SOS 22822 HAS SOPS 22822 HAS SOUS 15200 HAS SOUPS 15200 WITH SCORE 15222.822
AT ITER 2607 NEW BEST:: SOT 64467 SOS 22802 HAS SOPS 22802 HAS SOUS 15192 HAS SOUPS 15192 WITH SCORE 15214.802
AT ITER 2629 NEW BEST:: SOT 64467 SOS 22795 HAS SOPS 22795 HAS SOUS 15192 HAS SOUPS 15192 WITH SCORE 15214.795
AT ITER 2655 NEW BEST:: SOT 64459 SOS 22779 HAS SOPS 22779 HAS SOUS 15176 HAS SOUPS 15176 WITH SCORE 15198.779
AT ITER 2657 NEW BEST:: SOT 64375 SOS 22755 HAS SOPS 22755 HAS SOUS 15176 HAS SOUPS 15176 WITH SCORE 15198.755
AT ITER 2664 NEW BEST:: SOT 64370 SOS 22749 HAS SOPS 22749 HAS SOUS 15175 HAS SOUPS 15175 WITH SCORE 15197.749
AT ITER 2666 NEW BEST:: SOT 64350 SOS 22714 HAS SOPS 22714 HAS SOUS 15136 HAS SOUPS 15136 WITH SCORE 15158.714
AT ITER 2674 NEW BEST:: SOT 64350 SOS 22705 HAS SOPS 22705 HAS SOUS 15127 HAS SOUPS 15127 WITH SCORE 15149.705
AT ITER 2691 NEW BEST:: SOT 64282 SOS 22570 HAS SOPS 22570 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15108.57
AT ITER 2697 NEW BEST:: SOT 64272 SOS 22560 HAS SOPS 22560 HAS SOUS 15076 HAS SOUPS 15076 WITH SCORE 15098.56
AT ITER 2718 NEW BEST:: SOT 64255 SOS 22535 HAS SOPS 22535 HAS SOUS 15051 HAS SOUPS 15051 WITH SCORE 15073.535
AT ITER 2726 NEW BEST:: SOT 64248 SOS 22521 HAS SOPS 22521 HAS SOUS 15037 HAS SOUPS 15037 WITH SCORE 15059.521
AT ITER 2735 NEW BEST:: SOT 64249 SOS 22507 HAS SOPS 22507 HAS SOUS 15023 HAS SOUPS 15023 WITH SCORE 15045.507
AT ITER 2751 NEW BEST:: SOT 64243 SOS 22492 HAS SOPS 22492 HAS SOUS 15014 HAS SOUPS 15014 WITH SCORE 15036.492
AT ITER 2772 NEW BEST:: SOT 64246 SOS 22488 HAS SOPS 22488 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15035.488
AT ITER 2785 NEW BEST:: SOT 64243 SOS 22485 HAS SOPS 22485 HAS SOUS 15010 HAS SOUPS 15010 WITH SCORE 15032.485
AT ITER 2788 NEW BEST:: SOT 64239 SOS 22478 HAS SOPS 22478 HAS SOUS 15003 HAS SOUPS 15003 WITH SCORE 15025.478
AT ITER 2792 NEW BEST:: SOT 64235 SOS 22449 HAS SOPS 22449 HAS SOUS 14997 HAS SOUPS 14997 WITH SCORE 15019.449
AT ITER 2797 NEW BEST:: SOT 64240 SOS 22434 HAS SOPS 22434 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15009.434
AT ITER 2799 NEW BEST:: SOT 64219 SOS 22392 HAS SOPS 22392 HAS SOUS 14945 HAS SOUPS 14945 WITH SCORE 14967.392
AT ITER 2826 NEW BEST:: SOT 64235 SOS 22424 HAS SOPS 22424 HAS SOUS 14944 HAS SOUPS 14944 WITH SCORE 14966.424
AT ITER 2828 NEW BEST:: SOT 64206 SOS 22847 HAS SOPS 22847 HAS SOUS 14927 HAS SOUPS 14927 WITH SCORE 14949.847
AT ITER 2829 NEW BEST:: SOT 64198 SOS 22839 HAS SOPS 22839 HAS SOUS 14919 HAS SOUPS 14919 WITH SCORE 14941.839
AT ITER 2852 NEW BEST:: SOT 64186 SOS 22831 HAS SOPS 22831 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14917.831
AT ITER 2903 NEW BEST:: SOT 64148 SOS 22793 HAS SOPS 22793 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14879.793
AT ITER 2907 NEW BEST:: SOT 64155 SOS 22790 HAS SOPS 22790 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14876.79
AT ITER 2944 NEW BEST:: SOT 64160 SOS 22786 HAS SOPS 22786 HAS SOUS 14850 HAS SOUPS 14850 WITH SCORE 14872.786
AT ITER 2965 NEW BEST:: SOT 64156 SOS 22784 HAS SOPS 22784 HAS SOUS 14848 HAS SOUPS 14848 WITH SCORE 14870.784
AT ITER 2971 NEW BEST:: SOT 64156 SOS 22782 HAS SOPS 22782 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14866.782
AT ITER 2985 NEW BEST:: SOT 64153 SOS 22765 HAS SOPS 22765 HAS SOUS 14827 HAS SOUPS 14827 WITH SCORE 14849.765
AT ITER 3012 NEW BEST:: SOT 64148 SOS 22755 HAS SOPS 22755 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14839.755
AT ITER 3022 NEW BEST:: SOT 64147 SOS 22754 HAS SOPS 22754 HAS SOUS 14815 HAS SOUPS 14815 WITH SCORE 14837.754
AT ITER 3034 NEW BEST:: SOT 64146 SOS 22821 HAS SOPS 22821 HAS SOUS 14813 HAS SOUPS 14813 WITH SCORE 14835.821
AT ITER 3044 NEW BEST:: SOT 64154 SOS 22783 HAS SOPS 22783 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14797.783
AT ITER 3051 NEW BEST:: SOT 64145 SOS 22779 HAS SOPS 22779 HAS SOUS 14771 HAS SOUPS 14771 WITH SCORE 14793.779
AT ITER 3060 NEW BEST:: SOT 64145 SOS 22778 HAS SOPS 22778 HAS SOUS 14769 HAS SOUPS 14769 WITH SCORE 14791.778
AT ITER 3081 NEW BEST:: SOT 64126 SOS 22723 HAS SOPS 22723 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14758.723
AT ITER 3113 NEW BEST:: SOT 64149 SOS 22709 HAS SOPS 22709 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14751.709
AT ITER 3120 NEW BEST:: SOT 64146 SOS 22706 HAS SOPS 22706 HAS SOUS 14726 HAS SOUPS 14726 WITH SCORE 14748.706
AT ITER 3134 NEW BEST:: SOT 64146 SOS 22683 HAS SOPS 22683 HAS SOUS 14726 HAS SOUPS 14726 WITH SCORE 14748.683
AT ITER 3152 NEW BEST:: SOT 64136 SOS 22656 HAS SOPS 22656 HAS SOUS 14706 HAS SOUPS 14706 WITH SCORE 14728.656
AT ITER 3156 NEW BEST:: SOT 64127 SOS 22647 HAS SOPS 22647 HAS SOUS 14706 HAS SOUPS 14706 WITH SCORE 14728.647
AT ITER 3168 NEW BEST:: SOT 64126 SOS 22645 HAS SOPS 22645 HAS SOUS 14705 HAS SOUPS 14705 WITH SCORE 14727.645
AT ITER 3169 NEW BEST:: SOT 64125 SOS 22674 HAS SOPS 22674 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14725.674
AT ITER 3170 NEW BEST:: SOT 64125 SOS 22669 HAS SOPS 22669 HAS SOUS 14698 HAS SOUPS 14698 WITH SCORE 14720.669
AT ITER 3244 NEW BEST:: SOT 64124 SOS 22669 HAS SOPS 22669 HAS SOUS 14696 HAS SOUPS 14696 WITH SCORE 14718.669
AT ITER 3253 NEW BEST:: SOT 64097 SOS 22637 HAS SOPS 22637 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14686.637
AT ITER 3262 NEW BEST:: SOT 64067 SOS 22577 HAS SOPS 22577 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14685.577
AT ITER 3285 NEW BEST:: SOT 64020 SOS 22530 HAS SOPS 22530 HAS SOUS 14618 HAS SOUPS 14618 WITH SCORE 14640.53
AT ITER 3290 NEW BEST:: SOT 64006 SOS 22502 HAS SOPS 22502 HAS SOUS 14590 HAS SOUPS 14590 WITH SCORE 14612.502
AT ITER 3314 NEW BEST:: SOT 64001 SOS 22497 HAS SOPS 22497 HAS SOUS 14585 HAS SOUPS 14585 WITH SCORE 14607.497
AT ITER 3329 NEW BEST:: SOT 63981 SOS 22477 HAS SOPS 22477 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14567.477
AT ITER 3367 NEW BEST:: SOT 63978 SOS 22438 HAS SOPS 22438 HAS SOUS 14539 HAS SOUPS 14539 WITH SCORE 14561.438
AT ITER 3394 NEW BEST:: SOT 63970 SOS 22430 HAS SOPS 22430 HAS SOUS 14523 HAS SOUPS 14523 WITH SCORE 14545.43
AT ITER 3446 NEW BEST:: SOT 63970 SOS 22363 HAS SOPS 22363 HAS SOUS 14523 HAS SOUPS 14523 WITH SCORE 14545.363
AT ITER 3481 NEW BEST:: SOT 63962 SOS 22360 HAS SOPS 22360 HAS SOUS 14520 HAS SOUPS 14520 WITH SCORE 14542.36
AT ITER 3491 NEW BEST:: SOT 63962 SOS 22360 HAS SOPS 22360 HAS SOUS 14495 HAS SOUPS 14495 WITH SCORE 14517.36
AT ITER 3510 NEW BEST:: SOT 63954 SOS 22188 HAS SOPS 22188 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14501.188
AT ITER 3512 NEW BEST:: SOT 63947 SOS 22167 HAS SOPS 22167 HAS SOUS 14465 HAS SOUPS 14465 WITH SCORE 14487.167
AT ITER 3519 NEW BEST:: SOT 63947 SOS 22167 HAS SOPS 22167 HAS SOUS 14463 HAS SOUPS 14463 WITH SCORE 14485.167
AT ITER 3525 NEW BEST:: SOT 63908 SOS 22128 HAS SOPS 22128 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14473.128
AT ITER 3552 NEW BEST:: SOT 63844 SOS 22068 HAS SOPS 22068 HAS SOUS 14395 HAS SOUPS 14395 WITH SCORE 14417.068
AT ITER 3559 NEW BEST:: SOT 63845 SOS 22031 HAS SOPS 22031 HAS SOUS 14378 HAS SOUPS 14378 WITH SCORE 14400.031
AT ITER 3561 NEW BEST:: SOT 63845 SOS 22027 HAS SOPS 22027 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14398.027
AT ITER 3577 NEW BEST:: SOT 63825 SOS 22000 HAS SOPS 22000 HAS SOUS 14349 HAS SOUPS 14349 WITH SCORE 14371.0
AT ITER 3591 NEW BEST:: SOT 63816 SOS 21991 HAS SOPS 21991 HAS SOUS 14331 HAS SOUPS 14331 WITH SCORE 14352.991
AT ITER 3631 NEW BEST:: SOT 63794 SOS 21925 HAS SOPS 21925 HAS SOUS 14287 HAS SOUPS 14287 WITH SCORE 14308.925
AT ITER 3663 NEW BEST:: SOT 63782 SOS 21913 HAS SOPS 21913 HAS SOUS 14263 HAS SOUPS 14263 WITH SCORE 14284.913
AT ITER 3704 NEW BEST:: SOT 63757 SOS 21888 HAS SOPS 21888 HAS SOUS 14238 HAS SOUPS 14238 WITH SCORE 14259.888
AT ITER 3749 NEW BEST:: SOT 63683 SOS 21814 HAS SOPS 21814 HAS SOUS 14164 HAS SOUPS 14164 WITH SCORE 14185.814
AT ITER 3756 NEW BEST:: SOT 63683 SOS 21811 HAS SOPS 21811 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14182.811
AT ITER 3764 NEW BEST:: SOT 63667 SOS 21779 HAS SOPS 21779 HAS SOUS 14129 HAS SOUPS 14129 WITH SCORE 14150.779
AT ITER 3776 NEW BEST:: SOT 63667 SOS 21778 HAS SOPS 21778 HAS SOUS 14129 HAS SOUPS 14129 WITH SCORE 14150.778
AT ITER 3856 NEW BEST:: SOT 63667 SOS 21778 HAS SOPS 21778 HAS SOUS 14126 HAS SOUPS 14126 WITH SCORE 14147.778
AT ITER 3861 NEW BEST:: SOT 63669 SOS 21763 HAS SOPS 21763 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14132.763
AT ITER 3883 NEW BEST:: SOT 63651 SOS 21745 HAS SOPS 21745 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14114.745
AT ITER 3888 NEW BEST:: SOT 63649 SOS 21772 HAS SOPS 21772 HAS SOUS 14091 HAS SOUPS 14091 WITH SCORE 14112.772
AT ITER 3890 NEW BEST:: SOT 63636 SOS 21765 HAS SOPS 21765 HAS SOUS 14088 HAS SOUPS 14088 WITH SCORE 14109.765
AT ITER 3912 NEW BEST:: SOT 63628 SOS 21737 HAS SOPS 21737 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14100.737
AT ITER 3915 NEW BEST:: SOT 63627 SOS 21682 HAS SOPS 21682 HAS SOUS 14077 HAS SOUPS 14077 WITH SCORE 14098.682
AT ITER 3934 NEW BEST:: SOT 63627 SOS 21674 HAS SOPS 21674 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14090.674
AT ITER 3936 NEW BEST:: SOT 63615 SOS 21665 HAS SOPS 21665 HAS SOUS 14057 HAS SOUPS 14057 WITH SCORE 14078.665
AT ITER 3971 NEW BEST:: SOT 63603 SOS 21635 HAS SOPS 21635 HAS SOUS 14025 HAS SOUPS 14025 WITH SCORE 14046.635
AT ITER 3974 NEW BEST:: SOT 63603 SOS 21635 HAS SOPS 21635 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14010.635
AT ITER 3990 NEW BEST:: SOT 63591 SOS 21623 HAS SOPS 21623 HAS SOUS 13965 HAS SOUPS 13965 WITH SCORE 13986.623
AT ITER 4007 NEW BEST:: SOT 63583 SOS 21607 HAS SOPS 21607 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13970.607
AT ITER 4027 NEW BEST:: SOT 63577 SOS 21631 HAS SOPS 21631 HAS SOUS 13937 HAS SOUPS 13937 WITH SCORE 13958.631
AT ITER 4034 NEW BEST:: SOT 63480 SOS 21581 HAS SOPS 21581 HAS SOUS 13887 HAS SOUPS 13887 WITH SCORE 13908.581
AT ITER 4066 NEW BEST:: SOT 63460 SOS 21561 HAS SOPS 21561 HAS SOUS 13867 HAS SOUPS 13867 WITH SCORE 13888.561
AT ITER 4093 NEW BEST:: SOT 63396 SOS 21433 HAS SOPS 21433 HAS SOUS 13790 HAS SOUPS 13790 WITH SCORE 13811.433
AT ITER 4134 NEW BEST:: SOT 63395 SOS 21411 HAS SOPS 21411 HAS SOUS 13788 HAS SOUPS 13788 WITH SCORE 13809.411
AT ITER 4144 NEW BEST:: SOT 63395 SOS 21396 HAS SOPS 21396 HAS SOUS 13788 HAS SOUPS 13788 WITH SCORE 13809.396
AT ITER 4161 NEW BEST:: SOT 63342 SOS 21533 HAS SOPS 21533 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13774.533
AT ITER 4165 NEW BEST:: SOT 63338 SOS 21525 HAS SOPS 21525 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13762.525
AT ITER 4181 NEW BEST:: SOT 63332 SOS 21551 HAS SOPS 21551 HAS SOUS 13733 HAS SOUPS 13733 WITH SCORE 13754.551
AT ITER 4203 NEW BEST:: SOT 63323 SOS 21542 HAS SOPS 21542 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13736.542
AT ITER 4206 NEW BEST:: SOT 63317 SOS 21524 HAS SOPS 21524 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13730.524
AT ITER 4232 NEW BEST:: SOT 63305 SOS 21591 HAS SOPS 21591 HAS SOUS 13697 HAS SOUPS 13697 WITH SCORE 13718.591
AT ITER 4234 NEW BEST:: SOT 63297 SOS 21579 HAS SOPS 21579 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13706.579
AT ITER 4258 NEW BEST:: SOT 63266 SOS 21541 HAS SOPS 21541 HAS SOUS 13638 HAS SOUPS 13638 WITH SCORE 13659.541
AT ITER 4328 NEW BEST:: SOT 63264 SOS 21552 HAS SOPS 21552 HAS SOUS 13632 HAS SOUPS 13632 WITH SCORE 13653.552
AT ITER 4345 NEW BEST:: SOT 63264 SOS 21537 HAS SOPS 21537 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13638.537
AT ITER 4361 NEW BEST:: SOT 63257 SOS 21530 HAS SOPS 21530 HAS SOUS 13603 HAS SOUPS 13603 WITH SCORE 13624.53
AT ITER 4380 NEW BEST:: SOT 63250 SOS 21533 HAS SOPS 21533 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13621.533
AT ITER 4425 NEW BEST:: SOT 63238 SOS 21524 HAS SOPS 21524 HAS SOUS 13588 HAS SOUPS 13588 WITH SCORE 13609.524
AT ITER 4467 NEW BEST:: SOT 63230 SOS 21508 HAS SOPS 21508 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13584.508
AT ITER 4480 NEW BEST:: SOT 63224 SOS 21502 HAS SOPS 21502 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13577.502
AT ITER 4528 NEW BEST:: SOT 63205 SOS 21466 HAS SOPS 21466 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13542.466
AT ITER 4534 NEW BEST:: SOT 63180 SOS 21424 HAS SOPS 21424 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13505.424
AT ITER 4574 NEW BEST:: SOT 63176 SOS 21421 HAS SOPS 21421 HAS SOUS 13481 HAS SOUPS 13481 WITH SCORE 13502.421
AT ITER 4580 NEW BEST:: SOT 63175 SOS 21420 HAS SOPS 21420 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13500.42
AT ITER 4635 NEW BEST:: SOT 63170 SOS 21410 HAS SOPS 21410 HAS SOUS 13469 HAS SOUPS 13469 WITH SCORE 13490.41
AT ITER 4638 NEW BEST:: SOT 63167 SOS 21407 HAS SOPS 21407 HAS SOUS 13463 HAS SOUPS 13463 WITH SCORE 13484.407
AT ITER 4654 NEW BEST:: SOT 63155 SOS 21395 HAS SOPS 21395 HAS SOUS 13451 HAS SOUPS 13451 WITH SCORE 13472.395
AT ITER 4656 NEW BEST:: SOT 63152 SOS 21372 HAS SOPS 21372 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13458.372
AT ITER 4666 NEW BEST:: SOT 63133 SOS 21363 HAS SOPS 21363 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13438.363
AT ITER 4691 NEW BEST:: SOT 63131 SOS 21355 HAS SOPS 21355 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13430.355
AT ITER 4702 NEW BEST:: SOT 63131 SOS 21336 HAS SOPS 21336 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13430.336
AT ITER 4724 NEW BEST:: SOT 63108 SOS 21313 HAS SOPS 21313 HAS SOUS 13363 HAS SOUPS 13363 WITH SCORE 13384.313
AT ITER 4735 NEW BEST:: SOT 63105 SOS 21307 HAS SOPS 21307 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13378.307
AT ITER 4767 NEW BEST:: SOT 63102 SOS 21297 HAS SOPS 21297 HAS SOUS 13347 HAS SOUPS 13347 WITH SCORE 13368.297
AT ITER 4784 NEW BEST:: SOT 63087 SOS 21265 HAS SOPS 21265 HAS SOUS 13317 HAS SOUPS 13317 WITH SCORE 13338.265
AT ITER 4789 NEW BEST:: SOT 63059 SOS 21237 HAS SOPS 21237 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13296.237
AT ITER 4809 NEW BEST:: SOT 63059 SOS 21236 HAS SOPS 21236 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13296.236
AT ITER 4818 NEW BEST:: SOT 63057 SOS 21230 HAS SOPS 21230 HAS SOUS 13271 HAS SOUPS 13271 WITH SCORE 13292.23
AT ITER 4831 NEW BEST:: SOT 63044 SOS 21217 HAS SOPS 21217 HAS SOUS 13258 HAS SOUPS 13258 WITH SCORE 13279.217
AT ITER 4851 NEW BEST:: SOT 63044 SOS 21212 HAS SOPS 21212 HAS SOUS 13253 HAS SOUPS 13253 WITH SCORE 13274.212
AT ITER 4896 NEW BEST:: SOT 63043 SOS 21210 HAS SOPS 21210 HAS SOUS 13251 HAS SOUPS 13251 WITH SCORE 13272.21
AT ITER 4931 NEW BEST:: SOT 63038 SOS 21203 HAS SOPS 21203 HAS SOUS 13250 HAS SOUPS 13250 WITH SCORE 13271.203
AT ITER 4942 NEW BEST:: SOT 63016 SOS 21159 HAS SOPS 21159 HAS SOUS 13209 HAS SOUPS 13209 WITH SCORE 13230.159
AT ITER 4943 NEW BEST:: SOT 63007 SOS 21141 HAS SOPS 21141 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13212.141
AT ITER 4947 NEW BEST:: SOT 63017 SOS 21161 HAS SOPS 21161 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13199.161
AT ITER 4964 NEW BEST:: SOT 63014 SOS 21155 HAS SOPS 21155 HAS SOUS 13167 HAS SOUPS 13167 WITH SCORE 13188.155
AT ITER 4966 NEW BEST:: SOT 63006 SOS 21149 HAS SOPS 21149 HAS SOUS 13161 HAS SOUPS 13161 WITH SCORE 13182.149
AT ITER 4980 NEW BEST:: SOT 63007 SOS 21151 HAS SOPS 21151 HAS SOUS 13159 HAS SOUPS 13159 WITH SCORE 13180.151
AT ITER 4981 NEW BEST:: SOT 63007 SOS 21146 HAS SOPS 21146 HAS SOUS 13154 HAS SOUPS 13154 WITH SCORE 13175.146
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-00 (EF( ( ( ( ( ((potential((tk(P166)>=1)))) | ((potential((tk(P171)>=1) & (tk(P316)>=1)))) ) | (! ((potential((tk(P306)>=1) & (tk(P316)>=1))))) ) & (! ( ((potential((tk(P301)>=1)))) & ((potential((tk(P235)>=1)))) )) ) & ((potential((tk(P44)>=1)))) )))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-01 (EU( ((potential((tk(P179)>=1)))) , (! (AF( ((potential((tk(P142)>=1))))))) ))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-02 (! (AF( (! (AF( ((potential((tk(P58)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-03 (EG( (! (AG( ((potential((tk(P186)>=1)))))))))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-04 ( ( ((potential((tk(P214)>=1) & (tk(P316)>=1)))) & ((potential((tk(P130)>=1) & (tk(P323)>=1)))) ) | ( (EG( (! ( ((potential((tk(P152)>=1)))) & ((potential((tk(P186)>=1)))) )))) & (AF( (AG( ((potential((tk(P193)>=1)))))))) ) )
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-05 ( (! (EF( ( ((potential((tk(P243)>=1) & (tk(P316)>=1)))) & ( ((potential((tk(P139)>=1)))) & ((potential((tk(P290)>=1) & (tk(P323)>=1)))) ) )))) & (AF( ( (! (! ((potential((tk(P103)>=1) & (tk(P323)>=1)))))) & (AF( ((potential((tk(P249)>=1) & (tk(P323)>=1)))))) ))) )
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-06 ( (AF( ( (AF( ((potential((tk(P60)>=1) & (tk(P323)>=1)))))) & (AF( ((potential((tk(P128)>=1) & (tk(P323)>=1)))))) ))) & (! ((potential((tk(P156)>=1))))) )
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-07 (AF( ( ((potential((tk(P202)>=1)))) & (EU( ((potential((tk(P277)>=1)))) , ((potential((tk(P298)>=1)))) )) )))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-08 (EG( (EF( (! ( ((potential((tk(P185)>=1)))) | ((potential((tk(P92)>=1) & (tk(P316)>=1)))) ))))))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-09 (AX( (EF( ( ( ((potential((tk(P27)>=1) & (tk(P316)>=1)))) | ((potential((tk(P267)>=1)))) ) | ((potential((tk(P219)>=1)))) )))))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-10 ( (EF( ((potential((tk(P202)>=1)))))) & ( (EF( (AF( ((potential((tk(P39)>=1)))))))) & (! ( (EG( ((potential((tk(P258)>=1)))))) | (AX( ((potential((tk(P301)>=1)))))) )) ) )
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-11 (! (EG( ( ( (! ((potential((tk(P235)>=1))))) | ( ((potential((tk(P115)>=1)))) & ((potential((tk(P8)>=1)))) ) ) & (! ((potential((tk(P116)>=1))))) ))))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-12 (! ( (AX( (! ( ((potential((tk(P220)>=1)))) & ((potential((tk(P147)>=1)))) )))) & ( ( ( (! ((potential((tk(P238)>=1) & (tk(P323)>=1))))) & ( ((potential((tk(P318)>=1)))) | ((potential((tk(P281)>=1) & (tk(P316)>=1)))) ) ) & ( ( ((potential((tk(P48)>=1)))) & ((potential((tk(P306)>=1) & (tk(P316)>=1)))) ) | ((potential((tk(P302)>=1) & (tk(P316)>=1)))) ) ) | (! (AF( ((potential((tk(P86)>=1) & (tk(P316)>=1))))))) ) ))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-13 ( ((potential((tk(P242)>=1)))) | ( (EG( (EF( ((potential((tk(P153)>=1) & (tk(P316)>=1)))))))) | (AG( ((potential((tk(P251)>=1)))))) ) )
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-14 (! ( ( (! ((potential((tk(P39)>=1))))) | (EU( ((potential((tk(P161)>=1)))) , ((potential((tk(P12)>=1)))) )) ) & ( (EF( ( ((potential((tk(P144)>=1) & (tk(P316)>=1)))) & ((potential((tk(P132)>=1)))) ))) & (! ( ( ((potential((tk(P148)>=1)))) | ((potential((tk(P195)>=1) & (tk(P323)>=1)))) ) & ( ((potential((tk(P54)>=1) & (tk(P316)>=1)))) & ((potential((tk(P33)>=1) & (tk(P323)>=1)))) ) )) ) ))
PROPERTY: DiscoveryGPU-PT-11b-CTLFireability-15 (AF( (AU( ( ((potential((tk(P108)>=1) & (tk(P316)>=1)))) | ((potential((tk(P109)>=1)))) ) , ( ((potential((tk(P19)>=1)))) | ((potential((tk(P298)>=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-11b"
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-11b, 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-158922807800676"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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