fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508000028
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-02a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.570 3600000.00 3600010.00 20.00 [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/mcc2020-input.r003-smll-158897508000028.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 ASLink-PT-02a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000028
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 279K 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 ASLink-PT-02a-CTLFireability-00
FORMULA_NAME ASLink-PT-02a-CTLFireability-01
FORMULA_NAME ASLink-PT-02a-CTLFireability-02
FORMULA_NAME ASLink-PT-02a-CTLFireability-03
FORMULA_NAME ASLink-PT-02a-CTLFireability-04
FORMULA_NAME ASLink-PT-02a-CTLFireability-05
FORMULA_NAME ASLink-PT-02a-CTLFireability-06
FORMULA_NAME ASLink-PT-02a-CTLFireability-07
FORMULA_NAME ASLink-PT-02a-CTLFireability-08
FORMULA_NAME ASLink-PT-02a-CTLFireability-09
FORMULA_NAME ASLink-PT-02a-CTLFireability-10
FORMULA_NAME ASLink-PT-02a-CTLFireability-11
FORMULA_NAME ASLink-PT-02a-CTLFireability-12
FORMULA_NAME ASLink-PT-02a-CTLFireability-13
FORMULA_NAME ASLink-PT-02a-CTLFireability-14
FORMULA_NAME ASLink-PT-02a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1588993433945

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 02a
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: 626 places, 1008 transitions, 3820 arcs.
AT ITER 0 NEW BEST:: SOT 346575 SOS 237428 HAS SOPS 237428 HAS SOUS 138866 HAS SOUPS 138866 WITH SCORE 139103.428
AT ITER 1 NEW BEST:: SOT 346575 SOS 236729 HAS SOPS 236729 HAS SOUS 138865 HAS SOUPS 138865 WITH SCORE 139101.729
AT ITER 7 NEW BEST:: SOT 346489 SOS 236727 HAS SOPS 236727 HAS SOUS 138775 HAS SOUPS 138775 WITH SCORE 139011.727
AT ITER 17 NEW BEST:: SOT 346488 SOS 236726 HAS SOPS 236726 HAS SOUS 138773 HAS SOUPS 138773 WITH SCORE 139009.726
AT ITER 18 NEW BEST:: SOT 346463 SOS 236651 HAS SOPS 236651 HAS SOUS 138673 HAS SOUPS 138673 WITH SCORE 138909.651
AT ITER 19 NEW BEST:: SOT 345796 SOS 236377 HAS SOPS 236377 HAS SOUS 138368 HAS SOUPS 138368 WITH SCORE 138604.377
AT ITER 23 NEW BEST:: SOT 345636 SOS 236364 HAS SOPS 236364 HAS SOUS 138354 HAS SOUPS 138354 WITH SCORE 138590.364
AT ITER 27 NEW BEST:: SOT 344773 SOS 235897 HAS SOPS 235897 HAS SOUS 137491 HAS SOUPS 137491 WITH SCORE 137726.897
AT ITER 32 NEW BEST:: SOT 344773 SOS 235425 HAS SOPS 235425 HAS SOUS 137251 HAS SOUPS 137251 WITH SCORE 137486.425
AT ITER 33 NEW BEST:: SOT 344651 SOS 235416 HAS SOPS 235416 HAS SOUS 137241 HAS SOUPS 137241 WITH SCORE 137476.416
AT ITER 37 NEW BEST:: SOT 344264 SOS 235029 HAS SOPS 235029 HAS SOUS 136853 HAS SOUPS 136853 WITH SCORE 137088.029
AT ITER 38 NEW BEST:: SOT 344325 SOS 234739 HAS SOPS 234739 HAS SOUS 136786 HAS SOUPS 136786 WITH SCORE 137020.739
AT ITER 44 NEW BEST:: SOT 344325 SOS 234523 HAS SOPS 234523 HAS SOUS 136786 HAS SOUPS 136786 WITH SCORE 137020.523
AT ITER 45 NEW BEST:: SOT 344325 SOS 234367 HAS SOPS 234367 HAS SOUS 136470 HAS SOUPS 136470 WITH SCORE 136704.367
AT ITER 49 NEW BEST:: SOT 344317 SOS 234359 HAS SOPS 234359 HAS SOUS 136461 HAS SOUPS 136461 WITH SCORE 136695.359
AT ITER 52 NEW BEST:: SOT 344175 SOS 234049 HAS SOPS 234049 HAS SOUS 136151 HAS SOUPS 136151 WITH SCORE 136385.049
AT ITER 56 NEW BEST:: SOT 343843 SOS 233708 HAS SOPS 233708 HAS SOUS 135771 HAS SOUPS 135771 WITH SCORE 136004.708
AT ITER 57 NEW BEST:: SOT 343810 SOS 233675 HAS SOPS 233675 HAS SOUS 135743 HAS SOUPS 135743 WITH SCORE 135976.675
AT ITER 61 NEW BEST:: SOT 343933 SOS 233388 HAS SOPS 233388 HAS SOUS 135456 HAS SOUPS 135456 WITH SCORE 135689.388
AT ITER 63 NEW BEST:: SOT 343933 SOS 233376 HAS SOPS 233376 HAS SOUS 135449 HAS SOUPS 135449 WITH SCORE 135682.376
AT ITER 75 NEW BEST:: SOT 342892 SOS 232726 HAS SOPS 232726 HAS SOUS 134692 HAS SOUPS 134692 WITH SCORE 134924.726
AT ITER 76 NEW BEST:: SOT 342892 SOS 232643 HAS SOPS 232643 HAS SOUS 134627 HAS SOUPS 134627 WITH SCORE 134859.643
AT ITER 78 NEW BEST:: SOT 342525 SOS 232060 HAS SOPS 232060 HAS SOUS 134044 HAS SOUPS 134044 WITH SCORE 134276.06
AT ITER 93 NEW BEST:: SOT 341013 SOS 230548 HAS SOPS 230548 HAS SOUS 132531 HAS SOUPS 132531 WITH SCORE 132761.548
AT ITER 110 NEW BEST:: SOT 341013 SOS 229501 HAS SOPS 229501 HAS SOUS 132531 HAS SOUPS 132531 WITH SCORE 132760.501
AT ITER 116 NEW BEST:: SOT 341005 SOS 229476 HAS SOPS 229476 HAS SOUS 132506 HAS SOUPS 132506 WITH SCORE 132735.476
AT ITER 125 NEW BEST:: SOT 340831 SOS 228876 HAS SOPS 228876 HAS SOUS 132068 HAS SOUPS 132068 WITH SCORE 132296.876
AT ITER 134 NEW BEST:: SOT 340746 SOS 228791 HAS SOPS 228791 HAS SOUS 132068 HAS SOUPS 132068 WITH SCORE 132296.791
AT ITER 135 NEW BEST:: SOT 340746 SOS 228791 HAS SOPS 228791 HAS SOUS 132062 HAS SOUPS 132062 WITH SCORE 132290.791
AT ITER 144 NEW BEST:: SOT 340668 SOS 228557 HAS SOPS 228557 HAS SOUS 131828 HAS SOUPS 131828 WITH SCORE 132056.557
AT ITER 151 NEW BEST:: SOT 340668 SOS 228081 HAS SOPS 228081 HAS SOUS 131577 HAS SOUPS 131577 WITH SCORE 131805.081
AT ITER 157 NEW BEST:: SOT 340652 SOS 228033 HAS SOPS 228033 HAS SOUS 131529 HAS SOUPS 131529 WITH SCORE 131757.033
AT ITER 158 NEW BEST:: SOT 339004 SOS 226385 HAS SOPS 226385 HAS SOUS 129881 HAS SOUPS 129881 WITH SCORE 130107.385
AT ITER 170 NEW BEST:: SOT 338921 SOS 226382 HAS SOPS 226382 HAS SOUS 129878 HAS SOUPS 129878 WITH SCORE 130104.382
AT ITER 175 NEW BEST:: SOT 336275 SOS 227540 HAS SOPS 227540 HAS SOUS 127568 HAS SOUPS 127568 WITH SCORE 127795.54
AT ITER 180 NEW BEST:: SOT 336106 SOS 227371 HAS SOPS 227371 HAS SOUS 127399 HAS SOUPS 127399 WITH SCORE 127626.371
AT ITER 185 NEW BEST:: SOT 336105 SOS 227113 HAS SOPS 227113 HAS SOUS 127392 HAS SOUPS 127392 WITH SCORE 127619.113
AT ITER 189 NEW BEST:: SOT 335820 SOS 226338 HAS SOPS 226338 HAS SOUS 126668 HAS SOUPS 126668 WITH SCORE 126894.338
AT ITER 191 NEW BEST:: SOT 334624 SOS 225222 HAS SOPS 225222 HAS SOUS 125552 HAS SOUPS 125552 WITH SCORE 125777.222
AT ITER 193 NEW BEST:: SOT 334742 SOS 225360 HAS SOPS 225360 HAS SOUS 125454 HAS SOUPS 125454 WITH SCORE 125679.36
AT ITER 195 NEW BEST:: SOT 331019 SOS 221637 HAS SOPS 221637 HAS SOUS 121731 HAS SOUPS 121731 WITH SCORE 121952.637
AT ITER 200 NEW BEST:: SOT 330888 SOS 221244 HAS SOPS 221244 HAS SOUS 121469 HAS SOUPS 121469 WITH SCORE 121690.244
AT ITER 204 NEW BEST:: SOT 330752 SOS 221106 HAS SOPS 221106 HAS SOUS 121331 HAS SOUPS 121331 WITH SCORE 121552.106
AT ITER 209 NEW BEST:: SOT 325964 SOS 216200 HAS SOPS 216200 HAS SOUS 116320 HAS SOUPS 116320 WITH SCORE 116536.2
AT ITER 212 NEW BEST:: SOT 325766 SOS 216002 HAS SOPS 216002 HAS SOUS 116122 HAS SOUPS 116122 WITH SCORE 116338.002
AT ITER 230 NEW BEST:: SOT 325744 SOS 215873 HAS SOPS 215873 HAS SOUS 116042 HAS SOUPS 116042 WITH SCORE 116257.873
AT ITER 243 NEW BEST:: SOT 325484 SOS 213771 HAS SOPS 213771 HAS SOUS 115562 HAS SOUPS 115562 WITH SCORE 115775.771
AT ITER 246 NEW BEST:: SOT 324478 SOS 213465 HAS SOPS 213465 HAS SOUS 114732 HAS SOUPS 114732 WITH SCORE 114945.465
AT ITER 249 NEW BEST:: SOT 324239 SOS 213256 HAS SOPS 213256 HAS SOUS 114523 HAS SOUPS 114523 WITH SCORE 114736.256
AT ITER 275 NEW BEST:: SOT 323877 SOS 213757 HAS SOPS 213757 HAS SOUS 114395 HAS SOUPS 114395 WITH SCORE 114608.757
AT ITER 290 NEW BEST:: SOT 324826 SOS 214613 HAS SOPS 214613 HAS SOUS 114353 HAS SOUPS 114353 WITH SCORE 114567.613
AT ITER 307 NEW BEST:: SOT 324826 SOS 214495 HAS SOPS 214495 HAS SOUS 114326 HAS SOUPS 114326 WITH SCORE 114540.495
AT ITER 316 NEW BEST:: SOT 324878 SOS 214127 HAS SOPS 214127 HAS SOUS 114321 HAS SOUPS 114321 WITH SCORE 114535.127
AT ITER 340 NEW BEST:: SOT 324613 SOS 213571 HAS SOPS 213571 HAS SOUS 113765 HAS SOUPS 113765 WITH SCORE 113978.571
AT ITER 355 NEW BEST:: SOT 324641 SOS 213492 HAS SOPS 213492 HAS SOUS 113765 HAS SOUPS 113765 WITH SCORE 113978.492
AT ITER 356 NEW BEST:: SOT 324715 SOS 213428 HAS SOPS 213428 HAS SOUS 113701 HAS SOUPS 113701 WITH SCORE 113914.428
AT ITER 363 NEW BEST:: SOT 324663 SOS 213347 HAS SOPS 213347 HAS SOUS 113620 HAS SOUPS 113620 WITH SCORE 113833.347
AT ITER 381 NEW BEST:: SOT 322529 SOS 211513 HAS SOPS 211513 HAS SOUS 111724 HAS SOUPS 111724 WITH SCORE 111935.513
AT ITER 387 NEW BEST:: SOT 322557 SOS 211442 HAS SOPS 211442 HAS SOUS 111653 HAS SOUPS 111653 WITH SCORE 111864.442
AT ITER 388 NEW BEST:: SOT 322493 SOS 211378 HAS SOPS 211378 HAS SOUS 111580 HAS SOUPS 111580 WITH SCORE 111791.378
AT ITER 391 NEW BEST:: SOT 322355 SOS 211240 HAS SOPS 211240 HAS SOUS 111441 HAS SOUPS 111441 WITH SCORE 111652.24
AT ITER 393 NEW BEST:: SOT 322473 SOS 211240 HAS SOPS 211240 HAS SOUS 111313 HAS SOUPS 111313 WITH SCORE 111524.24
AT ITER 396 NEW BEST:: SOT 322389 SOS 211152 HAS SOPS 211152 HAS SOUS 111249 HAS SOUPS 111249 WITH SCORE 111460.152
AT ITER 400 NEW BEST:: SOT 322415 SOS 210535 HAS SOPS 210535 HAS SOUS 111002 HAS SOUPS 111002 WITH SCORE 111212.535
AT ITER 402 NEW BEST:: SOT 322175 SOS 210295 HAS SOPS 210295 HAS SOUS 110762 HAS SOUPS 110762 WITH SCORE 110972.295
AT ITER 405 NEW BEST:: SOT 322111 SOS 210051 HAS SOPS 210051 HAS SOUS 110630 HAS SOUPS 110630 WITH SCORE 110840.051
AT ITER 409 NEW BEST:: SOT 321845 SOS 209404 HAS SOPS 209404 HAS SOUS 109983 HAS SOUPS 109983 WITH SCORE 110192.404
AT ITER 413 NEW BEST:: SOT 321776 SOS 209323 HAS SOPS 209323 HAS SOUS 109901 HAS SOUPS 109901 WITH SCORE 110110.323
AT ITER 415 NEW BEST:: SOT 321770 SOS 209229 HAS SOPS 209229 HAS SOUS 109891 HAS SOUPS 109891 WITH SCORE 110100.229
AT ITER 423 NEW BEST:: SOT 321770 SOS 209209 HAS SOPS 209209 HAS SOUS 109871 HAS SOUPS 109871 WITH SCORE 110080.209
AT ITER 424 NEW BEST:: SOT 321770 SOS 209030 HAS SOPS 209030 HAS SOUS 109816 HAS SOUPS 109816 WITH SCORE 110025.03
AT ITER 434 NEW BEST:: SOT 321573 SOS 208833 HAS SOPS 208833 HAS SOUS 109619 HAS SOUPS 109619 WITH SCORE 109827.833
AT ITER 439 NEW BEST:: SOT 321505 SOS 208273 HAS SOPS 208273 HAS SOUS 109112 HAS SOUPS 109112 WITH SCORE 109320.273
AT ITER 440 NEW BEST:: SOT 321403 SOS 207760 HAS SOPS 207760 HAS SOUS 109099 HAS SOUPS 109099 WITH SCORE 109306.76
AT ITER 443 NEW BEST:: SOT 320837 SOS 207194 HAS SOPS 207194 HAS SOUS 108533 HAS SOUPS 108533 WITH SCORE 108740.194
AT ITER 458 NEW BEST:: SOT 320578 SOS 207081 HAS SOPS 207081 HAS SOUS 108533 HAS SOUPS 108533 WITH SCORE 108740.081
AT ITER 462 NEW BEST:: SOT 320448 SOS 206339 HAS SOPS 206339 HAS SOUS 108311 HAS SOUPS 108311 WITH SCORE 108517.339
AT ITER 463 NEW BEST:: SOT 320448 SOS 206339 HAS SOPS 206339 HAS SOUS 108309 HAS SOUPS 108309 WITH SCORE 108515.339
AT ITER 464 NEW BEST:: SOT 320426 SOS 206317 HAS SOPS 206317 HAS SOUS 108292 HAS SOUPS 108292 WITH SCORE 108498.317
AT ITER 466 NEW BEST:: SOT 320385 SOS 206239 HAS SOPS 206239 HAS SOUS 108214 HAS SOUPS 108214 WITH SCORE 108420.239
AT ITER 468 NEW BEST:: SOT 320254 SOS 206108 HAS SOPS 206108 HAS SOUS 108214 HAS SOUPS 108214 WITH SCORE 108420.108
AT ITER 477 NEW BEST:: SOT 319979 SOS 205978 HAS SOPS 205978 HAS SOUS 108005 HAS SOUPS 108005 WITH SCORE 108210.978
AT ITER 486 NEW BEST:: SOT 319978 SOS 205977 HAS SOPS 205977 HAS SOUS 108004 HAS SOUPS 108004 WITH SCORE 108209.977
AT ITER 510 NEW BEST:: SOT 319859 SOS 205699 HAS SOPS 205699 HAS SOUS 107832 HAS SOUPS 107832 WITH SCORE 108037.699
AT ITER 522 NEW BEST:: SOT 319856 SOS 204405 HAS SOPS 204405 HAS SOUS 107771 HAS SOUPS 107771 WITH SCORE 107975.405
AT ITER 533 NEW BEST:: SOT 319889 SOS 203990 HAS SOPS 203990 HAS SOUS 107616 HAS SOUPS 107616 WITH SCORE 107819.99
AT ITER 534 NEW BEST:: SOT 319871 SOS 203854 HAS SOPS 203854 HAS SOUS 107570 HAS SOUPS 107570 WITH SCORE 107773.854
AT ITER 536 NEW BEST:: SOT 319849 SOS 203810 HAS SOPS 203810 HAS SOUS 107504 HAS SOUPS 107504 WITH SCORE 107707.81
AT ITER 537 NEW BEST:: SOT 319849 SOS 203790 HAS SOPS 203790 HAS SOUS 107504 HAS SOUPS 107504 WITH SCORE 107707.79
AT ITER 549 NEW BEST:: SOT 318217 SOS 202158 HAS SOPS 202158 HAS SOUS 105872 HAS SOUPS 105872 WITH SCORE 106074.158
AT ITER 559 NEW BEST:: SOT 318191 SOS 202132 HAS SOPS 202132 HAS SOUS 105846 HAS SOUPS 105846 WITH SCORE 106048.132
AT ITER 565 NEW BEST:: SOT 315848 SOS 199789 HAS SOPS 199789 HAS SOUS 103503 HAS SOUPS 103503 WITH SCORE 103702.789
AT ITER 575 NEW BEST:: SOT 315848 SOS 199716 HAS SOPS 199716 HAS SOUS 103502 HAS SOUPS 103502 WITH SCORE 103701.716
AT ITER 576 NEW BEST:: SOT 315656 SOS 198985 HAS SOPS 198985 HAS SOUS 103061 HAS SOUPS 103061 WITH SCORE 103259.985
AT ITER 587 NEW BEST:: SOT 315651 SOS 198980 HAS SOPS 198980 HAS SOUS 103056 HAS SOUPS 103056 WITH SCORE 103254.98
AT ITER 588 NEW BEST:: SOT 315580 SOS 198909 HAS SOPS 198909 HAS SOUS 103049 HAS SOUPS 103049 WITH SCORE 103247.909
AT ITER 598 NEW BEST:: SOT 315577 SOS 198792 HAS SOPS 198792 HAS SOUS 102960 HAS SOUPS 102960 WITH SCORE 103158.792
AT ITER 605 NEW BEST:: SOT 315491 SOS 198706 HAS SOPS 198706 HAS SOUS 102914 HAS SOUPS 102914 WITH SCORE 103112.706
AT ITER 606 NEW BEST:: SOT 315203 SOS 198418 HAS SOPS 198418 HAS SOUS 102590 HAS SOUPS 102590 WITH SCORE 102788.418
AT ITER 608 NEW BEST:: SOT 315133 SOS 198157 HAS SOPS 198157 HAS SOUS 102404 HAS SOUPS 102404 WITH SCORE 102602.157
AT ITER 614 NEW BEST:: SOT 314836 SOS 197860 HAS SOPS 197860 HAS SOUS 102272 HAS SOUPS 102272 WITH SCORE 102469.86
AT ITER 634 NEW BEST:: SOT 314743 SOS 197767 HAS SOPS 197767 HAS SOUS 102177 HAS SOUPS 102177 WITH SCORE 102374.767
AT ITER 638 NEW BEST:: SOT 314743 SOS 197697 HAS SOPS 197697 HAS SOUS 102037 HAS SOUPS 102037 WITH SCORE 102234.697
AT ITER 642 NEW BEST:: SOT 314524 SOS 197241 HAS SOPS 197241 HAS SOUS 101682 HAS SOUPS 101682 WITH SCORE 101879.241
AT ITER 649 NEW BEST:: SOT 314167 SOS 197564 HAS SOPS 197564 HAS SOUS 101408 HAS SOUPS 101408 WITH SCORE 101605.564
AT ITER 655 NEW BEST:: SOT 314132 SOS 197490 HAS SOPS 197490 HAS SOUS 101334 HAS SOUPS 101334 WITH SCORE 101531.49
AT ITER 669 NEW BEST:: SOT 314132 SOS 197490 HAS SOPS 197490 HAS SOUS 101255 HAS SOUPS 101255 WITH SCORE 101452.49
AT ITER 695 NEW BEST:: SOT 313992 SOS 197215 HAS SOPS 197215 HAS SOUS 100800 HAS SOUPS 100800 WITH SCORE 100997.215
AT ITER 700 NEW BEST:: SOT 313158 SOS 196280 HAS SOPS 196280 HAS SOUS 99865 HAS SOUPS 99865 WITH SCORE 100061.28
AT ITER 701 NEW BEST:: SOT 313049 SOS 195967 HAS SOPS 195967 HAS SOUS 99552 HAS SOUPS 99552 WITH SCORE 99747.967
AT ITER 713 NEW BEST:: SOT 313041 SOS 195340 HAS SOPS 195340 HAS SOUS 99242 HAS SOUPS 99242 WITH SCORE 99437.34
AT ITER 722 NEW BEST:: SOT 313068 SOS 194873 HAS SOPS 194873 HAS SOUS 99211 HAS SOUPS 99211 WITH SCORE 99405.873
AT ITER 728 NEW BEST:: SOT 312995 SOS 194809 HAS SOPS 194809 HAS SOUS 99198 HAS SOUPS 99198 WITH SCORE 99392.809
AT ITER 731 NEW BEST:: SOT 312956 SOS 194634 HAS SOPS 194634 HAS SOUS 99091 HAS SOUPS 99091 WITH SCORE 99285.634
AT ITER 751 NEW BEST:: SOT 312956 SOS 194493 HAS SOPS 194493 HAS SOUS 99010 HAS SOUPS 99010 WITH SCORE 99204.493
AT ITER 756 NEW BEST:: SOT 312953 SOS 194490 HAS SOPS 194490 HAS SOUS 99001 HAS SOUPS 99001 WITH SCORE 99195.49
AT ITER 760 NEW BEST:: SOT 312915 SOS 194478 HAS SOPS 194478 HAS SOUS 98978 HAS SOUPS 98978 WITH SCORE 99172.478
AT ITER 772 NEW BEST:: SOT 312778 SOS 194207 HAS SOPS 194207 HAS SOUS 98704 HAS SOUPS 98704 WITH SCORE 98898.207
AT ITER 779 NEW BEST:: SOT 312717 SOS 193648 HAS SOPS 193648 HAS SOUS 98630 HAS SOUPS 98630 WITH SCORE 98823.648
AT ITER 785 NEW BEST:: SOT 312467 SOS 193398 HAS SOPS 193398 HAS SOUS 98380 HAS SOUPS 98380 WITH SCORE 98573.398
AT ITER 786 NEW BEST:: SOT 312083 SOS 193323 HAS SOPS 193323 HAS SOUS 98038 HAS SOUPS 98038 WITH SCORE 98231.323
AT ITER 792 NEW BEST:: SOT 312044 SOS 192526 HAS SOPS 192526 HAS SOUS 97358 HAS SOUPS 97358 WITH SCORE 97550.526
AT ITER 796 NEW BEST:: SOT 312044 SOS 192510 HAS SOPS 192510 HAS SOUS 97357 HAS SOUPS 97357 WITH SCORE 97549.51
AT ITER 804 NEW BEST:: SOT 312041 SOS 192507 HAS SOPS 192507 HAS SOUS 97354 HAS SOUPS 97354 WITH SCORE 97546.507
AT ITER 808 NEW BEST:: SOT 311982 SOS 192448 HAS SOPS 192448 HAS SOUS 97294 HAS SOUPS 97294 WITH SCORE 97486.448
AT ITER 820 NEW BEST:: SOT 311953 SOS 192415 HAS SOPS 192415 HAS SOUS 97263 HAS SOUPS 97263 WITH SCORE 97455.415
AT ITER 833 NEW BEST:: SOT 311873 SOS 192256 HAS SOPS 192256 HAS SOUS 97141 HAS SOUPS 97141 WITH SCORE 97333.256
AT ITER 836 NEW BEST:: SOT 311846 SOS 192227 HAS SOPS 192227 HAS SOUS 97114 HAS SOUPS 97114 WITH SCORE 97306.227
AT ITER 842 NEW BEST:: SOT 312324 SOS 191703 HAS SOPS 191703 HAS SOUS 97045 HAS SOUPS 97045 WITH SCORE 97236.703
AT ITER 849 NEW BEST:: SOT 312474 SOS 191730 HAS SOPS 191730 HAS SOUS 96666 HAS SOUPS 96666 WITH SCORE 96857.73
AT ITER 859 NEW BEST:: SOT 312474 SOS 191496 HAS SOPS 191496 HAS SOUS 96606 HAS SOUPS 96606 WITH SCORE 96797.496
AT ITER 879 NEW BEST:: SOT 312400 SOS 191422 HAS SOPS 191422 HAS SOUS 96446 HAS SOUPS 96446 WITH SCORE 96637.422
AT ITER 890 NEW BEST:: SOT 312400 SOS 191487 HAS SOPS 191487 HAS SOUS 96445 HAS SOUPS 96445 WITH SCORE 96636.487
AT ITER 896 NEW BEST:: SOT 312400 SOS 191298 HAS SOPS 191298 HAS SOUS 96405 HAS SOUPS 96405 WITH SCORE 96596.298
AT ITER 903 NEW BEST:: SOT 312399 SOS 191297 HAS SOPS 191297 HAS SOUS 96404 HAS SOUPS 96404 WITH SCORE 96595.297
AT ITER 904 NEW BEST:: SOT 310073 SOS 188897 HAS SOPS 188897 HAS SOUS 94004 HAS SOUPS 94004 WITH SCORE 94192.897
AT ITER 906 NEW BEST:: SOT 310064 SOS 188888 HAS SOPS 188888 HAS SOUS 93995 HAS SOUPS 93995 WITH SCORE 94183.888
AT ITER 911 NEW BEST:: SOT 309936 SOS 188760 HAS SOPS 188760 HAS SOUS 93867 HAS SOUPS 93867 WITH SCORE 94055.76
AT ITER 931 NEW BEST:: SOT 309624 SOS 188754 HAS SOPS 188754 HAS SOUS 93358 HAS SOUPS 93358 WITH SCORE 93546.754
AT ITER 937 NEW BEST:: SOT 309459 SOS 188589 HAS SOPS 188589 HAS SOUS 93193 HAS SOUPS 93193 WITH SCORE 93381.589
AT ITER 957 NEW BEST:: SOT 309417 SOS 188547 HAS SOPS 188547 HAS SOUS 93137 HAS SOUPS 93137 WITH SCORE 93325.547
AT ITER 961 NEW BEST:: SOT 309415 SOS 188399 HAS SOPS 188399 HAS SOUS 93133 HAS SOUPS 93133 WITH SCORE 93321.399
AT ITER 967 NEW BEST:: SOT 309411 SOS 188066 HAS SOPS 188066 HAS SOUS 93117 HAS SOUPS 93117 WITH SCORE 93305.066
AT ITER 978 NEW BEST:: SOT 309099 SOS 188102 HAS SOPS 188102 HAS SOUS 92805 HAS SOUPS 92805 WITH SCORE 92993.102
AT ITER 981 NEW BEST:: SOT 309150 SOS 187899 HAS SOPS 187899 HAS SOUS 92754 HAS SOUPS 92754 WITH SCORE 92941.899
AT ITER 994 NEW BEST:: SOT 309150 SOS 187857 HAS SOPS 187857 HAS SOUS 92741 HAS SOUPS 92741 WITH SCORE 92928.857
AT ITER 1001 NEW BEST:: SOT 308904 SOS 187845 HAS SOPS 187845 HAS SOUS 92613 HAS SOUPS 92613 WITH SCORE 92800.845
AT ITER 1008 NEW BEST:: SOT 308816 SOS 187757 HAS SOPS 187757 HAS SOUS 92453 HAS SOUPS 92453 WITH SCORE 92640.757
AT ITER 1010 NEW BEST:: SOT 307696 SOS 186986 HAS SOPS 186986 HAS SOUS 91422 HAS SOUPS 91422 WITH SCORE 91608.986
AT ITER 1027 NEW BEST:: SOT 307674 SOS 186971 HAS SOPS 186971 HAS SOUS 91407 HAS SOUPS 91407 WITH SCORE 91593.971
AT ITER 1031 NEW BEST:: SOT 307385 SOS 186483 HAS SOPS 186483 HAS SOUS 91086 HAS SOUPS 91086 WITH SCORE 91272.483
AT ITER 1037 NEW BEST:: SOT 305397 SOS 184638 HAS SOPS 184638 HAS SOUS 89204 HAS SOUPS 89204 WITH SCORE 89388.638
AT ITER 1039 NEW BEST:: SOT 305416 SOS 184635 HAS SOPS 184635 HAS SOUS 89199 HAS SOUPS 89199 WITH SCORE 89383.635
AT ITER 1041 NEW BEST:: SOT 305391 SOS 184605 HAS SOPS 184605 HAS SOUS 89169 HAS SOUPS 89169 WITH SCORE 89353.605
AT ITER 1045 NEW BEST:: SOT 305226 SOS 184270 HAS SOPS 184270 HAS SOUS 88838 HAS SOUPS 88838 WITH SCORE 89022.27
AT ITER 1053 NEW BEST:: SOT 305141 SOS 184221 HAS SOPS 184221 HAS SOUS 88828 HAS SOUPS 88828 WITH SCORE 89012.221
AT ITER 1058 NEW BEST:: SOT 305136 SOS 184216 HAS SOPS 184216 HAS SOUS 88821 HAS SOUPS 88821 WITH SCORE 89005.216
AT ITER 1060 NEW BEST:: SOT 305143 SOS 184223 HAS SOPS 184223 HAS SOUS 88801 HAS SOUPS 88801 WITH SCORE 88985.223
AT ITER 1068 NEW BEST:: SOT 305110 SOS 184157 HAS SOPS 184157 HAS SOUS 88537 HAS SOUPS 88537 WITH SCORE 88721.157
AT ITER 1075 NEW BEST:: SOT 304401 SOS 183720 HAS SOPS 183720 HAS SOUS 87862 HAS SOUPS 87862 WITH SCORE 88045.72
AT ITER 1088 NEW BEST:: SOT 303984 SOS 183452 HAS SOPS 183452 HAS SOUS 87594 HAS SOUPS 87594 WITH SCORE 87777.452
AT ITER 1093 NEW BEST:: SOT 303982 SOS 183428 HAS SOPS 183428 HAS SOUS 87570 HAS SOUPS 87570 WITH SCORE 87753.428
AT ITER 1104 NEW BEST:: SOT 303982 SOS 183424 HAS SOPS 183424 HAS SOUS 87566 HAS SOUPS 87566 WITH SCORE 87749.424
AT ITER 1106 NEW BEST:: SOT 303903 SOS 183345 HAS SOPS 183345 HAS SOUS 87487 HAS SOUPS 87487 WITH SCORE 87670.345
AT ITER 1127 NEW BEST:: SOT 303937 SOS 183344 HAS SOPS 183344 HAS SOUS 87485 HAS SOUPS 87485 WITH SCORE 87668.344
AT ITER 1130 NEW BEST:: SOT 303898 SOS 183305 HAS SOPS 183305 HAS SOUS 87446 HAS SOUPS 87446 WITH SCORE 87629.305
AT ITER 1148 NEW BEST:: SOT 303898 SOS 183305 HAS SOPS 183305 HAS SOUS 87433 HAS SOUPS 87433 WITH SCORE 87616.305
AT ITER 1150 NEW BEST:: SOT 303762 SOS 183030 HAS SOPS 183030 HAS SOUS 87158 HAS SOUPS 87158 WITH SCORE 87341.03
AT ITER 1157 NEW BEST:: SOT 303635 SOS 182984 HAS SOPS 182984 HAS SOUS 87133 HAS SOUPS 87133 WITH SCORE 87315.984
AT ITER 1158 NEW BEST:: SOT 303618 SOS 182923 HAS SOPS 182923 HAS SOUS 87072 HAS SOUPS 87072 WITH SCORE 87254.923
AT ITER 1161 NEW BEST:: SOT 303571 SOS 182841 HAS SOPS 182841 HAS SOUS 86937 HAS SOUPS 86937 WITH SCORE 87119.841
AT ITER 1170 NEW BEST:: SOT 303372 SOS 182144 HAS SOPS 182144 HAS SOUS 86767 HAS SOUPS 86767 WITH SCORE 86949.144
AT ITER 1183 NEW BEST:: SOT 303369 SOS 182158 HAS SOPS 182158 HAS SOUS 86704 HAS SOUPS 86704 WITH SCORE 86886.158
AT ITER 1185 NEW BEST:: SOT 303331 SOS 182044 HAS SOPS 182044 HAS SOUS 86628 HAS SOUPS 86628 WITH SCORE 86810.044
AT ITER 1192 NEW BEST:: SOT 303145 SOS 181920 HAS SOPS 181920 HAS SOUS 86411 HAS SOUPS 86411 WITH SCORE 86592.92
AT ITER 1193 NEW BEST:: SOT 303127 SOS 181902 HAS SOPS 181902 HAS SOUS 86360 HAS SOUPS 86360 WITH SCORE 86541.902
AT ITER 1195 NEW BEST:: SOT 303044 SOS 181718 HAS SOPS 181718 HAS SOUS 86277 HAS SOUPS 86277 WITH SCORE 86458.718
AT ITER 1206 NEW BEST:: SOT 303039 SOS 181713 HAS SOPS 181713 HAS SOUS 86272 HAS SOUPS 86272 WITH SCORE 86453.713
AT ITER 1215 NEW BEST:: SOT 302937 SOS 181687 HAS SOPS 181687 HAS SOUS 86246 HAS SOUPS 86246 WITH SCORE 86427.687
AT ITER 1273 NEW BEST:: SOT 302752 SOS 181631 HAS SOPS 181631 HAS SOUS 86120 HAS SOUPS 86120 WITH SCORE 86301.631
AT ITER 1274 NEW BEST:: SOT 302687 SOS 181566 HAS SOPS 181566 HAS SOUS 86044 HAS SOUPS 86044 WITH SCORE 86225.566
AT ITER 1295 NEW BEST:: SOT 302638 SOS 181517 HAS SOPS 181517 HAS SOUS 85988 HAS SOUPS 85988 WITH SCORE 86169.517
AT ITER 1297 NEW BEST:: SOT 302640 SOS 181519 HAS SOPS 181519 HAS SOUS 85920 HAS SOUPS 85920 WITH SCORE 86101.519
AT ITER 1298 NEW BEST:: SOT 302640 SOS 181520 HAS SOPS 181520 HAS SOUS 85919 HAS SOUPS 85919 WITH SCORE 86100.52
AT ITER 1304 NEW BEST:: SOT 302657 SOS 181554 HAS SOPS 181554 HAS SOUS 85825 HAS SOUPS 85825 WITH SCORE 86006.554
AT ITER 1317 NEW BEST:: SOT 302894 SOS 181003 HAS SOPS 181003 HAS SOUS 85672 HAS SOUPS 85672 WITH SCORE 85853.003
AT ITER 1329 NEW BEST:: SOT 302835 SOS 180921 HAS SOPS 180921 HAS SOUS 85649 HAS SOUPS 85649 WITH SCORE 85829.921
AT ITER 1331 NEW BEST:: SOT 302835 SOS 180841 HAS SOPS 180841 HAS SOUS 85609 HAS SOUPS 85609 WITH SCORE 85789.841
AT ITER 1341 NEW BEST:: SOT 302831 SOS 180685 HAS SOPS 180685 HAS SOUS 85458 HAS SOUPS 85458 WITH SCORE 85638.685
AT ITER 1344 NEW BEST:: SOT 302831 SOS 180619 HAS SOPS 180619 HAS SOUS 85392 HAS SOUPS 85392 WITH SCORE 85572.619
AT ITER 1346 NEW BEST:: SOT 302830 SOS 180618 HAS SOPS 180618 HAS SOUS 85389 HAS SOUPS 85389 WITH SCORE 85569.618
AT ITER 1348 NEW BEST:: SOT 302725 SOS 180235 HAS SOPS 180235 HAS SOUS 85006 HAS SOUPS 85006 WITH SCORE 85186.235
AT ITER 1350 NEW BEST:: SOT 302652 SOS 180162 HAS SOPS 180162 HAS SOUS 84933 HAS SOUPS 84933 WITH SCORE 85113.162
AT ITER 1377 NEW BEST:: SOT 302560 SOS 179984 HAS SOPS 179984 HAS SOUS 84823 HAS SOUPS 84823 WITH SCORE 85002.984
AT ITER 1378 NEW BEST:: SOT 302378 SOS 179966 HAS SOPS 179966 HAS SOUS 84671 HAS SOUPS 84671 WITH SCORE 84850.966
AT ITER 1384 NEW BEST:: SOT 302295 SOS 179090 HAS SOPS 179090 HAS SOUS 84198 HAS SOUPS 84198 WITH SCORE 84377.09
AT ITER 1387 NEW BEST:: SOT 302277 SOS 179028 HAS SOPS 179028 HAS SOUS 84171 HAS SOUPS 84171 WITH SCORE 84350.028
AT ITER 1392 NEW BEST:: SOT 302276 SOS 179025 HAS SOPS 179025 HAS SOUS 84169 HAS SOUPS 84169 WITH SCORE 84348.025
AT ITER 1402 NEW BEST:: SOT 302257 SOS 178999 HAS SOPS 178999 HAS SOUS 84145 HAS SOUPS 84145 WITH SCORE 84323.999
AT ITER 1403 NEW BEST:: SOT 302107 SOS 178723 HAS SOPS 178723 HAS SOUS 83830 HAS SOUPS 83830 WITH SCORE 84008.723
AT ITER 1406 NEW BEST:: SOT 302105 SOS 177601 HAS SOPS 177601 HAS SOUS 83822 HAS SOUPS 83822 WITH SCORE 83999.601
AT ITER 1412 NEW BEST:: SOT 302104 SOS 177589 HAS SOPS 177589 HAS SOUS 83810 HAS SOUPS 83810 WITH SCORE 83987.589
AT ITER 1420 NEW BEST:: SOT 301605 SOS 177090 HAS SOPS 177090 HAS SOUS 83311 HAS SOUPS 83311 WITH SCORE 83488.09
AT ITER 1439 NEW BEST:: SOT 301514 SOS 176999 HAS SOPS 176999 HAS SOUS 83208 HAS SOUPS 83208 WITH SCORE 83384.999
AT ITER 1442 NEW BEST:: SOT 301024 SOS 176624 HAS SOPS 176624 HAS SOUS 83188 HAS SOUPS 83188 WITH SCORE 83364.624
AT ITER 1448 NEW BEST:: SOT 301144 SOS 176582 HAS SOPS 176582 HAS SOUS 83126 HAS SOUPS 83126 WITH SCORE 83302.582
AT ITER 1450 NEW BEST:: SOT 301101 SOS 176539 HAS SOPS 176539 HAS SOUS 83065 HAS SOUPS 83065 WITH SCORE 83241.539
AT ITER 1478 NEW BEST:: SOT 301101 SOS 176388 HAS SOPS 176388 HAS SOUS 82968 HAS SOUPS 82968 WITH SCORE 83144.388
AT ITER 1498 NEW BEST:: SOT 300853 SOS 175900 HAS SOPS 175900 HAS SOUS 82906 HAS SOUPS 82906 WITH SCORE 83081.9
AT ITER 1501 NEW BEST:: SOT 300801 SOS 175840 HAS SOPS 175840 HAS SOUS 82810 HAS SOUPS 82810 WITH SCORE 82985.84
AT ITER 1504 NEW BEST:: SOT 300762 SOS 175801 HAS SOPS 175801 HAS SOUS 82771 HAS SOUPS 82771 WITH SCORE 82946.801
AT ITER 1522 NEW BEST:: SOT 300764 SOS 175784 HAS SOPS 175784 HAS SOUS 82754 HAS SOUPS 82754 WITH SCORE 82929.784
AT ITER 1524 NEW BEST:: SOT 300552 SOS 175419 HAS SOPS 175419 HAS SOUS 82442 HAS SOUPS 82442 WITH SCORE 82617.419
AT ITER 1525 NEW BEST:: SOT 300487 SOS 175289 HAS SOPS 175289 HAS SOUS 82320 HAS SOUPS 82320 WITH SCORE 82495.289
AT ITER 1532 NEW BEST:: SOT 300458 SOS 175231 HAS SOPS 175231 HAS SOUS 82263 HAS SOUPS 82263 WITH SCORE 82438.231
AT ITER 1533 NEW BEST:: SOT 300439 SOS 175212 HAS SOPS 175212 HAS SOUS 82244 HAS SOUPS 82244 WITH SCORE 82419.212
AT ITER 1541 NEW BEST:: SOT 300434 SOS 175212 HAS SOPS 175212 HAS SOUS 82239 HAS SOUPS 82239 WITH SCORE 82414.212
AT ITER 1574 NEW BEST:: SOT 300434 SOS 175081 HAS SOPS 175081 HAS SOUS 82108 HAS SOUPS 82108 WITH SCORE 82283.081
AT ITER 1581 NEW BEST:: SOT 300404 SOS 175051 HAS SOPS 175051 HAS SOUS 82007 HAS SOUPS 82007 WITH SCORE 82182.051
AT ITER 1614 NEW BEST:: SOT 300271 SOS 175018 HAS SOPS 175018 HAS SOUS 81974 HAS SOUPS 81974 WITH SCORE 82149.018
AT ITER 1621 NEW BEST:: SOT 300271 SOS 175010 HAS SOPS 175010 HAS SOUS 81966 HAS SOUPS 81966 WITH SCORE 82141.01
AT ITER 1635 NEW BEST:: SOT 300239 SOS 174978 HAS SOPS 174978 HAS SOUS 81742 HAS SOUPS 81742 WITH SCORE 81916.978
AT ITER 1638 NEW BEST:: SOT 300232 SOS 174891 HAS SOPS 174891 HAS SOUS 81655 HAS SOUPS 81655 WITH SCORE 81829.891
AT ITER 1667 NEW BEST:: SOT 297865 SOS 172524 HAS SOPS 172524 HAS SOUS 79288 HAS SOUPS 79288 WITH SCORE 79460.524
AT ITER 1670 NEW BEST:: SOT 297789 SOS 171946 HAS SOPS 171946 HAS SOUS 78710 HAS SOUPS 78710 WITH SCORE 78881.946
AT ITER 1676 NEW BEST:: SOT 297677 SOS 171776 HAS SOPS 171776 HAS SOUS 78540 HAS SOUPS 78540 WITH SCORE 78711.776
AT ITER 1695 NEW BEST:: SOT 297674 SOS 171770 HAS SOPS 171770 HAS SOUS 78540 HAS SOUPS 78540 WITH SCORE 78711.77
AT ITER 1715 NEW BEST:: SOT 297325 SOS 172642 HAS SOPS 172642 HAS SOUS 78489 HAS SOUPS 78489 WITH SCORE 78661.642
AT ITER 1722 NEW BEST:: SOT 297197 SOS 172498 HAS SOPS 172498 HAS SOUS 78473 HAS SOUPS 78473 WITH SCORE 78645.498
AT ITER 1723 NEW BEST:: SOT 297139 SOS 172455 HAS SOPS 172455 HAS SOUS 78394 HAS SOUPS 78394 WITH SCORE 78566.455
AT ITER 1728 NEW BEST:: SOT 296838 SOS 172589 HAS SOPS 172589 HAS SOUS 78045 HAS SOUPS 78045 WITH SCORE 78217.589
AT ITER 1730 NEW BEST:: SOT 296930 SOS 172801 HAS SOPS 172801 HAS SOUS 77964 HAS SOUPS 77964 WITH SCORE 78136.801
AT ITER 1744 NEW BEST:: SOT 296874 SOS 172801 HAS SOPS 172801 HAS SOUS 77960 HAS SOUPS 77960 WITH SCORE 78132.801
AT ITER 1759 NEW BEST:: SOT 296874 SOS 173042 HAS SOPS 173042 HAS SOUS 77930 HAS SOUPS 77930 WITH SCORE 78103.042
AT ITER 1772 NEW BEST:: SOT 296822 SOS 172990 HAS SOPS 172990 HAS SOUS 77878 HAS SOUPS 77878 WITH SCORE 78050.99
AT ITER 1777 NEW BEST:: SOT 295420 SOS 172049 HAS SOPS 172049 HAS SOUS 76474 HAS SOUPS 76474 WITH SCORE 76646.049
AT ITER 1779 NEW BEST:: SOT 295418 SOS 172045 HAS SOPS 172045 HAS SOUS 76472 HAS SOUPS 76472 WITH SCORE 76644.045
AT ITER 1810 NEW BEST:: SOT 295427 SOS 172054 HAS SOPS 172054 HAS SOUS 76434 HAS SOUPS 76434 WITH SCORE 76606.054
AT ITER 1814 NEW BEST:: SOT 295227 SOS 171854 HAS SOPS 171854 HAS SOUS 76213 HAS SOUPS 76213 WITH SCORE 76384.854
AT ITER 1816 NEW BEST:: SOT 295324 SOS 171349 HAS SOPS 171349 HAS SOUS 76184 HAS SOUPS 76184 WITH SCORE 76355.349
AT ITER 1824 NEW BEST:: SOT 295343 SOS 171368 HAS SOPS 171368 HAS SOUS 76165 HAS SOUPS 76165 WITH SCORE 76336.368
AT ITER 1825 NEW BEST:: SOT 295366 SOS 171391 HAS SOPS 171391 HAS SOUS 76143 HAS SOUPS 76143 WITH SCORE 76314.391
AT ITER 1859 NEW BEST:: SOT 295352 SOS 171276 HAS SOPS 171276 HAS SOUS 76082 HAS SOUPS 76082 WITH SCORE 76253.276
AT ITER 1869 NEW BEST:: SOT 295219 SOS 171359 HAS SOPS 171359 HAS SOUS 76030 HAS SOUPS 76030 WITH SCORE 76201.359
AT ITER 1884 NEW BEST:: SOT 295211 SOS 171351 HAS SOPS 171351 HAS SOUS 76014 HAS SOUPS 76014 WITH SCORE 76185.351
AT ITER 1894 NEW BEST:: SOT 295167 SOS 171263 HAS SOPS 171263 HAS SOUS 75976 HAS SOUPS 75976 WITH SCORE 76147.263
AT ITER 1895 NEW BEST:: SOT 295200 SOS 171180 HAS SOPS 171180 HAS SOUS 75893 HAS SOUPS 75893 WITH SCORE 76064.18
AT ITER 1906 NEW BEST:: SOT 295198 SOS 171178 HAS SOPS 171178 HAS SOUS 75891 HAS SOUPS 75891 WITH SCORE 76062.178
AT ITER 1907 NEW BEST:: SOT 294378 SOS 170358 HAS SOPS 170358 HAS SOUS 75067 HAS SOUPS 75067 WITH SCORE 75237.358
AT ITER 1917 NEW BEST:: SOT 294248 SOS 170239 HAS SOPS 170239 HAS SOUS 74947 HAS SOUPS 74947 WITH SCORE 75117.239
AT ITER 1920 NEW BEST:: SOT 294248 SOS 170239 HAS SOPS 170239 HAS SOUS 74942 HAS SOUPS 74942 WITH SCORE 75112.239
AT ITER 1943 NEW BEST:: SOT 293828 SOS 171403 HAS SOPS 171403 HAS SOUS 74470 HAS SOUPS 74470 WITH SCORE 74641.403
AT ITER 1945 NEW BEST:: SOT 293812 SOS 171387 HAS SOPS 171387 HAS SOUS 74438 HAS SOUPS 74438 WITH SCORE 74609.387
AT ITER 1966 NEW BEST:: SOT 293586 SOS 171176 HAS SOPS 171176 HAS SOUS 74227 HAS SOUPS 74227 WITH SCORE 74398.176
AT ITER 1969 NEW BEST:: SOT 293586 SOS 171124 HAS SOPS 171124 HAS SOUS 74177 HAS SOUPS 74177 WITH SCORE 74348.124
AT ITER 1976 NEW BEST:: SOT 293438 SOS 170976 HAS SOPS 170976 HAS SOUS 74088 HAS SOUPS 74088 WITH SCORE 74258.976
AT ITER 1980 NEW BEST:: SOT 293438 SOS 170976 HAS SOPS 170976 HAS SOUS 74087 HAS SOUPS 74087 WITH SCORE 74257.976
AT ITER 2015 NEW BEST:: SOT 293426 SOS 170962 HAS SOPS 170962 HAS SOUS 73855 HAS SOUPS 73855 WITH SCORE 74025.962
AT ITER 2030 NEW BEST:: SOT 293206 SOS 170311 HAS SOPS 170311 HAS SOUS 73382 HAS SOUPS 73382 WITH SCORE 73552.311
AT ITER 2045 NEW BEST:: SOT 293159 SOS 169897 HAS SOPS 169897 HAS SOUS 73325 HAS SOUPS 73325 WITH SCORE 73494.897
AT ITER 2046 NEW BEST:: SOT 293075 SOS 169796 HAS SOPS 169796 HAS SOUS 73212 HAS SOUPS 73212 WITH SCORE 73381.796
AT ITER 2061 NEW BEST:: SOT 293100 SOS 169827 HAS SOPS 169827 HAS SOUS 72996 HAS SOUPS 72996 WITH SCORE 73165.827
AT ITER 2089 NEW BEST:: SOT 293100 SOS 169789 HAS SOPS 169789 HAS SOUS 72996 HAS SOUPS 72996 WITH SCORE 73165.789
AT ITER 2093 NEW BEST:: SOT 293075 SOS 169764 HAS SOPS 169764 HAS SOUS 72958 HAS SOUPS 72958 WITH SCORE 73127.764
AT ITER 2113 NEW BEST:: SOT 293028 SOS 169706 HAS SOPS 169706 HAS SOUS 72939 HAS SOUPS 72939 WITH SCORE 73108.706
AT ITER 2131 NEW BEST:: SOT 292985 SOS 169663 HAS SOPS 169663 HAS SOUS 72896 HAS SOUPS 72896 WITH SCORE 73065.663
AT ITER 2160 NEW BEST:: SOT 292985 SOS 169627 HAS SOPS 169627 HAS SOUS 72860 HAS SOUPS 72860 WITH SCORE 73029.627
AT ITER 2173 NEW BEST:: SOT 292934 SOS 169707 HAS SOPS 169707 HAS SOUS 72825 HAS SOUPS 72825 WITH SCORE 72994.707
AT ITER 2180 NEW BEST:: SOT 292776 SOS 169529 HAS SOPS 169529 HAS SOUS 72647 HAS SOUPS 72647 WITH SCORE 72816.529
AT ITER 2247 NEW BEST:: SOT 292752 SOS 169505 HAS SOPS 169505 HAS SOUS 72623 HAS SOUPS 72623 WITH SCORE 72792.505
AT ITER 2248 NEW BEST:: SOT 292759 SOS 169482 HAS SOPS 169482 HAS SOUS 72600 HAS SOUPS 72600 WITH SCORE 72769.482
AT ITER 2257 NEW BEST:: SOT 292738 SOS 169445 HAS SOPS 169445 HAS SOUS 72571 HAS SOUPS 72571 WITH SCORE 72740.445
AT ITER 2266 NEW BEST:: SOT 292738 SOS 169427 HAS SOPS 169427 HAS SOUS 72508 HAS SOUPS 72508 WITH SCORE 72677.427
AT ITER 2275 NEW BEST:: SOT 292651 SOS 169453 HAS SOPS 169453 HAS SOUS 72487 HAS SOUPS 72487 WITH SCORE 72656.453
AT ITER 2286 NEW BEST:: SOT 292721 SOS 169493 HAS SOPS 169493 HAS SOUS 72481 HAS SOUPS 72481 WITH SCORE 72650.493
AT ITER 2287 NEW BEST:: SOT 292337 SOS 169131 HAS SOPS 169131 HAS SOUS 72328 HAS SOUPS 72328 WITH SCORE 72497.131
AT ITER 2308 NEW BEST:: SOT 292094 SOS 168640 HAS SOPS 168640 HAS SOUS 72079 HAS SOUPS 72079 WITH SCORE 72247.64
AT ITER 2320 NEW BEST:: SOT 292082 SOS 168413 HAS SOPS 168413 HAS SOUS 72055 HAS SOUPS 72055 WITH SCORE 72223.413
AT ITER 2330 NEW BEST:: SOT 292058 SOS 168383 HAS SOPS 168383 HAS SOUS 72031 HAS SOUPS 72031 WITH SCORE 72199.383
AT ITER 2331 NEW BEST:: SOT 292050 SOS 168367 HAS SOPS 168367 HAS SOUS 72015 HAS SOUPS 72015 WITH SCORE 72183.367
AT ITER 2335 NEW BEST:: SOT 291913 SOS 168077 HAS SOPS 168077 HAS SOUS 71794 HAS SOUPS 71794 WITH SCORE 71962.077
AT ITER 2344 NEW BEST:: SOT 291868 SOS 167964 HAS SOPS 167964 HAS SOUS 71704 HAS SOUPS 71704 WITH SCORE 71871.964
AT ITER 2346 NEW BEST:: SOT 291868 SOS 167770 HAS SOPS 167770 HAS SOUS 71704 HAS SOUPS 71704 WITH SCORE 71871.77
AT ITER 2386 NEW BEST:: SOT 291686 SOS 167588 HAS SOPS 167588 HAS SOUS 71522 HAS SOUPS 71522 WITH SCORE 71689.588
AT ITER 2387 NEW BEST:: SOT 291652 SOS 167646 HAS SOPS 167646 HAS SOUS 71430 HAS SOUPS 71430 WITH SCORE 71597.646
AT ITER 2414 NEW BEST:: SOT 291606 SOS 167635 HAS SOPS 167635 HAS SOUS 71418 HAS SOUPS 71418 WITH SCORE 71585.635
AT ITER 2429 NEW BEST:: SOT 291606 SOS 167619 HAS SOPS 167619 HAS SOUS 71418 HAS SOUPS 71418 WITH SCORE 71585.619
AT ITER 2434 NEW BEST:: SOT 291535 SOS 167256 HAS SOPS 167256 HAS SOUS 71241 HAS SOUPS 71241 WITH SCORE 71408.256
AT ITER 2460 NEW BEST:: SOT 291167 SOS 168227 HAS SOPS 168227 HAS SOUS 71111 HAS SOUPS 71111 WITH SCORE 71279.227
AT ITER 2466 NEW BEST:: SOT 291159 SOS 167875 HAS SOPS 167875 HAS SOUS 71095 HAS SOUPS 71095 WITH SCORE 71262.875
AT ITER 2467 NEW BEST:: SOT 291150 SOS 167850 HAS SOPS 167850 HAS SOUS 71070 HAS SOUPS 71070 WITH SCORE 71237.85
AT ITER 2476 NEW BEST:: SOT 291052 SOS 167752 HAS SOPS 167752 HAS SOUS 71008 HAS SOUPS 71008 WITH SCORE 71175.752
AT ITER 2485 NEW BEST:: SOT 290973 SOS 167673 HAS SOPS 167673 HAS SOUS 70869 HAS SOUPS 70869 WITH SCORE 71036.673
AT ITER 2487 NEW BEST:: SOT 290613 SOS 167313 HAS SOPS 167313 HAS SOUS 70469 HAS SOUPS 70469 WITH SCORE 70636.313
AT ITER 2510 NEW BEST:: SOT 290689 SOS 167225 HAS SOPS 167225 HAS SOUS 70384 HAS SOUPS 70384 WITH SCORE 70551.225
AT ITER 2568 NEW BEST:: SOT 290710 SOS 167158 HAS SOPS 167158 HAS SOUS 70382 HAS SOUPS 70382 WITH SCORE 70549.158
AT ITER 2609 NEW BEST:: SOT 290612 SOS 167060 HAS SOPS 167060 HAS SOUS 70299 HAS SOUPS 70299 WITH SCORE 70466.06
AT ITER 2611 NEW BEST:: SOT 290582 SOS 167015 HAS SOPS 167015 HAS SOUS 70254 HAS SOUPS 70254 WITH SCORE 70421.015
AT ITER 2622 NEW BEST:: SOT 290554 SOS 166978 HAS SOPS 166978 HAS SOUS 70197 HAS SOUPS 70197 WITH SCORE 70363.978
AT ITER 2624 NEW BEST:: SOT 290483 SOS 166907 HAS SOPS 166907 HAS SOUS 70153 HAS SOUPS 70153 WITH SCORE 70319.907
AT ITER 2625 NEW BEST:: SOT 290483 SOS 166907 HAS SOPS 166907 HAS SOUS 70144 HAS SOUPS 70144 WITH SCORE 70310.907
AT ITER 2632 NEW BEST:: SOT 289466 SOS 166149 HAS SOPS 166149 HAS SOUS 69256 HAS SOUPS 69256 WITH SCORE 69422.149
AT ITER 2649 NEW BEST:: SOT 289416 SOS 166099 HAS SOPS 166099 HAS SOUS 69183 HAS SOUPS 69183 WITH SCORE 69349.099
AT ITER 2651 NEW BEST:: SOT 289395 SOS 166106 HAS SOPS 166106 HAS SOUS 69162 HAS SOUPS 69162 WITH SCORE 69328.106
AT ITER 2672 NEW BEST:: SOT 288960 SOS 165671 HAS SOPS 165671 HAS SOUS 68727 HAS SOUPS 68727 WITH SCORE 68892.671
AT ITER 2696 NEW BEST:: SOT 288960 SOS 165666 HAS SOPS 165666 HAS SOUS 68727 HAS SOUPS 68727 WITH SCORE 68892.666
AT ITER 2707 NEW BEST:: SOT 288781 SOS 165389 HAS SOPS 165389 HAS SOUS 68622 HAS SOUPS 68622 WITH SCORE 68787.389
AT ITER 2723 NEW BEST:: SOT 288727 SOS 165313 HAS SOPS 165313 HAS SOUS 68546 HAS SOUPS 68546 WITH SCORE 68711.313
AT ITER 2740 NEW BEST:: SOT 288709 SOS 165295 HAS SOPS 165295 HAS SOUS 68512 HAS SOUPS 68512 WITH SCORE 68677.295
AT ITER 2748 NEW BEST:: SOT 288709 SOS 165253 HAS SOPS 165253 HAS SOUS 68427 HAS SOUPS 68427 WITH SCORE 68592.253
AT ITER 2767 NEW BEST:: SOT 288760 SOS 165090 HAS SOPS 165090 HAS SOUS 68423 HAS SOUPS 68423 WITH SCORE 68588.09
AT ITER 2772 NEW BEST:: SOT 288730 SOS 165090 HAS SOPS 165090 HAS SOUS 68396 HAS SOUPS 68396 WITH SCORE 68561.09
AT ITER 2773 NEW BEST:: SOT 288707 SOS 164945 HAS SOPS 164945 HAS SOUS 68323 HAS SOUPS 68323 WITH SCORE 68487.945
AT ITER 2817 NEW BEST:: SOT 288673 SOS 164905 HAS SOPS 164905 HAS SOUS 68283 HAS SOUPS 68283 WITH SCORE 68447.905
AT ITER 2831 NEW BEST:: SOT 288625 SOS 164869 HAS SOPS 164869 HAS SOUS 68229 HAS SOUPS 68229 WITH SCORE 68393.869
AT ITER 2854 NEW BEST:: SOT 288628 SOS 164872 HAS SOPS 164872 HAS SOUS 68201 HAS SOUPS 68201 WITH SCORE 68365.872
AT ITER 2855 NEW BEST:: SOT 288599 SOS 164843 HAS SOPS 164843 HAS SOUS 68148 HAS SOUPS 68148 WITH SCORE 68312.843
AT ITER 2887 NEW BEST:: SOT 288586 SOS 164830 HAS SOPS 164830 HAS SOUS 68114 HAS SOUPS 68114 WITH SCORE 68278.83
AT ITER 2890 NEW BEST:: SOT 287039 SOS 163283 HAS SOPS 163283 HAS SOUS 66567 HAS SOUPS 66567 WITH SCORE 66730.283
AT ITER 2903 NEW BEST:: SOT 287044 SOS 163247 HAS SOPS 163247 HAS SOUS 66549 HAS SOUPS 66549 WITH SCORE 66712.247
AT ITER 2906 NEW BEST:: SOT 286986 SOS 163063 HAS SOPS 163063 HAS SOUS 66449 HAS SOUPS 66449 WITH SCORE 66612.063
AT ITER 2951 NEW BEST:: SOT 286896 SOS 161524 HAS SOPS 161524 HAS SOUS 66355 HAS SOUPS 66355 WITH SCORE 66516.524
AT ITER 2966 NEW BEST:: SOT 286244 SOS 161254 HAS SOPS 161254 HAS SOUS 66085 HAS SOUPS 66085 WITH SCORE 66246.254
AT ITER 2980 NEW BEST:: SOT 286199 SOS 161209 HAS SOPS 161209 HAS SOUS 65997 HAS SOUPS 65997 WITH SCORE 66158.209
AT ITER 2993 NEW BEST:: SOT 286199 SOS 161209 HAS SOPS 161209 HAS SOUS 65976 HAS SOUPS 65976 WITH SCORE 66137.209
AT ITER 3011 NEW BEST:: SOT 286176 SOS 161274 HAS SOPS 161274 HAS SOUS 65964 HAS SOUPS 65964 WITH SCORE 66125.274
AT ITER 3013 NEW BEST:: SOT 286176 SOS 161227 HAS SOPS 161227 HAS SOUS 65964 HAS SOUPS 65964 WITH SCORE 66125.227
AT ITER 3022 NEW BEST:: SOT 285990 SOS 160917 HAS SOPS 160917 HAS SOUS 65654 HAS SOUPS 65654 WITH SCORE 65814.917
AT ITER 3023 NEW BEST:: SOT 286056 SOS 160894 HAS SOPS 160894 HAS SOUS 65627 HAS SOUPS 65627 WITH SCORE 65787.894
AT ITER 3040 NEW BEST:: SOT 286033 SOS 160871 HAS SOPS 160871 HAS SOUS 65603 HAS SOUPS 65603 WITH SCORE 65763.871
AT ITER 3059 NEW BEST:: SOT 286004 SOS 160791 HAS SOPS 160791 HAS SOUS 65567 HAS SOUPS 65567 WITH SCORE 65727.791
AT ITER 3064 NEW BEST:: SOT 285992 SOS 160865 HAS SOPS 160865 HAS SOUS 65558 HAS SOUPS 65558 WITH SCORE 65718.865
AT ITER 3065 NEW BEST:: SOT 285989 SOS 160865 HAS SOPS 160865 HAS SOUS 65552 HAS SOUPS 65552 WITH SCORE 65712.865
AT ITER 3082 NEW BEST:: SOT 285979 SOS 160833 HAS SOPS 160833 HAS SOUS 65532 HAS SOUPS 65532 WITH SCORE 65692.833
AT ITER 3091 NEW BEST:: SOT 285937 SOS 161037 HAS SOPS 161037 HAS SOUS 65492 HAS SOUPS 65492 WITH SCORE 65653.037
AT ITER 3111 NEW BEST:: SOT 285936 SOS 161024 HAS SOPS 161024 HAS SOUS 65473 HAS SOUPS 65473 WITH SCORE 65634.024
AT ITER 3129 NEW BEST:: SOT 285920 SOS 160992 HAS SOPS 160992 HAS SOUS 65441 HAS SOUPS 65441 WITH SCORE 65601.992
AT ITER 3133 NEW BEST:: SOT 285840 SOS 160972 HAS SOPS 160972 HAS SOUS 65351 HAS SOUPS 65351 WITH SCORE 65511.972
AT ITER 3147 NEW BEST:: SOT 285783 SOS 160915 HAS SOPS 160915 HAS SOUS 65294 HAS SOUPS 65294 WITH SCORE 65454.915
AT ITER 3155 NEW BEST:: SOT 285909 SOS 160881 HAS SOPS 160881 HAS SOUS 65260 HAS SOUPS 65260 WITH SCORE 65420.881
AT ITER 3162 NEW BEST:: SOT 285864 SOS 160926 HAS SOPS 160926 HAS SOUS 65018 HAS SOUPS 65018 WITH SCORE 65178.926
AT ITER 3173 NEW BEST:: SOT 285871 SOS 160979 HAS SOPS 160979 HAS SOUS 65017 HAS SOUPS 65017 WITH SCORE 65177.979
AT ITER 3182 NEW BEST:: SOT 285871 SOS 160467 HAS SOPS 160467 HAS SOUS 64953 HAS SOUPS 64953 WITH SCORE 65113.467
AT ITER 3203 NEW BEST:: SOT 285871 SOS 160467 HAS SOPS 160467 HAS SOUS 64929 HAS SOUPS 64929 WITH SCORE 65089.467
AT ITER 3206 NEW BEST:: SOT 285912 SOS 160508 HAS SOPS 160508 HAS SOUS 64916 HAS SOUPS 64916 WITH SCORE 65076.508
AT ITER 3212 NEW BEST:: SOT 285876 SOS 160472 HAS SOPS 160472 HAS SOUS 64880 HAS SOUPS 64880 WITH SCORE 65040.472
AT ITER 3230 NEW BEST:: SOT 285876 SOS 160408 HAS SOPS 160408 HAS SOUS 64877 HAS SOUPS 64877 WITH SCORE 65037.408
AT ITER 3234 NEW BEST:: SOT 285852 SOS 160384 HAS SOPS 160384 HAS SOUS 64820 HAS SOUPS 64820 WITH SCORE 64980.384
AT ITER 3288 NEW BEST:: SOT 285802 SOS 160334 HAS SOPS 160334 HAS SOUS 64787 HAS SOUPS 64787 WITH SCORE 64947.334
AT ITER 3298 NEW BEST:: SOT 285802 SOS 160158 HAS SOPS 160158 HAS SOUS 64777 HAS SOUPS 64777 WITH SCORE 64937.158
AT ITER 3303 NEW BEST:: SOT 285802 SOS 160142 HAS SOPS 160142 HAS SOUS 64777 HAS SOUPS 64777 WITH SCORE 64937.142
AT ITER 3305 NEW BEST:: SOT 285720 SOS 160060 HAS SOPS 160060 HAS SOUS 64645 HAS SOUPS 64645 WITH SCORE 64805.06
AT ITER 3315 NEW BEST:: SOT 285715 SOS 160050 HAS SOPS 160050 HAS SOUS 64635 HAS SOUPS 64635 WITH SCORE 64795.05
AT ITER 3323 NEW BEST:: SOT 285715 SOS 160044 HAS SOPS 160044 HAS SOUS 64631 HAS SOUPS 64631 WITH SCORE 64791.044
AT ITER 3327 NEW BEST:: SOT 285715 SOS 159598 HAS SOPS 159598 HAS SOUS 64577 HAS SOUPS 64577 WITH SCORE 64736.598
AT ITER 3334 NEW BEST:: SOT 285680 SOS 159563 HAS SOPS 159563 HAS SOUS 64542 HAS SOUPS 64542 WITH SCORE 64701.563
AT ITER 3370 NEW BEST:: SOT 285680 SOS 159547 HAS SOPS 159547 HAS SOUS 64534 HAS SOUPS 64534 WITH SCORE 64693.547
AT ITER 3379 NEW BEST:: SOT 285663 SOS 159506 HAS SOPS 159506 HAS SOUS 64485 HAS SOUPS 64485 WITH SCORE 64644.506
AT ITER 3380 NEW BEST:: SOT 285581 SOS 159378 HAS SOPS 159378 HAS SOUS 64387 HAS SOUPS 64387 WITH SCORE 64546.378
AT ITER 3382 NEW BEST:: SOT 285576 SOS 159355 HAS SOPS 159355 HAS SOUS 64369 HAS SOUPS 64369 WITH SCORE 64528.355
AT ITER 3390 NEW BEST:: SOT 285448 SOS 159227 HAS SOPS 159227 HAS SOUS 64239 HAS SOUPS 64239 WITH SCORE 64398.227
AT ITER 3396 NEW BEST:: SOT 285352 SOS 158707 HAS SOPS 158707 HAS SOUS 64116 HAS SOUPS 64116 WITH SCORE 64274.707
AT ITER 3413 NEW BEST:: SOT 285352 SOS 158521 HAS SOPS 158521 HAS SOUS 64116 HAS SOUPS 64116 WITH SCORE 64274.521
AT ITER 3416 NEW BEST:: SOT 285352 SOS 158521 HAS SOPS 158521 HAS SOUS 64034 HAS SOUPS 64034 WITH SCORE 64192.521
AT ITER 3448 NEW BEST:: SOT 285352 SOS 158516 HAS SOPS 158516 HAS SOUS 64034 HAS SOUPS 64034 WITH SCORE 64192.516
AT ITER 3453 NEW BEST:: SOT 285333 SOS 158497 HAS SOPS 158497 HAS SOUS 64015 HAS SOUPS 64015 WITH SCORE 64173.497
AT ITER 3455 NEW BEST:: SOT 285270 SOS 158415 HAS SOPS 158415 HAS SOUS 63933 HAS SOUPS 63933 WITH SCORE 64091.415
AT ITER 3476 NEW BEST:: SOT 285278 SOS 158423 HAS SOPS 158423 HAS SOUS 63924 HAS SOUPS 63924 WITH SCORE 64082.423
AT ITER 3477 NEW BEST:: SOT 285113 SOS 158258 HAS SOPS 158258 HAS SOUS 63759 HAS SOUPS 63759 WITH SCORE 63917.258
AT ITER 3478 NEW BEST:: SOT 285110 SOS 158405 HAS SOPS 158405 HAS SOUS 63706 HAS SOUPS 63706 WITH SCORE 63864.405
AT ITER 3483 NEW BEST:: SOT 285110 SOS 158303 HAS SOPS 158303 HAS SOUS 63706 HAS SOUPS 63706 WITH SCORE 63864.303
AT ITER 3504 NEW BEST:: SOT 285110 SOS 158266 HAS SOPS 158266 HAS SOUS 63706 HAS SOUPS 63706 WITH SCORE 63864.266
AT ITER 3506 NEW BEST:: SOT 285098 SOS 158254 HAS SOPS 158254 HAS SOUS 63682 HAS SOUPS 63682 WITH SCORE 63840.254
AT ITER 3537 NEW BEST:: SOT 285073 SOS 158281 HAS SOPS 158281 HAS SOUS 63519 HAS SOUPS 63519 WITH SCORE 63677.281
AT ITER 3550 NEW BEST:: SOT 285069 SOS 158277 HAS SOPS 158277 HAS SOUS 63507 HAS SOUPS 63507 WITH SCORE 63665.277
AT ITER 3566 NEW BEST:: SOT 285111 SOS 158030 HAS SOPS 158030 HAS SOUS 63399 HAS SOUPS 63399 WITH SCORE 63557.03
AT ITER 3597 NEW BEST:: SOT 285041 SOS 158094 HAS SOPS 158094 HAS SOUS 63286 HAS SOUPS 63286 WITH SCORE 63444.094
AT ITER 3600 NEW BEST:: SOT 285349 SOS 158398 HAS SOPS 158398 HAS SOUS 63200 HAS SOUPS 63200 WITH SCORE 63358.398
AT ITER 3621 NEW BEST:: SOT 285389 SOS 158438 HAS SOPS 158438 HAS SOUS 63178 HAS SOUPS 63178 WITH SCORE 63336.438
AT ITER 3622 NEW BEST:: SOT 285389 SOS 158265 HAS SOPS 158265 HAS SOUS 63165 HAS SOUPS 63165 WITH SCORE 63323.265
AT ITER 3630 NEW BEST:: SOT 285360 SOS 158236 HAS SOPS 158236 HAS SOUS 63107 HAS SOUPS 63107 WITH SCORE 63265.236
AT ITER 3631 NEW BEST:: SOT 285216 SOS 158144 HAS SOPS 158144 HAS SOUS 63012 HAS SOUPS 63012 WITH SCORE 63170.144
AT ITER 3642 NEW BEST:: SOT 285040 SOS 157968 HAS SOPS 157968 HAS SOUS 62937 HAS SOUPS 62937 WITH SCORE 63094.968
AT ITER 3644 NEW BEST:: SOT 284951 SOS 157810 HAS SOPS 157810 HAS SOUS 62852 HAS SOUPS 62852 WITH SCORE 63009.81
AT ITER 3645 NEW BEST:: SOT 284901 SOS 157760 HAS SOPS 157760 HAS SOUS 62802 HAS SOUPS 62802 WITH SCORE 62959.76
AT ITER 3652 NEW BEST:: SOT 284932 SOS 157845 HAS SOPS 157845 HAS SOUS 62737 HAS SOUPS 62737 WITH SCORE 62894.845
AT ITER 3677 NEW BEST:: SOT 284932 SOS 157845 HAS SOPS 157845 HAS SOUS 62716 HAS SOUPS 62716 WITH SCORE 62873.845
AT ITER 3682 NEW BEST:: SOT 284897 SOS 157810 HAS SOPS 157810 HAS SOUS 62635 HAS SOUPS 62635 WITH SCORE 62792.81
AT ITER 3684 NEW BEST:: SOT 284894 SOS 157804 HAS SOPS 157804 HAS SOUS 62629 HAS SOUPS 62629 WITH SCORE 62786.804
AT ITER 3690 NEW BEST:: SOT 284894 SOS 157804 HAS SOPS 157804 HAS SOUS 62594 HAS SOUPS 62594 WITH SCORE 62751.804
AT ITER 3693 NEW BEST:: SOT 284893 SOS 157796 HAS SOPS 157796 HAS SOUS 62592 HAS SOUPS 62592 WITH SCORE 62749.796
AT ITER 3695 NEW BEST:: SOT 284893 SOS 157815 HAS SOPS 157815 HAS SOUS 62585 HAS SOUPS 62585 WITH SCORE 62742.815
AT ITER 3714 NEW BEST:: SOT 284926 SOS 157753 HAS SOPS 157753 HAS SOUS 62523 HAS SOUPS 62523 WITH SCORE 62680.753
AT ITER 3722 NEW BEST:: SOT 284820 SOS 157509 HAS SOPS 157509 HAS SOUS 62311 HAS SOUPS 62311 WITH SCORE 62468.509
AT ITER 3756 NEW BEST:: SOT 284817 SOS 157503 HAS SOPS 157503 HAS SOUS 62305 HAS SOUPS 62305 WITH SCORE 62462.503
AT ITER 3758 NEW BEST:: SOT 284621 SOS 157307 HAS SOPS 157307 HAS SOUS 62109 HAS SOUPS 62109 WITH SCORE 62266.307
AT ITER 3772 NEW BEST:: SOT 284612 SOS 157284 HAS SOPS 157284 HAS SOUS 62086 HAS SOUPS 62086 WITH SCORE 62243.284
AT ITER 3786 NEW BEST:: SOT 284612 SOS 157284 HAS SOPS 157284 HAS SOUS 61992 HAS SOUPS 61992 WITH SCORE 62149.284
AT ITER 3807 NEW BEST:: SOT 284620 SOS 157292 HAS SOPS 157292 HAS SOUS 61947 HAS SOUPS 61947 WITH SCORE 62104.292
AT ITER 3830 NEW BEST:: SOT 284638 SOS 157310 HAS SOPS 157310 HAS SOUS 61929 HAS SOUPS 61929 WITH SCORE 62086.31
AT ITER 3839 NEW BEST:: SOT 284632 SOS 157295 HAS SOPS 157295 HAS SOUS 61917 HAS SOUPS 61917 WITH SCORE 62074.295
AT ITER 3840 NEW BEST:: SOT 284632 SOS 157295 HAS SOPS 157295 HAS SOUS 61880 HAS SOUPS 61880 WITH SCORE 62037.295
AT ITER 3859 NEW BEST:: SOT 284548 SOS 157211 HAS SOPS 157211 HAS SOUS 61859 HAS SOUPS 61859 WITH SCORE 62016.211
AT ITER 3873 NEW BEST:: SOT 284313 SOS 156980 HAS SOPS 156980 HAS SOUS 61634 HAS SOUPS 61634 WITH SCORE 61790.98
AT ITER 3879 NEW BEST:: SOT 284306 SOS 156966 HAS SOPS 156966 HAS SOUS 61628 HAS SOUPS 61628 WITH SCORE 61784.966
AT ITER 3890 NEW BEST:: SOT 284307 SOS 156966 HAS SOPS 156966 HAS SOUS 61627 HAS SOUPS 61627 WITH SCORE 61783.966
AT ITER 3920 NEW BEST:: SOT 284300 SOS 156938 HAS SOPS 156938 HAS SOUS 61620 HAS SOUPS 61620 WITH SCORE 61776.938
AT ITER 3960 NEW BEST:: SOT 284127 SOS 156765 HAS SOPS 156765 HAS SOUS 61478 HAS SOUPS 61478 WITH SCORE 61634.765
AT ITER 3971 NEW BEST:: SOT 284131 SOS 156769 HAS SOPS 156769 HAS SOUS 61436 HAS SOUPS 61436 WITH SCORE 61592.769
AT ITER 3972 NEW BEST:: SOT 283970 SOS 156608 HAS SOPS 156608 HAS SOUS 61430 HAS SOUPS 61430 WITH SCORE 61586.608
AT ITER 3978 NEW BEST:: SOT 283832 SOS 156371 HAS SOPS 156371 HAS SOUS 61217 HAS SOUPS 61217 WITH SCORE 61373.371
AT ITER 3999 NEW BEST:: SOT 283827 SOS 156356 HAS SOPS 156356 HAS SOUS 61202 HAS SOUPS 61202 WITH SCORE 61358.356
AT ITER 4004 NEW BEST:: SOT 283882 SOS 156411 HAS SOPS 156411 HAS SOUS 61110 HAS SOUPS 61110 WITH SCORE 61266.411
AT ITER 4050 NEW BEST:: SOT 283895 SOS 156424 HAS SOPS 156424 HAS SOUS 61102 HAS SOUPS 61102 WITH SCORE 61258.424
AT ITER 4058 NEW BEST:: SOT 283439 SOS 155812 HAS SOPS 155812 HAS SOUS 60873 HAS SOUPS 60873 WITH SCORE 61028.812
AT ITER 4063 NEW BEST:: SOT 283417 SOS 155790 HAS SOPS 155790 HAS SOUS 60859 HAS SOUPS 60859 WITH SCORE 61014.79
AT ITER 4066 NEW BEST:: SOT 283457 SOS 155783 HAS SOPS 155783 HAS SOUS 60852 HAS SOUPS 60852 WITH SCORE 61007.783
AT ITER 4069 NEW BEST:: SOT 283319 SOS 155555 HAS SOPS 155555 HAS SOUS 60714 HAS SOUPS 60714 WITH SCORE 60869.555
AT ITER 4082 NEW BEST:: SOT 283282 SOS 155407 HAS SOPS 155407 HAS SOUS 60603 HAS SOUPS 60603 WITH SCORE 60758.407
AT ITER 4086 NEW BEST:: SOT 283269 SOS 155393 HAS SOPS 155393 HAS SOUS 60576 HAS SOUPS 60576 WITH SCORE 60731.393
AT ITER 4105 NEW BEST:: SOT 283290 SOS 155414 HAS SOPS 155414 HAS SOUS 60557 HAS SOUPS 60557 WITH SCORE 60712.414
AT ITER 4115 NEW BEST:: SOT 283286 SOS 155394 HAS SOPS 155394 HAS SOUS 60549 HAS SOUPS 60549 WITH SCORE 60704.394
AT ITER 4153 NEW BEST:: SOT 283292 SOS 155400 HAS SOPS 155400 HAS SOUS 60535 HAS SOUPS 60535 WITH SCORE 60690.4
AT ITER 4181 NEW BEST:: SOT 283143 SOS 155085 HAS SOPS 155085 HAS SOUS 60493 HAS SOUPS 60493 WITH SCORE 60648.085
AT ITER 4182 NEW BEST:: SOT 283121 SOS 155041 HAS SOPS 155041 HAS SOUS 60449 HAS SOUPS 60449 WITH SCORE 60604.041
AT ITER 4224 NEW BEST:: SOT 283120 SOS 155040 HAS SOPS 155040 HAS SOUS 60448 HAS SOUPS 60448 WITH SCORE 60603.04
AT ITER 4239 NEW BEST:: SOT 283119 SOS 155039 HAS SOPS 155039 HAS SOUS 60426 HAS SOUPS 60426 WITH SCORE 60581.039
AT ITER 4257 NEW BEST:: SOT 283110 SOS 155042 HAS SOPS 155042 HAS SOUS 60417 HAS SOUPS 60417 WITH SCORE 60572.042
AT ITER 4281 NEW BEST:: SOT 282952 SOS 154884 HAS SOPS 154884 HAS SOUS 60259 HAS SOUPS 60259 WITH SCORE 60413.884
AT ITER 4288 NEW BEST:: SOT 282952 SOS 155224 HAS SOPS 155224 HAS SOUS 60231 HAS SOUPS 60231 WITH SCORE 60386.224
AT ITER 4339 NEW BEST:: SOT 282953 SOS 155212 HAS SOPS 155212 HAS SOUS 60230 HAS SOUPS 60230 WITH SCORE 60385.212
AT ITER 4348 NEW BEST:: SOT 282929 SOS 155185 HAS SOPS 155185 HAS SOUS 60226 HAS SOUPS 60226 WITH SCORE 60381.185
AT ITER 4386 NEW BEST:: SOT 282929 SOS 155246 HAS SOPS 155246 HAS SOUS 60179 HAS SOUPS 60179 WITH SCORE 60334.246
AT ITER 4389 NEW BEST:: SOT 282895 SOS 155180 HAS SOPS 155180 HAS SOUS 60153 HAS SOUPS 60153 WITH SCORE 60308.18
AT ITER 4404 NEW BEST:: SOT 282895 SOS 155170 HAS SOPS 155170 HAS SOUS 60151 HAS SOUPS 60151 WITH SCORE 60306.17
AT ITER 4405 NEW BEST:: SOT 282889 SOS 155152 HAS SOPS 155152 HAS SOUS 60133 HAS SOUPS 60133 WITH SCORE 60288.152
AT ITER 4452 NEW BEST:: SOT 282860 SOS 155123 HAS SOPS 155123 HAS SOUS 60104 HAS SOUPS 60104 WITH SCORE 60259.123
AT ITER 4463 NEW BEST:: SOT 282854 SOS 155117 HAS SOPS 155117 HAS SOUS 60092 HAS SOUPS 60092 WITH SCORE 60247.117
AT ITER 4483 NEW BEST:: SOT 282840 SOS 154893 HAS SOPS 154893 HAS SOUS 60078 HAS SOUPS 60078 WITH SCORE 60232.893
AT ITER 4493 NEW BEST:: SOT 282840 SOS 154893 HAS SOPS 154893 HAS SOUS 60050 HAS SOUPS 60050 WITH SCORE 60204.893
AT ITER 4500 NEW BEST:: SOT 282840 SOS 154893 HAS SOPS 154893 HAS SOUS 60027 HAS SOUPS 60027 WITH SCORE 60181.893
AT ITER 4528 NEW BEST:: SOT 282840 SOS 154846 HAS SOPS 154846 HAS SOUS 59980 HAS SOUPS 59980 WITH SCORE 60134.846
AT ITER 4531 NEW BEST:: SOT 282818 SOS 154824 HAS SOPS 154824 HAS SOUS 59936 HAS SOUPS 59936 WITH SCORE 60090.824
AT ITER 4532 NEW BEST:: SOT 282678 SOS 154676 HAS SOPS 154676 HAS SOUS 59906 HAS SOUPS 59906 WITH SCORE 60060.676
AT ITER 4545 NEW BEST:: SOT 282678 SOS 154655 HAS SOPS 154655 HAS SOUS 59885 HAS SOUPS 59885 WITH SCORE 60039.655
AT ITER 4550 NEW BEST:: SOT 282675 SOS 154655 HAS SOPS 154655 HAS SOUS 59883 HAS SOUPS 59883 WITH SCORE 60037.655
AT ITER 4560 NEW BEST:: SOT 282634 SOS 154526 HAS SOPS 154526 HAS SOUS 59754 HAS SOUPS 59754 WITH SCORE 59908.526
AT ITER 4736 NEW BEST:: SOT 282602 SOS 154494 HAS SOPS 154494 HAS SOUS 59690 HAS SOUPS 59690 WITH SCORE 59844.494
AT ITER 4768 NEW BEST:: SOT 282589 SOS 154481 HAS SOPS 154481 HAS SOUS 59664 HAS SOUPS 59664 WITH SCORE 59818.481
AT ITER 4775 NEW BEST:: SOT 282533 SOS 154343 HAS SOPS 154343 HAS SOUS 59526 HAS SOUPS 59526 WITH SCORE 59680.343
AT ITER 4807 NEW BEST:: SOT 282474 SOS 154163 HAS SOPS 154163 HAS SOUS 59448 HAS SOUPS 59448 WITH SCORE 59602.163
AT ITER 4811 NEW BEST:: SOT 282432 SOS 154033 HAS SOPS 154033 HAS SOUS 59364 HAS SOUPS 59364 WITH SCORE 59518.033
AT ITER 4845 NEW BEST:: SOT 282416 SOS 154017 HAS SOPS 154017 HAS SOUS 59347 HAS SOUPS 59347 WITH SCORE 59501.017
AT ITER 4848 NEW BEST:: SOT 282305 SOS 153906 HAS SOPS 153906 HAS SOUS 59211 HAS SOUPS 59211 WITH SCORE 59364.906
AT ITER 4862 NEW BEST:: SOT 282426 SOS 154200 HAS SOPS 154200 HAS SOUS 59128 HAS SOUPS 59128 WITH SCORE 59282.2
AT ITER 4901 NEW BEST:: SOT 282400 SOS 154096 HAS SOPS 154096 HAS SOUS 59076 HAS SOUPS 59076 WITH SCORE 59230.096
AT ITER 4904 NEW BEST:: SOT 282390 SOS 153018 HAS SOPS 153018 HAS SOUS 59063 HAS SOUPS 59063 WITH SCORE 59216.018
AT ITER 4913 NEW BEST:: SOT 282382 SOS 153044 HAS SOPS 153044 HAS SOUS 59055 HAS SOUPS 59055 WITH SCORE 59208.044
AT ITER 4923 NEW BEST:: SOT 282378 SOS 150332 HAS SOPS 150332 HAS SOUS 59047 HAS SOUPS 59047 WITH SCORE 59197.332
AT ITER 4928 NEW BEST:: SOT 282378 SOS 150328 HAS SOPS 150328 HAS SOUS 59033 HAS SOUPS 59033 WITH SCORE 59183.328
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-02a-CTLFireability-00 (EF( ((potential((tk(P16)>=1) & (tk(P85)>=1))))))
PROPERTY: ASLink-PT-02a-CTLFireability-01 (! (EF( (EG( (! ((potential((tk(P6)>=1) & (tk(P87)>=1))))))))))
PROPERTY: ASLink-PT-02a-CTLFireability-02 ( ( (EF( ( ( ((potential((tk(P185)>=1) & (tk(P182)>=1) & (tk(P188)>=1) & (tk(P228)>=1)))) & ((potential((tk(P443)>=1) & (tk(P613)>=1)))) ) | ( ((potential((tk(P11)>=1) & (tk(P88)>=1)))) & ((potential((tk(P248)>=1) & (tk(P453)>=1)))) ) ))) & (! ((potential((tk(P443)>=1) & (tk(P613)>=1))))) ) | ((potential((tk(P46)>=1) & (tk(P284)>=1)))) )
PROPERTY: ASLink-PT-02a-CTLFireability-03 (! (AU( (EG( ((potential((tk(P46)>=1) & (tk(P276)>=1)))))) , (AF( ((potential((tk(P352)>=1) & (tk(P406)>=1)))))) )))
PROPERTY: ASLink-PT-02a-CTLFireability-04 (AF( ( (EF( ( ((potential((tk(P8)>=1) & (tk(P79)>=1)))) & ((potential((tk(P143)>=1) & (tk(P140)>=1) & (tk(P146)>=1) & (tk(P228)>=1)))) ))) & ( (! ( ((potential((tk(P415)>=1) & (tk(P478)>=1)))) | ((potential((tk(P250)>=1) & (tk(P348)>=1)))) )) | ( (! ((potential((tk(P178)>=1) & (tk(P211)>=1))))) & ((potential((tk(P350)>=1)))) ) ) )))
PROPERTY: ASLink-PT-02a-CTLFireability-05 (AG( (EF( ( (! ((potential((tk(P248)>=1) & (tk(P449)>=1))))) & (! ((potential((tk(P47)>=1) & (tk(P283)>=1))))) )))))
PROPERTY: ASLink-PT-02a-CTLFireability-06 (EG( (EF( ((potential((tk(P46)>=1) & (tk(P284)>=1))))))))
PROPERTY: ASLink-PT-02a-CTLFireability-07 (EG( (AF( ( (! ((potential((tk(P426)>=1) & (tk(P594)>=1))))) & (! ((potential((tk(P248)>=1) & (tk(P451)>=1))))) )))))
PROPERTY: ASLink-PT-02a-CTLFireability-08 (EU( (EF( ( ((potential((tk(P242)>=1) & (tk(P436)>=1)))) & ((potential((tk(P134)>=1)))) ))) , (AX( ((potential((tk(P156)>=1)))))) ))
PROPERTY: ASLink-PT-02a-CTLFireability-09 (AG( (EG( ( (! ((potential((tk(P248)>=1) & (tk(P434)>=1))))) | ( ((potential((tk(P335)>=1)))) | ((potential((tk(P166)>=1)))) ) )))))
PROPERTY: ASLink-PT-02a-CTLFireability-10 (EF( (AU( ( ((potential((tk(P464)>=1) & (tk(P513)>=1)))) | ((potential((tk(P395)>=1) & (tk(P419)>=1)))) ) , ( ((potential((tk(P233)>=1) & (tk(P458)>=1)))) | ((potential((tk(P244)>=1) & (tk(P447)>=1)))) ) ))))
PROPERTY: ASLink-PT-02a-CTLFireability-11 (EG( (! (AU( ((potential((tk(P243)>=1) & (tk(P450)>=1)))) , ((potential((tk(P67)>=1) & (tk(P215)>=1)))) )))))
PROPERTY: ASLink-PT-02a-CTLFireability-12 (EU( ( (EX( ((potential((tk(P46)>=1) & (tk(P280)>=1)))))) | ( (! ((potential((tk(P578)>=1) & (tk(P575)>=1))))) & (! ((potential((tk(P460)>=1) & (tk(P531)>=1))))) ) ) , ( (EX( ((potential((tk(P236)>=1) & (tk(P428)>=1)))))) & ( ( ((potential((tk(P6)>=1) & (tk(P89)>=1)))) & ((potential((tk(P47)>=1) & (tk(P269)>=1)))) ) & (! ((potential((tk(P236)>=1) & (tk(P453)>=1))))) ) ) ))
PROPERTY: ASLink-PT-02a-CTLFireability-13 (EF( (EF( (AG( ((potential((tk(P7)>=1) & (tk(P82)>=1))))))))))
PROPERTY: ASLink-PT-02a-CTLFireability-14 ( ( (! (AG( ( ((potential((tk(P117)>=1) & (tk(P114)>=1) & (tk(P120)>=1) & (tk(P228)>=1)))) | ((potential((tk(P411)>=1) & (tk(P479)>=1)))) )))) | (AG( (EX( ((potential((tk(P210)>=1) & (tk(P212)>=1)))))))) ) & (EF( (EF( ( ((potential((tk(P46)>=1) & (tk(P284)>=1)))) | ((potential((tk(P18)>=1) & (tk(P85)>=1)))) ))))) )
PROPERTY: ASLink-PT-02a-CTLFireability-15 ( (! (AU( ( ((potential((tk(P246)>=1) & (tk(P447)>=1)))) & ((potential((tk(P462)>=1) & (tk(P562)>=1)))) ) , ( ((potential((tk(P235)>=1) & (tk(P441)>=1)))) | ((potential((tk(P19)>=1) & (tk(P86)>=1)))) ) ))) & ( ( (! (AG( ((potential((tk(P333)>=1))))))) | ((potential((tk(P236)>=1) & (tk(P449)>=1)))) ) & (! (! (AF( ((potential((tk(P408)>=1) & (tk(P461)>=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="ASLink-PT-02a"
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 ASLink-PT-02a, 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 r003-smll-158897508000028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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