fond

jQuery Multi Level CSS Menu Css3Menu.com

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

About the Execution of Smart+red for DiscoveryGPU-PT-07b

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9441.676 3600000.00 3634282.00 11355.90 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r139-smll-167819422600312.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DiscoveryGPU-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422600312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 8.0K Feb 25 13:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 13:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 13:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 13:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 13:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 13:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 54K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678360872655

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DiscoveryGPU-PT-07b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 11:21:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 11:21:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 11:21:16] [INFO ] Load time of PNML (sax parser for PT used): 79 ms
[2023-03-09 11:21:16] [INFO ] Transformed 212 places.
[2023-03-09 11:21:16] [INFO ] Transformed 224 transitions.
[2023-03-09 11:21:16] [INFO ] Found NUPN structural information;
[2023-03-09 11:21:16] [INFO ] Parsed PT model containing 212 places and 224 transitions and 582 arcs in 186 ms.
[2023-03-09 11:21:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 212 places, 224 transitions and 582 arcs took 7 ms.
Total runtime 240 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 07b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 212 places, 224 transitions, 582 arcs.
AT ITER 0 NEW BEST:: SOT 32957 SOS 15503 HAS SOPS 15503 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.503
AT ITER 2 NEW BEST:: SOT 32888 SOS 15455 HAS SOPS 15455 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13796.455
AT ITER 3 NEW BEST:: SOT 32859 SOS 15323 HAS SOPS 15323 HAS SOUS 13649 HAS SOUPS 13649 WITH SCORE 13664.323
AT ITER 5 NEW BEST:: SOT 32859 SOS 15286 HAS SOPS 15286 HAS SOUS 13611 HAS SOUPS 13611 WITH SCORE 13626.286
AT ITER 8 NEW BEST:: SOT 32819 SOS 15234 HAS SOPS 15234 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13588.234
AT ITER 13 NEW BEST:: SOT 32819 SOS 15216 HAS SOPS 15216 HAS SOUS 13555 HAS SOUPS 13555 WITH SCORE 13570.216
AT ITER 16 NEW BEST:: SOT 32818 SOS 15145 HAS SOPS 15145 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13499.145
AT ITER 17 NEW BEST:: SOT 32761 SOS 15038 HAS SOPS 15038 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13442.038
AT ITER 18 NEW BEST:: SOT 32716 SOS 14954 HAS SOPS 14954 HAS SOUS 13410 HAS SOUPS 13410 WITH SCORE 13424.954
AT ITER 20 NEW BEST:: SOT 32715 SOS 14952 HAS SOPS 14952 HAS SOUS 13408 HAS SOUPS 13408 WITH SCORE 13422.952
AT ITER 29 NEW BEST:: SOT 32668 SOS 14928 HAS SOPS 14928 HAS SOUS 13384 HAS SOUPS 13384 WITH SCORE 13398.928
AT ITER 33 NEW BEST:: SOT 32661 SOS 14920 HAS SOPS 14920 HAS SOUS 13376 HAS SOUPS 13376 WITH SCORE 13390.92
AT ITER 34 NEW BEST:: SOT 32661 SOS 14909 HAS SOPS 14909 HAS SOUS 13375 HAS SOUPS 13375 WITH SCORE 13389.909
AT ITER 39 NEW BEST:: SOT 32600 SOS 14860 HAS SOPS 14860 HAS SOUS 13327 HAS SOUPS 13327 WITH SCORE 13341.86
AT ITER 40 NEW BEST:: SOT 32558 SOS 14897 HAS SOPS 14897 HAS SOUS 13312 HAS SOUPS 13312 WITH SCORE 13326.897
AT ITER 42 NEW BEST:: SOT 32563 SOS 14864 HAS SOPS 14864 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13289.864
AT ITER 43 NEW BEST:: SOT 32509 SOS 14832 HAS SOPS 14832 HAS SOUS 13235 HAS SOUPS 13235 WITH SCORE 13249.832
AT ITER 45 NEW BEST:: SOT 32507 SOS 14813 HAS SOPS 14813 HAS SOUS 13216 HAS SOUPS 13216 WITH SCORE 13230.813
AT ITER 46 NEW BEST:: SOT 32425 SOS 14695 HAS SOPS 14695 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13148.695
AT ITER 48 NEW BEST:: SOT 32408 SOS 14642 HAS SOPS 14642 HAS SOUS 13081 HAS SOUPS 13081 WITH SCORE 13095.642
AT ITER 57 NEW BEST:: SOT 32403 SOS 14680 HAS SOPS 14680 HAS SOUS 13070 HAS SOUPS 13070 WITH SCORE 13084.68
AT ITER 60 NEW BEST:: SOT 32402 SOS 14678 HAS SOPS 14678 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13082.678
AT ITER 78 NEW BEST:: SOT 32463 SOS 14710 HAS SOPS 14710 HAS SOUS 13064 HAS SOUPS 13064 WITH SCORE 13078.71
AT ITER 86 NEW BEST:: SOT 32421 SOS 14626 HAS SOPS 14626 HAS SOUS 12980 HAS SOUPS 12980 WITH SCORE 12994.626
AT ITER 87 NEW BEST:: SOT 32389 SOS 14633 HAS SOPS 14633 HAS SOUS 12971 HAS SOUPS 12971 WITH SCORE 12985.633
AT ITER 89 NEW BEST:: SOT 32353 SOS 14618 HAS SOPS 14618 HAS SOUS 12956 HAS SOUPS 12956 WITH SCORE 12970.618
AT ITER 102 NEW BEST:: SOT 32346 SOS 14604 HAS SOPS 14604 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12956.604
AT ITER 105 NEW BEST:: SOT 32345 SOS 14602 HAS SOPS 14602 HAS SOUS 12940 HAS SOUPS 12940 WITH SCORE 12954.602
AT ITER 112 NEW BEST:: SOT 31815 SOS 14091 HAS SOPS 14091 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12443.091
AT ITER 117 NEW BEST:: SOT 31800 SOS 14057 HAS SOPS 14057 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12409.057
AT ITER 118 NEW BEST:: SOT 31782 SOS 14003 HAS SOPS 14003 HAS SOUS 12341 HAS SOUPS 12341 WITH SCORE 12355.003
AT ITER 121 NEW BEST:: SOT 31765 SOS 13986 HAS SOPS 13986 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12337.986
AT ITER 127 NEW BEST:: SOT 31718 SOS 13892 HAS SOPS 13892 HAS SOUS 12282 HAS SOUPS 12282 WITH SCORE 12295.892
AT ITER 131 NEW BEST:: SOT 31712 SOS 13874 HAS SOPS 13874 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12277.874
AT ITER 133 NEW BEST:: SOT 31650 SOS 13836 HAS SOPS 13836 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12261.836
AT ITER 135 NEW BEST:: SOT 31628 SOS 13866 HAS SOPS 13866 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12230.866
AT ITER 139 NEW BEST:: SOT 31584 SOS 13822 HAS SOPS 13822 HAS SOUS 12173 HAS SOUPS 12173 WITH SCORE 12186.822
AT ITER 151 NEW BEST:: SOT 31567 SOS 13776 HAS SOPS 13776 HAS SOUS 12146 HAS SOUPS 12146 WITH SCORE 12159.776
AT ITER 158 NEW BEST:: SOT 31567 SOS 13757 HAS SOPS 13757 HAS SOUS 12144 HAS SOUPS 12144 WITH SCORE 12157.757
AT ITER 164 NEW BEST:: SOT 31522 SOS 13698 HAS SOPS 13698 HAS SOUS 12085 HAS SOUPS 12085 WITH SCORE 12098.698
AT ITER 169 NEW BEST:: SOT 31492 SOS 13608 HAS SOPS 13608 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12038.608
AT ITER 182 NEW BEST:: SOT 31525 SOS 12922 HAS SOPS 12922 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12008.922
AT ITER 185 NEW BEST:: SOT 31542 SOS 12886 HAS SOPS 12886 HAS SOUS 11960 HAS SOUPS 11960 WITH SCORE 11972.886
AT ITER 192 NEW BEST:: SOT 31542 SOS 12886 HAS SOPS 12886 HAS SOUS 11914 HAS SOUPS 11914 WITH SCORE 11926.886
AT ITER 193 NEW BEST:: SOT 31542 SOS 12886 HAS SOPS 12886 HAS SOUS 11913 HAS SOUPS 11913 WITH SCORE 11925.886
AT ITER 199 NEW BEST:: SOT 31529 SOS 12860 HAS SOPS 12860 HAS SOUS 11900 HAS SOUPS 11900 WITH SCORE 11912.86
AT ITER 201 NEW BEST:: SOT 31529 SOS 12870 HAS SOPS 12870 HAS SOUS 11859 HAS SOUPS 11859 WITH SCORE 11871.87
AT ITER 211 NEW BEST:: SOT 31508 SOS 12747 HAS SOPS 12747 HAS SOUS 11787 HAS SOUPS 11787 WITH SCORE 11799.747
AT ITER 214 NEW BEST:: SOT 31485 SOS 12625 HAS SOPS 12625 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11759.625
AT ITER 216 NEW BEST:: SOT 31459 SOS 12606 HAS SOPS 12606 HAS SOUS 11728 HAS SOUPS 11728 WITH SCORE 11740.606
AT ITER 218 NEW BEST:: SOT 31158 SOS 13327 HAS SOPS 13327 HAS SOUS 11655 HAS SOUPS 11655 WITH SCORE 11668.327
AT ITER 223 NEW BEST:: SOT 31149 SOS 13309 HAS SOPS 13309 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11659.309
AT ITER 226 NEW BEST:: SOT 31141 SOS 13309 HAS SOPS 13309 HAS SOUS 11638 HAS SOUPS 11638 WITH SCORE 11651.309
AT ITER 230 NEW BEST:: SOT 31091 SOS 13582 HAS SOPS 13582 HAS SOUS 11625 HAS SOUPS 11625 WITH SCORE 11638.582
AT ITER 246 NEW BEST:: SOT 31069 SOS 13538 HAS SOPS 13538 HAS SOUS 11595 HAS SOUPS 11595 WITH SCORE 11608.538
AT ITER 257 NEW BEST:: SOT 30503 SOS 13141 HAS SOPS 13141 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11079.141
AT ITER 260 NEW BEST:: SOT 30502 SOS 13127 HAS SOPS 13127 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11077.127
AT ITER 269 NEW BEST:: SOT 30487 SOS 13043 HAS SOPS 13043 HAS SOUS 10980 HAS SOUPS 10980 WITH SCORE 10993.043
AT ITER 270 NEW BEST:: SOT 30484 SOS 13017 HAS SOPS 13017 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 10987.017
AT ITER 284 NEW BEST:: SOT 30412 SOS 12945 HAS SOPS 12945 HAS SOUS 10902 HAS SOUPS 10902 WITH SCORE 10914.945
AT ITER 288 NEW BEST:: SOT 30407 SOS 12935 HAS SOPS 12935 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10909.935
AT ITER 295 NEW BEST:: SOT 30407 SOS 12917 HAS SOPS 12917 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10909.917
AT ITER 305 NEW BEST:: SOT 30417 SOS 12964 HAS SOPS 12964 HAS SOUS 10844 HAS SOUPS 10844 WITH SCORE 10856.964
AT ITER 313 NEW BEST:: SOT 30409 SOS 13047 HAS SOPS 13047 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10849.047
AT ITER 315 NEW BEST:: SOT 30397 SOS 13023 HAS SOPS 13023 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10841.023
AT ITER 317 NEW BEST:: SOT 30340 SOS 12972 HAS SOPS 12972 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10796.972
AT ITER 321 NEW BEST:: SOT 30308 SOS 12908 HAS SOPS 12908 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10770.908
AT ITER 323 NEW BEST:: SOT 30247 SOS 12866 HAS SOPS 12866 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10726.866
AT ITER 326 NEW BEST:: SOT 30169 SOS 12710 HAS SOPS 12710 HAS SOUS 10542 HAS SOUPS 10542 WITH SCORE 10554.71
AT ITER 328 NEW BEST:: SOT 30146 SOS 12673 HAS SOPS 12673 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10531.673
AT ITER 347 NEW BEST:: SOT 30137 SOS 12598 HAS SOPS 12598 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10511.598
AT ITER 355 NEW BEST:: SOT 30116 SOS 12577 HAS SOPS 12577 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10490.577
AT ITER 357 NEW BEST:: SOT 30121 SOS 12552 HAS SOPS 12552 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10460.552
AT ITER 362 NEW BEST:: SOT 30090 SOS 12557 HAS SOPS 12557 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10455.557
AT ITER 364 NEW BEST:: SOT 30032 SOS 12347 HAS SOPS 12347 HAS SOUS 10299 HAS SOUPS 10299 WITH SCORE 10311.347
AT ITER 374 NEW BEST:: SOT 29996 SOS 12359 HAS SOPS 12359 HAS SOUS 10227 HAS SOUPS 10227 WITH SCORE 10239.359
AT ITER 386 NEW BEST:: SOT 29532 SOS 12240 HAS SOPS 12240 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9823.24
AT ITER 390 NEW BEST:: SOT 29521 SOS 12218 HAS SOPS 12218 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9801.218
AT ITER 394 NEW BEST:: SOT 29504 SOS 12201 HAS SOPS 12201 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9784.201
AT ITER 407 NEW BEST:: SOT 29448 SOS 12089 HAS SOPS 12089 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9713.089
AT ITER 408 NEW BEST:: SOT 29448 SOS 12071 HAS SOPS 12071 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9678.071
AT ITER 416 NEW BEST:: SOT 29447 SOS 12061 HAS SOPS 12061 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9676.061
AT ITER 423 NEW BEST:: SOT 29447 SOS 11998 HAS SOPS 11998 HAS SOUS 9642 HAS SOUPS 9642 WITH SCORE 9653.998
AT ITER 432 NEW BEST:: SOT 29427 SOS 11958 HAS SOPS 11958 HAS SOUS 9639 HAS SOUPS 9639 WITH SCORE 9650.958
AT ITER 435 NEW BEST:: SOT 29416 SOS 11960 HAS SOPS 11960 HAS SOUS 9617 HAS SOUPS 9617 WITH SCORE 9628.96
AT ITER 438 NEW BEST:: SOT 29376 SOS 11936 HAS SOPS 11936 HAS SOUS 9584 HAS SOUPS 9584 WITH SCORE 9595.936
AT ITER 442 NEW BEST:: SOT 29366 SOS 11934 HAS SOPS 11934 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9593.934
AT ITER 448 NEW BEST:: SOT 29160 SOS 11953 HAS SOPS 11953 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9394.953
AT ITER 456 NEW BEST:: SOT 29155 SOS 11943 HAS SOPS 11943 HAS SOUS 9373 HAS SOUPS 9373 WITH SCORE 9384.943
AT ITER 464 NEW BEST:: SOT 29155 SOS 11943 HAS SOPS 11943 HAS SOUS 9355 HAS SOUPS 9355 WITH SCORE 9366.943
AT ITER 467 NEW BEST:: SOT 29151 SOS 11942 HAS SOPS 11942 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9362.942
AT ITER 487 NEW BEST:: SOT 29136 SOS 11927 HAS SOPS 11927 HAS SOUS 9336 HAS SOUPS 9336 WITH SCORE 9347.927
AT ITER 492 NEW BEST:: SOT 29135 SOS 11925 HAS SOPS 11925 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9346.925
AT ITER 499 NEW BEST:: SOT 29074 SOS 11920 HAS SOPS 11920 HAS SOUS 9330 HAS SOUPS 9330 WITH SCORE 9341.92
AT ITER 500 NEW BEST:: SOT 29058 SOS 11904 HAS SOPS 11904 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9325.904
AT ITER 503 NEW BEST:: SOT 29044 SOS 11820 HAS SOPS 11820 HAS SOUS 9313 HAS SOUPS 9313 WITH SCORE 9324.82
AT ITER 514 NEW BEST:: SOT 29042 SOS 11812 HAS SOPS 11812 HAS SOUS 9309 HAS SOUPS 9309 WITH SCORE 9320.812
AT ITER 523 NEW BEST:: SOT 29011 SOS 11737 HAS SOPS 11737 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9233.737
AT ITER 525 NEW BEST:: SOT 29007 SOS 11731 HAS SOPS 11731 HAS SOUS 9216 HAS SOUPS 9216 WITH SCORE 9227.731
AT ITER 531 NEW BEST:: SOT 29026 SOS 11686 HAS SOPS 11686 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9191.686
AT ITER 535 NEW BEST:: SOT 29015 SOS 11664 HAS SOPS 11664 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9169.664
AT ITER 543 NEW BEST:: SOT 28996 SOS 11566 HAS SOPS 11566 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9128.566
AT ITER 548 NEW BEST:: SOT 28974 SOS 11557 HAS SOPS 11557 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9119.557
AT ITER 550 NEW BEST:: SOT 28971 SOS 11554 HAS SOPS 11554 HAS SOUS 9105 HAS SOUPS 9105 WITH SCORE 9116.554
AT ITER 558 NEW BEST:: SOT 28970 SOS 11545 HAS SOPS 11545 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9114.545
AT ITER 563 NEW BEST:: SOT 28982 SOS 11548 HAS SOPS 11548 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9094.548
AT ITER 565 NEW BEST:: SOT 28977 SOS 11543 HAS SOPS 11543 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9089.543
AT ITER 567 NEW BEST:: SOT 28936 SOS 11482 HAS SOPS 11482 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9062.482
AT ITER 570 NEW BEST:: SOT 28960 SOS 11455 HAS SOPS 11455 HAS SOUS 9024 HAS SOUPS 9024 WITH SCORE 9035.455
AT ITER 574 NEW BEST:: SOT 28891 SOS 11362 HAS SOPS 11362 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8942.362
AT ITER 589 NEW BEST:: SOT 28891 SOS 11366 HAS SOPS 11366 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8938.366
AT ITER 599 NEW BEST:: SOT 28891 SOS 11358 HAS SOPS 11358 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8938.358
AT ITER 620 NEW BEST:: SOT 28892 SOS 11355 HAS SOPS 11355 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8935.355
AT ITER 626 NEW BEST:: SOT 28889 SOS 11353 HAS SOPS 11353 HAS SOUS 8918 HAS SOUPS 8918 WITH SCORE 8929.353
AT ITER 633 NEW BEST:: SOT 28883 SOS 11341 HAS SOPS 11341 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8917.341
AT ITER 638 NEW BEST:: SOT 28858 SOS 11291 HAS SOPS 11291 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8863.291
AT ITER 645 NEW BEST:: SOT 28856 SOS 11289 HAS SOPS 11289 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8859.289
AT ITER 664 NEW BEST:: SOT 28786 SOS 11219 HAS SOPS 11219 HAS SOUS 8777 HAS SOUPS 8777 WITH SCORE 8788.219
AT ITER 668 NEW BEST:: SOT 28777 SOS 11211 HAS SOPS 11211 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8778.211
AT ITER 676 NEW BEST:: SOT 28724 SOS 11115 HAS SOPS 11115 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8712.115
AT ITER 680 NEW BEST:: SOT 28726 SOS 11112 HAS SOPS 11112 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8709.112
AT ITER 686 NEW BEST:: SOT 28707 SOS 11096 HAS SOPS 11096 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8684.096
AT ITER 708 NEW BEST:: SOT 28619 SOS 10915 HAS SOPS 10915 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8566.915
AT ITER 712 NEW BEST:: SOT 28617 SOS 10913 HAS SOPS 10913 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8562.913
AT ITER 715 NEW BEST:: SOT 28599 SOS 10892 HAS SOPS 10892 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8543.892
AT ITER 727 NEW BEST:: SOT 28586 SOS 10870 HAS SOPS 10870 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8521.87
AT ITER 741 NEW BEST:: SOT 28568 SOS 10834 HAS SOPS 10834 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8485.834
AT ITER 756 NEW BEST:: SOT 28568 SOS 10833 HAS SOPS 10833 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8485.833
AT ITER 758 NEW BEST:: SOT 28568 SOS 10823 HAS SOPS 10823 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8485.823
AT ITER 805 NEW BEST:: SOT 28567 SOS 10812 HAS SOPS 10812 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8481.812
AT ITER 810 NEW BEST:: SOT 28557 SOS 10797 HAS SOPS 10797 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8466.797
AT ITER 831 NEW BEST:: SOT 28557 SOS 10775 HAS SOPS 10775 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8466.775
AT ITER 848 NEW BEST:: SOT 28557 SOS 10784 HAS SOPS 10784 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8464.784
AT ITER 851 NEW BEST:: SOT 28566 SOS 10793 HAS SOPS 10793 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8462.793
AT ITER 860 NEW BEST:: SOT 28564 SOS 10815 HAS SOPS 10815 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8460.815
AT ITER 869 NEW BEST:: SOT 28558 SOS 10803 HAS SOPS 10803 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8436.803
AT ITER 873 NEW BEST:: SOT 28554 SOS 10799 HAS SOPS 10799 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8432.799
AT ITER 880 NEW BEST:: SOT 28571 SOS 10774 HAS SOPS 10774 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8411.774
AT ITER 897 NEW BEST:: SOT 28554 SOS 10757 HAS SOPS 10757 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8387.757
AT ITER 902 NEW BEST:: SOT 28554 SOS 10751 HAS SOPS 10751 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8387.751
AT ITER 927 NEW BEST:: SOT 28535 SOS 10713 HAS SOPS 10713 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8335.713
AT ITER 932 NEW BEST:: SOT 28535 SOS 10713 HAS SOPS 10713 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8330.713
AT ITER 943 NEW BEST:: SOT 28577 SOS 10443 HAS SOPS 10443 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8298.443
AT ITER 959 NEW BEST:: SOT 28577 SOS 10437 HAS SOPS 10437 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8298.437
AT ITER 965 NEW BEST:: SOT 28576 SOS 10435 HAS SOPS 10435 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8296.435
AT ITER 966 NEW BEST:: SOT 28559 SOS 10418 HAS SOPS 10418 HAS SOUS 8269 HAS SOUPS 8269 WITH SCORE 8279.418
AT ITER 967 NEW BEST:: SOT 28562 SOS 10410 HAS SOPS 10410 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8271.41
AT ITER 983 NEW BEST:: SOT 28562 SOS 10406 HAS SOPS 10406 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8267.406
AT ITER 986 NEW BEST:: SOT 28488 SOS 10308 HAS SOPS 10308 HAS SOUS 8159 HAS SOUPS 8159 WITH SCORE 8169.308
AT ITER 996 NEW BEST:: SOT 28486 SOS 10304 HAS SOPS 10304 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8165.304
AT ITER 1000 NEW BEST:: SOT 28486 SOS 10299 HAS SOPS 10299 HAS SOUS 8150 HAS SOUPS 8150 WITH SCORE 8160.299
AT ITER 1004 NEW BEST:: SOT 28484 SOS 10288 HAS SOPS 10288 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8156.288
AT ITER 1014 NEW BEST:: SOT 28478 SOS 10269 HAS SOPS 10269 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8137.269
AT ITER 1022 NEW BEST:: SOT 28478 SOS 10257 HAS SOPS 10257 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8125.257
AT ITER 1030 NEW BEST:: SOT 28477 SOS 10255 HAS SOPS 10255 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8099.255
AT ITER 1035 NEW BEST:: SOT 28468 SOS 10237 HAS SOPS 10237 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8086.237
AT ITER 1084 NEW BEST:: SOT 28458 SOS 10224 HAS SOPS 10224 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8072.224
AT ITER 1088 NEW BEST:: SOT 28433 SOS 10212 HAS SOPS 10212 HAS SOUS 8031 HAS SOUPS 8031 WITH SCORE 8041.212
AT ITER 1093 NEW BEST:: SOT 28427 SOS 10182 HAS SOPS 10182 HAS SOUS 7995 HAS SOUPS 7995 WITH SCORE 8005.182
AT ITER 1105 NEW BEST:: SOT 28419 SOS 10166 HAS SOPS 10166 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7989.166
AT ITER 1116 NEW BEST:: SOT 28416 SOS 10124 HAS SOPS 10124 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7959.124
AT ITER 1133 NEW BEST:: SOT 28416 SOS 10124 HAS SOPS 10124 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7958.124
AT ITER 1134 NEW BEST:: SOT 28416 SOS 10126 HAS SOPS 10126 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7956.126
AT ITER 1140 NEW BEST:: SOT 28416 SOS 10123 HAS SOPS 10123 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7953.123
AT ITER 1141 NEW BEST:: SOT 28414 SOS 10121 HAS SOPS 10121 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7951.121
AT ITER 1149 NEW BEST:: SOT 28411 SOS 10118 HAS SOPS 10118 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7948.118
AT ITER 1151 NEW BEST:: SOT 28375 SOS 10093 HAS SOPS 10093 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7948.093
AT ITER 1156 NEW BEST:: SOT 28375 SOS 10079 HAS SOPS 10079 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7934.079
AT ITER 1195 NEW BEST:: SOT 28362 SOS 10066 HAS SOPS 10066 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7922.066
AT ITER 1202 NEW BEST:: SOT 28361 SOS 10064 HAS SOPS 10064 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7920.064
AT ITER 1212 NEW BEST:: SOT 28326 SOS 10042 HAS SOPS 10042 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7882.042
AT ITER 1219 NEW BEST:: SOT 28314 SOS 10029 HAS SOPS 10029 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7877.029
AT ITER 1222 NEW BEST:: SOT 28323 SOS 10018 HAS SOPS 10018 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7861.018
AT ITER 1232 NEW BEST:: SOT 28108 SOS 9739 HAS SOPS 9739 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7581.739
AT ITER 1233 NEW BEST:: SOT 28107 SOS 9737 HAS SOPS 9737 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7579.737
AT ITER 1244 NEW BEST:: SOT 28110 SOS 9789 HAS SOPS 9789 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7577.789
AT ITER 1245 NEW BEST:: SOT 28101 SOS 9789 HAS SOPS 9789 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7568.789
AT ITER 1261 NEW BEST:: SOT 28097 SOS 9785 HAS SOPS 9785 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7564.785
AT ITER 1275 NEW BEST:: SOT 28097 SOS 9785 HAS SOPS 9785 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7563.785
AT ITER 1279 NEW BEST:: SOT 28087 SOS 9765 HAS SOPS 9765 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7543.765
AT ITER 1287 NEW BEST:: SOT 28103 SOS 9810 HAS SOPS 9810 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7542.81
AT ITER 1291 NEW BEST:: SOT 28139 SOS 9782 HAS SOPS 9782 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7511.782
AT ITER 1301 NEW BEST:: SOT 28137 SOS 9776 HAS SOPS 9776 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7505.776
AT ITER 1305 NEW BEST:: SOT 28132 SOS 9737 HAS SOPS 9737 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7483.737
AT ITER 1313 NEW BEST:: SOT 28074 SOS 9708 HAS SOPS 9708 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7430.708
AT ITER 1315 NEW BEST:: SOT 28073 SOS 9707 HAS SOPS 9707 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7429.707
AT ITER 1323 NEW BEST:: SOT 28074 SOS 9709 HAS SOPS 9709 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7422.709
AT ITER 1343 NEW BEST:: SOT 28065 SOS 9665 HAS SOPS 9665 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7377.665
AT ITER 1352 NEW BEST:: SOT 28061 SOS 9661 HAS SOPS 9661 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7373.661
AT ITER 1363 NEW BEST:: SOT 28044 SOS 9631 HAS SOPS 9631 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7337.631
AT ITER 1364 NEW BEST:: SOT 28053 SOS 9597 HAS SOPS 9597 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7303.597
AT ITER 1377 NEW BEST:: SOT 28053 SOS 9589 HAS SOPS 9589 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7303.589
AT ITER 1394 NEW BEST:: SOT 28048 SOS 9579 HAS SOPS 9579 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7293.579
AT ITER 1408 NEW BEST:: SOT 28046 SOS 9575 HAS SOPS 9575 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7291.575
AT ITER 1422 NEW BEST:: SOT 28019 SOS 9494 HAS SOPS 9494 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7264.494
AT ITER 1441 NEW BEST:: SOT 27998 SOS 9472 HAS SOPS 9472 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7257.472
AT ITER 1448 NEW BEST:: SOT 27973 SOS 9478 HAS SOPS 9478 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7201.478
AT ITER 1461 NEW BEST:: SOT 27995 SOS 8808 HAS SOPS 8808 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7187.808
AT ITER 1472 NEW BEST:: SOT 27969 SOS 8754 HAS SOPS 8754 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7130.754
AT ITER 1489 NEW BEST:: SOT 27968 SOS 8753 HAS SOPS 8753 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.753
AT ITER 1490 NEW BEST:: SOT 27882 SOS 8838 HAS SOPS 8838 HAS SOUS 7093 HAS SOUPS 7093 WITH SCORE 7101.838
AT ITER 1498 NEW BEST:: SOT 27861 SOS 8816 HAS SOPS 8816 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7059.816
AT ITER 1503 NEW BEST:: SOT 27861 SOS 8813 HAS SOPS 8813 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7056.813
AT ITER 1517 NEW BEST:: SOT 27855 SOS 8801 HAS SOPS 8801 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7044.801
AT ITER 1529 NEW BEST:: SOT 27844 SOS 8790 HAS SOPS 8790 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7033.79
AT ITER 1530 NEW BEST:: SOT 27805 SOS 8759 HAS SOPS 8759 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7033.759
AT ITER 1535 NEW BEST:: SOT 27746 SOS 8699 HAS SOPS 8699 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6970.699
AT ITER 1536 NEW BEST:: SOT 27742 SOS 8608 HAS SOPS 8608 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6955.608
AT ITER 1542 NEW BEST:: SOT 27732 SOS 8588 HAS SOPS 8588 HAS SOUS 6931 HAS SOUPS 6931 WITH SCORE 6939.588
AT ITER 1558 NEW BEST:: SOT 27728 SOS 8580 HAS SOPS 8580 HAS SOUS 6923 HAS SOUPS 6923 WITH SCORE 6931.58
AT ITER 1561 NEW BEST:: SOT 27728 SOS 8580 HAS SOPS 8580 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6923.58
AT ITER 1567 NEW BEST:: SOT 27728 SOS 8578 HAS SOPS 8578 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6921.578
AT ITER 1575 NEW BEST:: SOT 27726 SOS 8576 HAS SOPS 8576 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6917.576
AT ITER 1582 NEW BEST:: SOT 27714 SOS 8538 HAS SOPS 8538 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6893.538
AT ITER 1603 NEW BEST:: SOT 27671 SOS 8479 HAS SOPS 8479 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6840.479
AT ITER 1609 NEW BEST:: SOT 27619 SOS 8449 HAS SOPS 8449 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6821.449
AT ITER 1619 NEW BEST:: SOT 27594 SOS 8432 HAS SOPS 8432 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6796.432
AT ITER 1648 NEW BEST:: SOT 27593 SOS 8428 HAS SOPS 8428 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6793.428
AT ITER 1668 NEW BEST:: SOT 27593 SOS 8417 HAS SOPS 8417 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6782.417
AT ITER 1700 NEW BEST:: SOT 27592 SOS 8415 HAS SOPS 8415 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6781.415
AT ITER 1701 NEW BEST:: SOT 27573 SOS 8406 HAS SOPS 8406 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6766.406
AT ITER 1715 NEW BEST:: SOT 27571 SOS 8402 HAS SOPS 8402 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6762.402
AT ITER 1717 NEW BEST:: SOT 27569 SOS 8398 HAS SOPS 8398 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6759.398
AT ITER 1738 NEW BEST:: SOT 27574 SOS 8370 HAS SOPS 8370 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6731.37
AT ITER 1743 NEW BEST:: SOT 27585 SOS 8307 HAS SOPS 8307 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6668.307
AT ITER 1764 NEW BEST:: SOT 27581 SOS 8286 HAS SOPS 8286 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6657.286
AT ITER 1787 NEW BEST:: SOT 27581 SOS 8286 HAS SOPS 8286 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6656.286
AT ITER 1800 NEW BEST:: SOT 27581 SOS 8278 HAS SOPS 8278 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6656.278
AT ITER 1816 NEW BEST:: SOT 27575 SOS 8269 HAS SOPS 8269 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6647.269
AT ITER 1825 NEW BEST:: SOT 27529 SOS 8243 HAS SOPS 8243 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6621.243
AT ITER 1845 NEW BEST:: SOT 27526 SOS 8237 HAS SOPS 8237 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6621.237
AT ITER 1855 NEW BEST:: SOT 27519 SOS 8223 HAS SOPS 8223 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6603.223
AT ITER 1885 NEW BEST:: SOT 27517 SOS 8219 HAS SOPS 8219 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6599.219
AT ITER 1890 NEW BEST:: SOT 27517 SOS 8202 HAS SOPS 8202 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6599.202
AT ITER 1904 NEW BEST:: SOT 27517 SOS 8201 HAS SOPS 8201 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6599.201
AT ITER 1927 NEW BEST:: SOT 27488 SOS 8172 HAS SOPS 8172 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6599.172
AT ITER 1955 NEW BEST:: SOT 27488 SOS 8172 HAS SOPS 8172 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6597.172
AT ITER 1960 NEW BEST:: SOT 27488 SOS 8172 HAS SOPS 8172 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6589.172
AT ITER 1967 NEW BEST:: SOT 27476 SOS 8163 HAS SOPS 8163 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6588.163
AT ITER 1995 NEW BEST:: SOT 27478 SOS 8167 HAS SOPS 8167 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6585.167
AT ITER 1996 NEW BEST:: SOT 27462 SOS 8135 HAS SOPS 8135 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6561.135
AT ITER 2009 NEW BEST:: SOT 27457 SOS 8132 HAS SOPS 8132 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6551.132
AT ITER 2047 NEW BEST:: SOT 27459 SOS 8131 HAS SOPS 8131 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6548.131
AT ITER 2091 NEW BEST:: SOT 27456 SOS 8124 HAS SOPS 8124 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6544.124
AT ITER 2092 NEW BEST:: SOT 27453 SOS 8118 HAS SOPS 8118 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6538.118
AT ITER 2101 NEW BEST:: SOT 27446 SOS 8010 HAS SOPS 8010 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6507.01
AT ITER 2103 NEW BEST:: SOT 27446 SOS 8004 HAS SOPS 8004 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6506.004
AT ITER 2106 NEW BEST:: SOT 27446 SOS 8001 HAS SOPS 8001 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6506.001
AT ITER 2108 NEW BEST:: SOT 27442 SOS 7997 HAS SOPS 7997 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6501.997
AT ITER 2125 NEW BEST:: SOT 27436 SOS 7997 HAS SOPS 7997 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6495.997
AT ITER 2130 NEW BEST:: SOT 27436 SOS 7987 HAS SOPS 7987 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6485.987
AT ITER 2141 NEW BEST:: SOT 27417 SOS 7949 HAS SOPS 7949 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6468.949
AT ITER 2165 NEW BEST:: SOT 27415 SOS 7938 HAS SOPS 7938 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6457.938
AT ITER 2172 NEW BEST:: SOT 27412 SOS 7935 HAS SOPS 7935 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.935
AT ITER 2183 NEW BEST:: SOT 27411 SOS 7934 HAS SOPS 7934 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6452.934
AT ITER 2211 NEW BEST:: SOT 27400 SOS 7924 HAS SOPS 7924 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6439.924
AT ITER 2212 NEW BEST:: SOT 27400 SOS 7922 HAS SOPS 7922 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6438.922
AT ITER 2215 NEW BEST:: SOT 27399 SOS 7920 HAS SOPS 7920 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6436.92
AT ITER 2245 NEW BEST:: SOT 27395 SOS 7912 HAS SOPS 7912 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6430.912
AT ITER 2248 NEW BEST:: SOT 27388 SOS 7905 HAS SOPS 7905 HAS SOUS 6416 HAS SOUPS 6416 WITH SCORE 6423.905
AT ITER 2311 NEW BEST:: SOT 27384 SOS 7893 HAS SOPS 7893 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6415.893
AT ITER 2344 NEW BEST:: SOT 27385 SOS 7879 HAS SOPS 7879 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6414.879
AT ITER 2427 NEW BEST:: SOT 27372 SOS 7882 HAS SOPS 7882 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6401.882
AT ITER 2431 NEW BEST:: SOT 27372 SOS 7881 HAS SOPS 7881 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6401.881
AT ITER 2443 NEW BEST:: SOT 27356 SOS 7862 HAS SOPS 7862 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6389.862
AT ITER 2446 NEW BEST:: SOT 27355 SOS 7860 HAS SOPS 7860 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6387.86
AT ITER 2451 NEW BEST:: SOT 27355 SOS 7860 HAS SOPS 7860 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6382.86
AT ITER 2460 NEW BEST:: SOT 27346 SOS 7833 HAS SOPS 7833 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6364.833
AT ITER 2474 NEW BEST:: SOT 27342 SOS 7825 HAS SOPS 7825 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6356.825
AT ITER 2484 NEW BEST:: SOT 27335 SOS 7801 HAS SOPS 7801 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6352.801
AT ITER 2526 NEW BEST:: SOT 27335 SOS 7776 HAS SOPS 7776 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6352.776
AT ITER 2552 NEW BEST:: SOT 27319 SOS 7724 HAS SOPS 7724 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6308.724
AT ITER 2562 NEW BEST:: SOT 27315 SOS 7720 HAS SOPS 7720 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6300.72
AT ITER 2593 NEW BEST:: SOT 27313 SOS 7712 HAS SOPS 7712 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6298.712
AT ITER 2602 NEW BEST:: SOT 27304 SOS 7694 HAS SOPS 7694 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6284.694
AT ITER 2618 NEW BEST:: SOT 27308 SOS 7702 HAS SOPS 7702 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6279.702
AT ITER 2626 NEW BEST:: SOT 27300 SOS 7655 HAS SOPS 7655 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6230.655
AT ITER 2690 NEW BEST:: SOT 27292 SOS 7645 HAS SOPS 7645 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6229.645
AT ITER 2698 NEW BEST:: SOT 27292 SOS 7643 HAS SOPS 7643 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6227.643
AT ITER 2739 NEW BEST:: SOT 27268 SOS 7595 HAS SOPS 7595 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6179.595
AT ITER 2760 NEW BEST:: SOT 27269 SOS 7623 HAS SOPS 7623 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6178.623
AT ITER 2769 NEW BEST:: SOT 27269 SOS 7623 HAS SOPS 7623 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6175.623
AT ITER 2801 NEW BEST:: SOT 27235 SOS 7607 HAS SOPS 7607 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6151.607
AT ITER 2803 NEW BEST:: SOT 27227 SOS 7599 HAS SOPS 7599 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6143.599
AT ITER 2804 NEW BEST:: SOT 27227 SOS 7598 HAS SOPS 7598 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6142.598
AT ITER 2814 NEW BEST:: SOT 27229 SOS 7594 HAS SOPS 7594 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6138.594
AT ITER 2846 NEW BEST:: SOT 27176 SOS 7544 HAS SOPS 7544 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6088.544
AT ITER 2861 NEW BEST:: SOT 27176 SOS 7544 HAS SOPS 7544 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6087.544
AT ITER 2904 NEW BEST:: SOT 27176 SOS 7538 HAS SOPS 7538 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6083.538
AT ITER 2925 NEW BEST:: SOT 27156 SOS 7500 HAS SOPS 7500 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6070.5
AT ITER 2949 NEW BEST:: SOT 27154 SOS 7463 HAS SOPS 7463 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6066.463
AT ITER 2998 NEW BEST:: SOT 27146 SOS 7455 HAS SOPS 7455 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6058.455
AT ITER 3001 NEW BEST:: SOT 27144 SOS 7452 HAS SOPS 7452 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6055.452
AT ITER 3024 NEW BEST:: SOT 27143 SOS 7451 HAS SOPS 7451 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6053.451
AT ITER 3090 NEW BEST:: SOT 27139 SOS 7443 HAS SOPS 7443 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6045.443
AT ITER 3166 NEW BEST:: SOT 27126 SOS 7426 HAS SOPS 7426 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6028.426
AT ITER 3169 NEW BEST:: SOT 27125 SOS 7417 HAS SOPS 7417 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6027.417
AT ITER 3181 NEW BEST:: SOT 27117 SOS 7411 HAS SOPS 7411 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6021.411
AT ITER 3232 NEW BEST:: SOT 27117 SOS 7408 HAS SOPS 7408 HAS SOUS 6011 HAS SOUPS 6011 WITH SCORE 6018.408
AT ITER 3290 NEW BEST:: SOT 27123 SOS 7410 HAS SOPS 7410 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6009.41
AT ITER 3303 NEW BEST:: SOT 27104 SOS 7408 HAS SOPS 7408 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5996.408
AT ITER 3325 NEW BEST:: SOT 27084 SOS 7378 HAS SOPS 7378 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.378
AT ITER 3353 NEW BEST:: SOT 27081 SOS 7372 HAS SOPS 7372 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5968.372
AT ITER 3372 NEW BEST:: SOT 27070 SOS 7350 HAS SOPS 7350 HAS SOUS 5937 HAS SOUPS 5937 WITH SCORE 5944.35
AT ITER 3413 NEW BEST:: SOT 27064 SOS 7336 HAS SOPS 7336 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5932.336
AT ITER 3520 NEW BEST:: SOT 27062 SOS 7334 HAS SOPS 7334 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5931.334
AT ITER 3526 NEW BEST:: SOT 27060 SOS 7330 HAS SOPS 7330 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5926.33
AT ITER 3583 NEW BEST:: SOT 27061 SOS 7332 HAS SOPS 7332 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5925.332
AT ITER 3593 NEW BEST:: SOT 27058 SOS 7326 HAS SOPS 7326 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5918.326
AT ITER 3598 NEW BEST:: SOT 27058 SOS 7316 HAS SOPS 7316 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5908.316
AT ITER 3600 NEW BEST:: SOT 27049 SOS 7313 HAS SOPS 7313 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5898.313
AT ITER 3624 NEW BEST:: SOT 27047 SOS 7309 HAS SOPS 7309 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5894.309
AT ITER 3629 NEW BEST:: SOT 27047 SOS 7306 HAS SOPS 7306 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5891.306
AT ITER 3644 NEW BEST:: SOT 27043 SOS 7298 HAS SOPS 7298 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5887.298
AT ITER 3665 NEW BEST:: SOT 27044 SOS 7297 HAS SOPS 7297 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5886.297
AT ITER 3726 NEW BEST:: SOT 27020 SOS 7752 HAS SOPS 7752 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5885.752
AT ITER 3749 NEW BEST:: SOT 27018 SOS 7732 HAS SOPS 7732 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5865.732
AT ITER 3875 NEW BEST:: SOT 27018 SOS 7729 HAS SOPS 7729 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5865.729
AT ITER 3876 NEW BEST:: SOT 27017 SOS 7739 HAS SOPS 7739 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5864.739
AT ITER 3898 NEW BEST:: SOT 27012 SOS 7729 HAS SOPS 7729 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5844.729
AT ITER 3899 NEW BEST:: SOT 27008 SOS 7721 HAS SOPS 7721 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5836.721
AT ITER 3989 NEW BEST:: SOT 27006 SOS 7729 HAS SOPS 7729 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5832.729
AT ITER 4045 NEW BEST:: SOT 27005 SOS 7727 HAS SOPS 7727 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5830.727
AT ITER 4124 NEW BEST:: SOT 27004 SOS 7725 HAS SOPS 7725 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5821.725
AT ITER 4126 NEW BEST:: SOT 27003 SOS 7722 HAS SOPS 7722 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5818.722
AT ITER 4173 NEW BEST:: SOT 27001 SOS 7720 HAS SOPS 7720 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5816.72
AT ITER 4263 NEW BEST:: SOT 27001 SOS 7731 HAS SOPS 7731 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5814.731
AT ITER 4299 NEW BEST:: SOT 26998 SOS 7722 HAS SOPS 7722 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5812.722
AT ITER 4301 NEW BEST:: SOT 26998 SOS 7718 HAS SOPS 7718 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5812.718
AT ITER 4331 NEW BEST:: SOT 26998 SOS 7688 HAS SOPS 7688 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5812.688
AT ITER 4338 NEW BEST:: SOT 26997 SOS 7686 HAS SOPS 7686 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5811.686
AT ITER 4354 NEW BEST:: SOT 26997 SOS 7685 HAS SOPS 7685 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5810.685
AT ITER 4380 NEW BEST:: SOT 26987 SOS 7675 HAS SOPS 7675 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5790.675
AT ITER 4401 NEW BEST:: SOT 26985 SOS 7671 HAS SOPS 7671 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5786.671
AT ITER 4458 NEW BEST:: SOT 26984 SOS 7669 HAS SOPS 7669 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5784.669
AT ITER 4470 NEW BEST:: SOT 26984 SOS 7668 HAS SOPS 7668 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5784.668
AT ITER 4492 NEW BEST:: SOT 26983 SOS 7666 HAS SOPS 7666 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5782.666
AT ITER 4607 NEW BEST:: SOT 26975 SOS 7875 HAS SOPS 7875 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5781.875
AT ITER 4616 NEW BEST:: SOT 26968 SOS 7728 HAS SOPS 7728 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5768.728
AT ITER 4701 NEW BEST:: SOT 26967 SOS 7726 HAS SOPS 7726 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5767.726
AT ITER 4766 NEW BEST:: SOT 26967 SOS 7725 HAS SOPS 7725 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5766.725
AT ITER 4832 NEW BEST:: SOT 26966 SOS 7723 HAS SOPS 7723 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5764.723
AT ITER 4837 NEW BEST:: SOT 26965 SOS 7726 HAS SOPS 7726 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5763.726
AT ITER 4840 NEW BEST:: SOT 26950 SOS 7728 HAS SOPS 7728 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5754.728
AT ITER 4876 NEW BEST:: SOT 26949 SOS 7727 HAS SOPS 7727 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5752.727
AT ITER 4889 NEW BEST:: SOT 26948 SOS 7725 HAS SOPS 7725 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5751.725
AT ITER 4917 NEW BEST:: SOT 26952 SOS 7717 HAS SOPS 7717 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5741.717
AT ITER 5039 NEW BEST:: SOT 26954 SOS 7714 HAS SOPS 7714 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5739.714
AT ITER 5080 NEW BEST:: SOT 26958 SOS 7712 HAS SOPS 7712 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5737.712
AT ITER 5106 NEW BEST:: SOT 26962 SOS 7711 HAS SOPS 7711 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5736.711
AT ITER 5152 NEW BEST:: SOT 26961 SOS 7709 HAS SOPS 7709 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5736.709
AT ITER 5159 NEW BEST:: SOT 26959 SOS 7705 HAS SOPS 7705 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5734.705
AT ITER 5170 NEW BEST:: SOT 26954 SOS 7700 HAS SOPS 7700 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5727.7
AT ITER 5216 NEW BEST:: SOT 26950 SOS 7692 HAS SOPS 7692 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5724.692
AT ITER 5229 NEW BEST:: SOT 26941 SOS 7670 HAS SOPS 7670 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5723.67
AT ITER 5239 NEW BEST:: SOT 26930 SOS 7648 HAS SOPS 7648 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5712.648
AT ITER 5286 NEW BEST:: SOT 26929 SOS 7647 HAS SOPS 7647 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5710.647
AT ITER 5288 NEW BEST:: SOT 26922 SOS 7640 HAS SOPS 7640 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5696.64
AT ITER 5302 NEW BEST:: SOT 26916 SOS 7626 HAS SOPS 7626 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5691.626
AT ITER 5428 NEW BEST:: SOT 26915 SOS 7623 HAS SOPS 7623 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5689.623
AT ITER 5447 NEW BEST:: SOT 26914 SOS 7622 HAS SOPS 7622 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5687.622
AT ITER 5464 NEW BEST:: SOT 26905 SOS 7613 HAS SOPS 7613 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5678.613
AT ITER 5518 NEW BEST:: SOT 26908 SOS 7619 HAS SOPS 7619 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5675.619
AT ITER 5524 NEW BEST:: SOT 26908 SOS 7618 HAS SOPS 7618 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5672.618
AT ITER 5616 NEW BEST:: SOT 26905 SOS 7615 HAS SOPS 7615 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5669.615
AT ITER 5683 NEW BEST:: SOT 26895 SOS 7595 HAS SOPS 7595 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5649.595
AT ITER 5729 NEW BEST:: SOT 26911 SOS 7627 HAS SOPS 7627 HAS SOUS 5636 HAS SOUPS 5636 WITH SCORE 5643.627
AT ITER 5752 NEW BEST:: SOT 26910 SOS 7627 HAS SOPS 7627 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5642.627
AT ITER 5754 NEW BEST:: SOT 26909 SOS 7607 HAS SOPS 7607 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5635.607
AT ITER 5765 NEW BEST:: SOT 26912 SOS 7589 HAS SOPS 7589 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5623.589
AT ITER 5766 NEW BEST:: SOT 26911 SOS 7588 HAS SOPS 7588 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5622.588
AT ITER 5787 NEW BEST:: SOT 26895 SOS 7660 HAS SOPS 7660 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5611.66
AT ITER 5844 NEW BEST:: SOT 26892 SOS 7654 HAS SOPS 7654 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5605.654
AT ITER 5846 NEW BEST:: SOT 26889 SOS 7648 HAS SOPS 7648 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5599.648
AT ITER 5862 NEW BEST:: SOT 26888 SOS 7646 HAS SOPS 7646 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5597.646
AT ITER 5906 NEW BEST:: SOT 26888 SOS 7642 HAS SOPS 7642 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5593.642
AT ITER 5925 NEW BEST:: SOT 26884 SOS 7638 HAS SOPS 7638 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5589.638
AT ITER 5937 NEW BEST:: SOT 26883 SOS 7636 HAS SOPS 7636 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5587.636
AT ITER 5989 NEW BEST:: SOT 26874 SOS 7618 HAS SOPS 7618 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5582.618
AT ITER 6021 NEW BEST:: SOT 26875 SOS 7620 HAS SOPS 7620 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5579.62
AT ITER 6033 NEW BEST:: SOT 26871 SOS 7606 HAS SOPS 7606 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5567.606
AT ITER 6037 NEW BEST:: SOT 26870 SOS 7604 HAS SOPS 7604 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5566.604
AT ITER 6044 NEW BEST:: SOT 26869 SOS 7619 HAS SOPS 7619 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5564.619
AT ITER 6046 NEW BEST:: SOT 26869 SOS 7618 HAS SOPS 7618 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5563.618
AT ITER 6066 NEW BEST:: SOT 26870 SOS 7620 HAS SOPS 7620 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5562.62
AT ITER 6073 NEW BEST:: SOT 26872 SOS 7576 HAS SOPS 7576 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5560.576
AT ITER 6075 NEW BEST:: SOT 26859 SOS 7563 HAS SOPS 7563 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5547.563
AT ITER 6108 NEW BEST:: SOT 26858 SOS 7562 HAS SOPS 7562 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5546.562
AT ITER 6204 NEW BEST:: SOT 26858 SOS 7559 HAS SOPS 7559 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5543.559
AT ITER 6274 NEW BEST:: SOT 26856 SOS 7555 HAS SOPS 7555 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5541.555
AT ITER 6275 NEW BEST:: SOT 26852 SOS 7547 HAS SOPS 7547 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5539.547
AT ITER 6307 NEW BEST:: SOT 26847 SOS 7537 HAS SOPS 7537 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5534.537
AT ITER 6344 NEW BEST:: SOT 26856 SOS 7530 HAS SOPS 7530 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5534.53
AT ITER 6387 NEW BEST:: SOT 26846 SOS 7523 HAS SOPS 7523 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5525.523
AT ITER 6396 NEW BEST:: SOT 26846 SOS 7520 HAS SOPS 7520 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5524.52
AT ITER 6438 NEW BEST:: SOT 26842 SOS 7516 HAS SOPS 7516 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5520.516
AT ITER 6488 NEW BEST:: SOT 26837 SOS 7511 HAS SOPS 7511 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5519.511
AT ITER 6499 NEW BEST:: SOT 26837 SOS 7510 HAS SOPS 7510 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5518.51
AT ITER 6572 NEW BEST:: SOT 26832 SOS 7497 HAS SOPS 7497 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5502.497
AT ITER 6574 NEW BEST:: SOT 26832 SOS 7491 HAS SOPS 7491 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5499.491
AT ITER 6576 NEW BEST:: SOT 26827 SOS 7481 HAS SOPS 7481 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5489.481
AT ITER 6584 NEW BEST:: SOT 26829 SOS 7485 HAS SOPS 7485 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5488.485
AT ITER 6622 NEW BEST:: SOT 26827 SOS 7481 HAS SOPS 7481 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5486.481
AT ITER 6653 NEW BEST:: SOT 26825 SOS 7477 HAS SOPS 7477 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5482.477
AT ITER 6689 NEW BEST:: SOT 26826 SOS 7474 HAS SOPS 7474 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5479.474
AT ITER 6697 NEW BEST:: SOT 26827 SOS 7476 HAS SOPS 7476 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5477.476
AT ITER 6732 NEW BEST:: SOT 26823 SOS 7475 HAS SOPS 7475 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5473.475
AT ITER 6734 NEW BEST:: SOT 26823 SOS 7457 HAS SOPS 7457 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5473.457
AT ITER 6893 NEW BEST:: SOT 26823 SOS 7453 HAS SOPS 7453 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5469.453
AT ITER 6911 NEW BEST:: SOT 26822 SOS 7450 HAS SOPS 7450 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5467.45
AT ITER 7053 NEW BEST:: SOT 26821 SOS 7452 HAS SOPS 7452 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5466.452
AT ITER 7169 NEW BEST:: SOT 26821 SOS 7435 HAS SOPS 7435 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5466.435
AT ITER 7222 NEW BEST:: SOT 26820 SOS 7452 HAS SOPS 7452 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5463.452
AT ITER 7223 NEW BEST:: SOT 26810 SOS 7443 HAS SOPS 7443 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5460.443
AT ITER 7337 NEW BEST:: SOT 26809 SOS 7442 HAS SOPS 7442 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5458.442
AT ITER 7346 NEW BEST:: SOT 26791 SOS 7417 HAS SOPS 7417 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5455.417
AT ITER 7349 NEW BEST:: SOT 26791 SOS 7414 HAS SOPS 7414 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5455.414
AT ITER 7352 NEW BEST:: SOT 26785 SOS 7411 HAS SOPS 7411 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5443.411
AT ITER 7374 NEW BEST:: SOT 26788 SOS 7414 HAS SOPS 7414 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5442.414
AT ITER 7387 NEW BEST:: SOT 26789 SOS 7408 HAS SOPS 7408 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5442.408
AT ITER 7431 NEW BEST:: SOT 26785 SOS 7418 HAS SOPS 7418 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5440.418
AT ITER 7462 NEW BEST:: SOT 26777 SOS 7410 HAS SOPS 7410 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5432.41
AT ITER 7486 NEW BEST:: SOT 26776 SOS 7411 HAS SOPS 7411 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5429.411
AT ITER 7494 NEW BEST:: SOT 26775 SOS 7409 HAS SOPS 7409 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5429.409
AT ITER 7509 NEW BEST:: SOT 26772 SOS 7406 HAS SOPS 7406 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5426.406
AT ITER 7576 NEW BEST:: SOT 26767 SOS 7383 HAS SOPS 7383 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5416.383
AT ITER 7651 NEW BEST:: SOT 26760 SOS 7381 HAS SOPS 7381 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5414.381
AT ITER 7789 NEW BEST:: SOT 26758 SOS 7378 HAS SOPS 7378 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5411.378
AT ITER 7836 NEW BEST:: SOT 26750 SOS 7380 HAS SOPS 7380 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5407.38
AT ITER 7868 NEW BEST:: SOT 26747 SOS 7374 HAS SOPS 7374 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5404.374
AT ITER 7925 NEW BEST:: SOT 26744 SOS 7371 HAS SOPS 7371 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5402.371
AT ITER 7929 NEW BEST:: SOT 26743 SOS 7368 HAS SOPS 7368 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5400.368
AT ITER 8019 NEW BEST:: SOT 26724 SOS 7364 HAS SOPS 7364 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5385.364
AT ITER 8032 NEW BEST:: SOT 26724 SOS 7362 HAS SOPS 7362 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5383.362
AT ITER 8045 NEW BEST:: SOT 26724 SOS 7355 HAS SOPS 7355 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5382.355
AT ITER 8050 NEW BEST:: SOT 26723 SOS 7354 HAS SOPS 7354 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5381.354
AT ITER 8103 NEW BEST:: SOT 26721 SOS 7352 HAS SOPS 7352 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5379.352
AT ITER 8113 NEW BEST:: SOT 26719 SOS 7350 HAS SOPS 7350 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5379.35
AT ITER 8133 NEW BEST:: SOT 26718 SOS 7344 HAS SOPS 7344 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5375.344
AT ITER 8137 NEW BEST:: SOT 26716 SOS 7338 HAS SOPS 7338 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5373.338
AT ITER 8157 NEW BEST:: SOT 26715 SOS 7336 HAS SOPS 7336 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5371.336
AT ITER 8196 NEW BEST:: SOT 26712 SOS 7330 HAS SOPS 7330 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5368.33
AT ITER 8206 NEW BEST:: SOT 26712 SOS 7325 HAS SOPS 7325 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5363.325
AT ITER 8355 NEW BEST:: SOT 26708 SOS 7321 HAS SOPS 7321 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5359.321
AT ITER 8374 NEW BEST:: SOT 26706 SOS 7312 HAS SOPS 7312 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5357.312
AT ITER 8410 NEW BEST:: SOT 26687 SOS 7444 HAS SOPS 7444 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5345.444
AT ITER 8440 NEW BEST:: SOT 26686 SOS 7442 HAS SOPS 7442 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5343.442
AT ITER 8513 NEW BEST:: SOT 26684 SOS 7437 HAS SOPS 7437 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5339.437
AT ITER 8556 NEW BEST:: SOT 26646 SOS 7467 HAS SOPS 7467 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5315.467
AT ITER 8717 NEW BEST:: SOT 26644 SOS 7455 HAS SOPS 7455 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5312.455
AT ITER 8753 NEW BEST:: SOT 26644 SOS 7455 HAS SOPS 7455 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5310.455
AT ITER 8775 NEW BEST:: SOT 26642 SOS 7408 HAS SOPS 7408 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5306.408
AT ITER 8829 NEW BEST:: SOT 26642 SOS 7407 HAS SOPS 7407 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5305.407
AT ITER 8846 NEW BEST:: SOT 26640 SOS 7403 HAS SOPS 7403 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5301.403
AT ITER 8979 NEW BEST:: SOT 26637 SOS 7400 HAS SOPS 7400 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5298.4
AT ITER 8990 NEW BEST:: SOT 26634 SOS 7394 HAS SOPS 7394 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5292.394
AT ITER 9000 NEW BEST:: SOT 26631 SOS 7388 HAS SOPS 7388 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5286.388
AT ITER 9070 NEW BEST:: SOT 26631 SOS 7380 HAS SOPS 7380 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5283.38
AT ITER 9074 NEW BEST:: SOT 26631 SOS 7376 HAS SOPS 7376 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5279.376
AT ITER 9091 NEW BEST:: SOT 26623 SOS 7359 HAS SOPS 7359 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5262.359
AT ITER 9197 NEW BEST:: SOT 26624 SOS 7361 HAS SOPS 7361 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5261.361
AT ITER 9238 NEW BEST:: SOT 26623 SOS 7352 HAS SOPS 7352 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5259.352
AT ITER 9256 NEW BEST:: SOT 26615 SOS 7336 HAS SOPS 7336 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5251.336
AT ITER 9263 NEW BEST:: SOT 26608 SOS 7329 HAS SOPS 7329 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5249.329
AT ITER 9264 NEW BEST:: SOT 26599 SOS 7445 HAS SOPS 7445 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5243.445
AT ITER 9269 NEW BEST:: SOT 26594 SOS 7344 HAS SOPS 7344 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5233.344
AT ITER 9528 NEW BEST:: SOT 26594 SOS 7343 HAS SOPS 7343 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5233.343
AT ITER 9548 NEW BEST:: SOT 26593 SOS 7341 HAS SOPS 7341 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5231.341
AT ITER 9711 NEW BEST:: SOT 26583 SOS 7334 HAS SOPS 7334 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5224.334
AT ITER 9906 NEW BEST:: SOT 26570 SOS 7389 HAS SOPS 7389 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5221.389
AT ITER 9931 NEW BEST:: SOT 26568 SOS 7387 HAS SOPS 7387 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5217.387
AT ITER 9952 NEW BEST:: SOT 26568 SOS 7372 HAS SOPS 7372 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5217.372
AT ITER 9979 NEW BEST:: SOT 26568 SOS 7336 HAS SOPS 7336 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5217.336
AT ITER 9996 NEW BEST:: SOT 26564 SOS 7318 HAS SOPS 7318 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5209.318
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6728676 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123300 kB

BK_TIME_CONFINEMENT_REACHED

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

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

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-07b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DiscoveryGPU-PT-07b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819422600312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;