About the Execution of Smart for DLCflexbar-PT-5a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16224.699 | 2670651.00 | 2666377.00 | 3581.60 | [undef] | Cannot compute |
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.r099-tall-167814472600560.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 smart
Input is DLCflexbar-PT-5a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472600560
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 8.2K Feb 25 16:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 16:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 16:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 18:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 17:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.8M 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 1678250354776
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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-5a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 5a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 1415 places, 10593 transitions, 41484 arcs.
AT ITER 0 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567692 HAS SOUPS 243619 WITH SCORE 251147.787
AT ITER 14 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567630 HAS SOUPS 243557 WITH SCORE 251085.787
AT ITER 16 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567506 HAS SOUPS 243433 WITH SCORE 250961.787
AT ITER 25 NEW BEST:: SOT 8913374 SOS 7528286 HAS SOPS 3709353 HAS SOUS 567434 HAS SOUPS 243361 WITH SCORE 250889.286
AT ITER 28 NEW BEST:: SOT 8913374 SOS 7528286 HAS SOPS 3709353 HAS SOUS 567404 HAS SOUPS 243331 WITH SCORE 250859.286
AT ITER 35 NEW BEST:: SOT 8912452 SOS 7532288 HAS SOPS 3708861 HAS SOUS 567162 HAS SOUPS 242875 WITH SCORE 250407.288
AT ITER 48 NEW BEST:: SOT 8912452 SOS 7532288 HAS SOPS 3708861 HAS SOUS 567038 HAS SOUPS 242751 WITH SCORE 250283.288
AT ITER 49 NEW BEST:: SOT 8912452 SOS 7532288 HAS SOPS 3708861 HAS SOUS 566990 HAS SOUPS 242703 WITH SCORE 250235.288
AT ITER 71 NEW BEST:: SOT 8912340 SOS 7532288 HAS SOPS 3708861 HAS SOUS 566932 HAS SOUPS 242645 WITH SCORE 250177.288
AT ITER 78 NEW BEST:: SOT 8912340 SOS 7532288 HAS SOPS 3708861 HAS SOUS 566808 HAS SOUPS 242521 WITH SCORE 250053.288
AT ITER 151 NEW BEST:: SOT 8912142 SOS 7531181 HAS SOPS 3709413 HAS SOUS 566373 HAS SOUPS 242323 WITH SCORE 249854.181
AT ITER 154 NEW BEST:: SOT 8911950 SOS 7530797 HAS SOPS 3709701 HAS SOUS 565989 HAS SOUPS 242035 WITH SCORE 249565.797
AT ITER 162 NEW BEST:: SOT 8911847 SOS 7529826 HAS SOPS 3710515 HAS SOUS 565728 HAS SOUPS 242029 WITH SCORE 249558.826
AT ITER 205 NEW BEST:: SOT 8911847 SOS 7529826 HAS SOPS 3710515 HAS SOUS 565604 HAS SOUPS 241905 WITH SCORE 249434.826
AT ITER 211 NEW BEST:: SOT 8911847 SOS 7529637 HAS SOPS 3710326 HAS SOUS 565577 HAS SOUPS 241878 WITH SCORE 249407.637
AT ITER 217 NEW BEST:: SOT 8910282 SOS 7534371 HAS SOPS 3711070 HAS SOUS 564538 HAS SOUPS 240839 WITH SCORE 248373.371
AT ITER 248 NEW BEST:: SOT 8910179 SOS 7533583 HAS SOPS 3711640 HAS SOUS 564302 HAS SOUPS 240797 WITH SCORE 248330.583
AT ITER 253 NEW BEST:: SOT 8910179 SOS 7533583 HAS SOPS 3711640 HAS SOUS 564240 HAS SOUPS 240735 WITH SCORE 248268.583
AT ITER 255 NEW BEST:: SOT 8908568 SOS 7538876 HAS SOPS 3712775 HAS SOUS 563139 HAS SOUPS 239634 WITH SCORE 247172.876
AT ITER 272 NEW BEST:: SOT 8906849 SOS 7550083 HAS SOPS 3715813 HAS SOUS 562939 HAS SOUPS 239045 WITH SCORE 246595.083
AT ITER 331 NEW BEST:: SOT 8906849 SOS 7550083 HAS SOPS 3715813 HAS SOUS 562815 HAS SOUPS 238921 WITH SCORE 246471.083
AT ITER 337 NEW BEST:: SOT 8906648 SOS 7549681 HAS SOPS 3716664 HAS SOUS 562458 HAS SOUPS 238743 WITH SCORE 246292.681
AT ITER 344 NEW BEST:: SOT 8906524 SOS 7548884 HAS SOPS 3717148 HAS SOUS 562203 HAS SOUPS 238671 WITH SCORE 246219.884
AT ITER 349 NEW BEST:: SOT 8906347 SOS 7547975 HAS SOPS 3717534 HAS SOUS 561886 HAS SOUPS 238539 WITH SCORE 246086.975
AT ITER 368 NEW BEST:: SOT 8905405 SOS 7551606 HAS SOPS 3716776 HAS SOUS 561419 HAS SOUPS 237863 WITH SCORE 245414.606
AT ITER 374 NEW BEST:: SOT 8903523 SOS 7558701 HAS SOPS 3718649 HAS SOUS 560160 HAS SOUPS 236604 WITH SCORE 244162.701
AT ITER 407 NEW BEST:: SOT 8903523 SOS 7557714 HAS SOPS 3719482 HAS SOUS 559900 HAS SOUPS 236604 WITH SCORE 244161.714
AT ITER 409 NEW BEST:: SOT 8903523 SOS 7557714 HAS SOPS 3719482 HAS SOUS 559892 HAS SOUPS 236596 WITH SCORE 244153.714
AT ITER 411 NEW BEST:: SOT 8903510 SOS 7557688 HAS SOPS 3719547 HAS SOUS 559866 HAS SOUPS 236583 WITH SCORE 244140.688
AT ITER 433 NEW BEST:: SOT 8903510 SOS 7557688 HAS SOPS 3719547 HAS SOUS 559754 HAS SOUPS 236471 WITH SCORE 244028.688
AT ITER 445 NEW BEST:: SOT 8903510 SOS 7557688 HAS SOPS 3719547 HAS SOUS 559678 HAS SOUPS 236395 WITH SCORE 243952.688
AT ITER 446 NEW BEST:: SOT 8902725 SOS 7571036 HAS SOPS 3724243 HAS SOUS 559318 HAS SOUPS 235623 WITH SCORE 243194.036
AT ITER 462 NEW BEST:: SOT 8902703 SOS 7570992 HAS SOPS 3724199 HAS SOUS 559296 HAS SOUPS 235601 WITH SCORE 243171.992
AT ITER 464 NEW BEST:: SOT 8902703 SOS 7570992 HAS SOPS 3724199 HAS SOUS 559218 HAS SOUPS 235523 WITH SCORE 243093.992
AT ITER 494 NEW BEST:: SOT 8902563 SOS 7569674 HAS SOPS 3725303 HAS SOUS 558732 HAS SOUPS 235383 WITH SCORE 242952.674
AT ITER 517 NEW BEST:: SOT 8901535 SOS 7571490 HAS SOPS 3723423 HAS SOUS 558020 HAS SOUPS 234495 WITH SCORE 242066.49
AT ITER 519 NEW BEST:: SOT 8900781 SOS 7572358 HAS SOPS 3722023 HAS SOUS 557512 HAS SOUPS 233879 WITH SCORE 241451.358
AT ITER 528 NEW BEST:: SOT 8900581 SOS 7571958 HAS SOPS 3722323 HAS SOUS 557112 HAS SOUPS 233579 WITH SCORE 241150.958
AT ITER 541 NEW BEST:: SOT 8900581 SOS 7571958 HAS SOPS 3722323 HAS SOUS 556988 HAS SOUPS 233455 WITH SCORE 241026.958
AT ITER 546 NEW BEST:: SOT 8899334 SOS 7581311 HAS SOPS 3726244 HAS SOUS 556430 HAS SOUPS 232897 WITH SCORE 240478.311
AT ITER 561 NEW BEST:: SOT 8899547 SOS 7565168 HAS SOPS 3727985 HAS SOUS 555961 HAS SOUPS 232691 WITH SCORE 240256.168
AT ITER 565 NEW BEST:: SOT 8897737 SOS 7570408 HAS SOPS 3728941 HAS SOUS 554476 HAS SOUPS 231206 WITH SCORE 238776.408
AT ITER 588 NEW BEST:: SOT 8897673 SOS 7569848 HAS SOPS 3728381 HAS SOUS 554412 HAS SOUPS 231142 WITH SCORE 238711.848
AT ITER 617 NEW BEST:: SOT 8897673 SOS 7569848 HAS SOPS 3728381 HAS SOUS 554288 HAS SOUPS 231018 WITH SCORE 238587.848
AT ITER 620 NEW BEST:: SOT 8897673 SOS 7569848 HAS SOPS 3728381 HAS SOUS 554164 HAS SOUPS 230894 WITH SCORE 238463.848
AT ITER 621 NEW BEST:: SOT 8897673 SOS 7569848 HAS SOPS 3728381 HAS SOUS 554088 HAS SOUPS 230818 WITH SCORE 238387.848
AT ITER 672 NEW BEST:: SOT 8897673 SOS 7570004 HAS SOPS 3728173 HAS SOUS 554036 HAS SOUPS 230714 WITH SCORE 238284.004
AT ITER 684 NEW BEST:: SOT 8897456 SOS 7570345 HAS SOPS 3727863 HAS SOUS 553912 HAS SOUPS 230559 WITH SCORE 238129.345
AT ITER 705 NEW BEST:: SOT 8897218 SOS 7569869 HAS SOPS 3728220 HAS SOUS 553436 HAS SOUPS 230202 WITH SCORE 237771.869
AT ITER 709 NEW BEST:: SOT 8897218 SOS 7569869 HAS SOPS 3728220 HAS SOUS 553424 HAS SOUPS 230190 WITH SCORE 237759.869
AT ITER 722 NEW BEST:: SOT 8897218 SOS 7569869 HAS SOPS 3728220 HAS SOUS 553300 HAS SOUPS 230066 WITH SCORE 237635.869
AT ITER 725 NEW BEST:: SOT 8896957 SOS 7569347 HAS SOPS 3729203 HAS SOUS 552716 HAS SOUPS 229697 WITH SCORE 237266.347
AT ITER 774 NEW BEST:: SOT 8896957 SOS 7569347 HAS SOPS 3729203 HAS SOUS 552702 HAS SOUPS 229683 WITH SCORE 237252.347
AT ITER 783 NEW BEST:: SOT 8896807 SOS 7568621 HAS SOPS 3728477 HAS SOUS 552552 HAS SOUPS 229533 WITH SCORE 237101.621
AT ITER 788 NEW BEST:: SOT 8895171 SOS 7573820 HAS SOPS 3729448 HAS SOUS 551335 HAS SOUPS 228316 WITH SCORE 235889.82
AT ITER 799 NEW BEST:: SOT 8895122 SOS 7573897 HAS SOPS 3729378 HAS SOUS 551307 HAS SOUPS 228281 WITH SCORE 235854.897
AT ITER 864 NEW BEST:: SOT 8891672 SOS 7568060 HAS SOPS 3727012 HAS SOUS 550772 HAS SOUPS 228013 WITH SCORE 235581.06
AT ITER 875 NEW BEST:: SOT 8891018 SOS 7569524 HAS SOPS 3725830 HAS SOUS 550508 HAS SOUPS 227623 WITH SCORE 235192.524
AT ITER 896 NEW BEST:: SOT 8891018 SOS 7569524 HAS SOPS 3725830 HAS SOUS 550416 HAS SOUPS 227531 WITH SCORE 235100.524
AT ITER 906 NEW BEST:: SOT 8891018 SOS 7569524 HAS SOPS 3725830 HAS SOUS 550312 HAS SOUPS 227427 WITH SCORE 234996.524
AT ITER 928 NEW BEST:: SOT 8890781 SOS 7571894 HAS SOPS 3726541 HAS SOUS 550312 HAS SOUPS 227348 WITH SCORE 234919.894
AT ITER 930 NEW BEST:: SOT 8890713 SOS 7571554 HAS SOPS 3726677 HAS SOUS 550244 HAS SOUPS 227348 WITH SCORE 234919.554
AT ITER 936 NEW BEST:: SOT 8890284 SOS 7587317 HAS SOPS 3732906 HAS SOUS 550350 HAS SOUPS 227000 WITH SCORE 234587.317
AT ITER 939 NEW BEST:: SOT 8889924 SOS 7586590 HAS SOPS 3734769 HAS SOUS 549551 HAS SOUPS 226571 WITH SCORE 234157.59
AT ITER 949 NEW BEST:: SOT 8889924 SOS 7586590 HAS SOPS 3734769 HAS SOUS 549427 HAS SOUPS 226447 WITH SCORE 234033.59
AT ITER 953 NEW BEST:: SOT 8889924 SOS 7586590 HAS SOPS 3734769 HAS SOUS 549303 HAS SOUPS 226323 WITH SCORE 233909.59
AT ITER 973 NEW BEST:: SOT 8889839 SOS 7588421 HAS SOPS 3735634 HAS SOUS 549287 HAS SOUPS 226307 WITH SCORE 233895.421
AT ITER 974 NEW BEST:: SOT 8889967 SOS 7572942 HAS SOPS 3736117 HAS SOUS 549002 HAS SOUPS 226248 WITH SCORE 233820.942
AT ITER 980 NEW BEST:: SOT 8887779 SOS 7577739 HAS SOPS 3736364 HAS SOUS 547693 HAS SOUPS 224939 WITH SCORE 232516.739
AT ITER 985 NEW BEST:: SOT 8887626 SOS 7578708 HAS SOPS 3736262 HAS SOUS 547542 HAS SOUPS 224737 WITH SCORE 232315.708
AT ITER 1037 NEW BEST:: SOT 8887523 SOS 7579223 HAS SOPS 3736777 HAS SOUS 547439 HAS SOUPS 224634 WITH SCORE 232213.223
AT ITER 1042 NEW BEST:: SOT 8887463 SOS 7579103 HAS SOPS 3737861 HAS SOUS 547106 HAS SOUPS 224473 WITH SCORE 232052.103
AT ITER 1044 NEW BEST:: SOT 8887463 SOS 7579103 HAS SOPS 3737861 HAS SOUS 547094 HAS SOUPS 224461 WITH SCORE 232040.103
AT ITER 1103 NEW BEST:: SOT 8887340 SOS 7578652 HAS SOPS 3737697 HAS SOUS 546889 HAS SOUPS 224297 WITH SCORE 231875.652
AT ITER 1153 NEW BEST:: SOT 8887214 SOS 7578400 HAS SOPS 3738796 HAS SOUS 546597 HAS SOUPS 224198 WITH SCORE 231776.4
AT ITER 1162 NEW BEST:: SOT 8886900 SOS 7576757 HAS SOPS 3738525 HAS SOUS 545914 HAS SOUPS 223711 WITH SCORE 231287.757
AT ITER 1163 NEW BEST:: SOT 8886776 SOS 7575876 HAS SOPS 3739121 HAS SOUS 545647 HAS SOUPS 223655 WITH SCORE 231230.876
AT ITER 1170 NEW BEST:: SOT 8886570 SOS 7574888 HAS SOPS 3739477 HAS SOUS 545249 HAS SOUPS 223449 WITH SCORE 231023.888
AT ITER 1207 NEW BEST:: SOT 8886548 SOS 7574844 HAS SOPS 3739433 HAS SOUS 545166 HAS SOUPS 223366 WITH SCORE 230940.844
AT ITER 1234 NEW BEST:: SOT 8886297 SOS 7574342 HAS SOPS 3739841 HAS SOUS 544661 HAS SOUPS 222991 WITH SCORE 230565.342
AT ITER 1235 NEW BEST:: SOT 8886297 SOS 7574342 HAS SOPS 3739841 HAS SOUS 544537 HAS SOUPS 222867 WITH SCORE 230441.342
AT ITER 1269 NEW BEST:: SOT 8886297 SOS 7574342 HAS SOPS 3739841 HAS SOUS 544413 HAS SOUPS 222743 WITH SCORE 230317.342
AT ITER 1285 NEW BEST:: SOT 8886316 SOS 7569826 HAS SOPS 3737569 HAS SOUS 544319 HAS SOUPS 222682 WITH SCORE 230251.826
AT ITER 1324 NEW BEST:: SOT 8884998 SOS 7577708 HAS SOPS 3738668 HAS SOUS 543603 HAS SOUPS 221643 WITH SCORE 229220.708
AT ITER 1357 NEW BEST:: SOT 8884998 SOS 7577708 HAS SOPS 3738668 HAS SOUS 543565 HAS SOUPS 221605 WITH SCORE 229182.708
AT ITER 1396 NEW BEST:: SOT 8884658 SOS 7576773 HAS SOPS 3737733 HAS SOUS 543480 HAS SOUPS 221520 WITH SCORE 229096.773
AT ITER 1406 NEW BEST:: SOT 8884362 SOS 7576181 HAS SOPS 3738583 HAS SOUS 542846 HAS SOUPS 221092 WITH SCORE 228668.181
AT ITER 1416 NEW BEST:: SOT 8883894 SOS 7577357 HAS SOPS 3738415 HAS SOUS 542716 HAS SOUPS 220962 WITH SCORE 228539.357
AT ITER 1436 NEW BEST:: SOT 8883894 SOS 7577357 HAS SOPS 3738415 HAS SOUS 542592 HAS SOUPS 220838 WITH SCORE 228415.357
AT ITER 1437 NEW BEST:: SOT 8883894 SOS 7577357 HAS SOPS 3738415 HAS SOUS 542468 HAS SOUPS 220714 WITH SCORE 228291.357
AT ITER 1444 NEW BEST:: SOT 8883754 SOS 7576684 HAS SOPS 3738659 HAS SOUS 542239 HAS SOUPS 220616 WITH SCORE 228192.684
AT ITER 1445 NEW BEST:: SOT 8881482 SOS 7583480 HAS SOPS 3740359 HAS SOUS 541527 HAS SOUPS 219904 WITH SCORE 227487.48
AT ITER 1447 NEW BEST:: SOT 8881551 SOS 7574648 HAS SOPS 3735736 HAS SOUS 541527 HAS SOUPS 219904 WITH SCORE 227478.648
AT ITER 1451 NEW BEST:: SOT 8881550 SOS 7574646 HAS SOPS 3735734 HAS SOUS 541525 HAS SOUPS 219902 WITH SCORE 227476.646
AT ITER 1457 NEW BEST:: SOT 8881516 SOS 7573493 HAS SOPS 3734581 HAS SOUS 541414 HAS SOUPS 219791 WITH SCORE 227364.493
AT ITER 1468 NEW BEST:: SOT 8881474 SOS 7573360 HAS SOPS 3736296 HAS SOUS 540994 HAS SOUPS 219635 WITH SCORE 227208.36
AT ITER 1481 NEW BEST:: SOT 8880290 SOS 7579298 HAS SOPS 3738258 HAS SOUS 540458 HAS SOUPS 219099 WITH SCORE 226678.298
AT ITER 1482 NEW BEST:: SOT 8880290 SOS 7579298 HAS SOPS 3738258 HAS SOUS 540384 HAS SOUPS 219025 WITH SCORE 226604.298
AT ITER 1490 NEW BEST:: SOT 8879298 SOS 7576471 HAS SOPS 3737398 HAS SOUS 539813 HAS SOUPS 218735 WITH SCORE 226311.471
AT ITER 1499 NEW BEST:: SOT 8879298 SOS 7576429 HAS SOPS 3738952 HAS SOUS 539579 HAS SOUPS 218729 WITH SCORE 226305.429
AT ITER 1521 NEW BEST:: SOT 8879298 SOS 7576429 HAS SOPS 3738952 HAS SOUS 539473 HAS SOUPS 218623 WITH SCORE 226199.429
AT ITER 1544 NEW BEST:: SOT 8879170 SOS 7576173 HAS SOPS 3739592 HAS SOUS 539217 HAS SOUPS 218495 WITH SCORE 226071.173
AT ITER 1546 NEW BEST:: SOT 8879170 SOS 7576173 HAS SOPS 3739592 HAS SOUS 539127 HAS SOUPS 218405 WITH SCORE 225981.173
AT ITER 1548 NEW BEST:: SOT 8877391 SOS 7584240 HAS SOPS 3742199 HAS SOUS 537932 HAS SOUPS 217210 WITH SCORE 224794.24
AT ITER 1561 NEW BEST:: SOT 8877391 SOS 7584240 HAS SOPS 3742199 HAS SOUS 537808 HAS SOUPS 217086 WITH SCORE 224670.24
AT ITER 1569 NEW BEST:: SOT 8876836 SOS 7582119 HAS SOPS 3742437 HAS SOUS 537277 HAS SOUPS 216892 WITH SCORE 224474.119
AT ITER 1572 NEW BEST:: SOT 8875634 SOS 7587698 HAS SOPS 3744348 HAS SOUS 536608 HAS SOUPS 216223 WITH SCORE 223810.698
AT ITER 1617 NEW BEST:: SOT 8875595 SOS 7587620 HAS SOPS 3744270 HAS SOUS 536530 HAS SOUPS 216145 WITH SCORE 223732.62
AT ITER 1632 NEW BEST:: SOT 8874251 SOS 7592020 HAS SOPS 3745380 HAS SOUS 535555 HAS SOUPS 215170 WITH SCORE 222762.02
AT ITER 1651 NEW BEST:: SOT 8874251 SOS 7592020 HAS SOPS 3745380 HAS SOUS 535535 HAS SOUPS 215150 WITH SCORE 222742.02
AT ITER 1665 NEW BEST:: SOT 8874155 SOS 7594255 HAS SOPS 3745254 HAS SOUS 535439 HAS SOUPS 215063 WITH SCORE 222657.255
AT ITER 1682 NEW BEST:: SOT 8874029 SOS 7594003 HAS SOPS 3745884 HAS SOUS 535182 HAS SOUPS 214932 WITH SCORE 222526.003
AT ITER 1701 NEW BEST:: SOT 8873941 SOS 7593875 HAS SOPS 3744767 HAS SOUS 535331 HAS SOUPS 214853 WITH SCORE 222446.875
AT ITER 1711 NEW BEST:: SOT 8872669 SOS 7597066 HAS SOPS 3744696 HAS SOUS 534339 HAS SOUPS 213861 WITH SCORE 221458.066
AT ITER 1757 NEW BEST:: SOT 8872668 SOS 7597025 HAS SOPS 3744676 HAS SOUS 534338 HAS SOUPS 213861 WITH SCORE 221458.025
AT ITER 1783 NEW BEST:: SOT 8872668 SOS 7597025 HAS SOPS 3744676 HAS SOUS 534328 HAS SOUPS 213851 WITH SCORE 221448.025
AT ITER 1784 NEW BEST:: SOT 8872668 SOS 7597025 HAS SOPS 3744676 HAS SOUS 534298 HAS SOUPS 213821 WITH SCORE 221418.025
AT ITER 1800 NEW BEST:: SOT 8871886 SOS 7594897 HAS SOPS 3743864 HAS SOUS 534068 HAS SOUPS 213779 WITH SCORE 221373.897
AT ITER 1801 NEW BEST:: SOT 8871886 SOS 7594897 HAS SOPS 3743864 HAS SOUS 533954 HAS SOUPS 213665 WITH SCORE 221259.897
AT ITER 1802 NEW BEST:: SOT 8871960 SOS 7563325 HAS SOPS 3728884 HAS SOUS 533572 HAS SOUPS 213527 WITH SCORE 221090.325
AT ITER 1816 NEW BEST:: SOT 8870968 SOS 7560267 HAS SOPS 3728332 HAS SOUS 532670 HAS SOUPS 212983 WITH SCORE 220543.267
AT ITER 1820 NEW BEST:: SOT 8870968 SOS 7560267 HAS SOPS 3728332 HAS SOUS 532598 HAS SOUPS 212911 WITH SCORE 220471.267
AT ITER 1825 NEW BEST:: SOT 8870954 SOS 7559301 HAS SOPS 3727366 HAS SOUS 532584 HAS SOUPS 212897 WITH SCORE 220456.301
AT ITER 1838 NEW BEST:: SOT 8870246 SOS 7560921 HAS SOPS 3726088 HAS SOUS 532219 HAS SOUPS 212394 WITH SCORE 219954.921
AT ITER 1874 NEW BEST:: SOT 8870212 SOS 7560133 HAS SOPS 3726980 HAS SOUS 531975 HAS SOUPS 212390 WITH SCORE 219950.133
AT ITER 1889 NEW BEST:: SOT 8869843 SOS 7560347 HAS SOPS 3727194 HAS SOUS 531422 HAS SOUPS 211837 WITH SCORE 219397.347
AT ITER 1896 NEW BEST:: SOT 8869843 SOS 7560479 HAS SOPS 3727018 HAS SOUS 531379 HAS SOUPS 211750 WITH SCORE 219310.479
AT ITER 1945 NEW BEST:: SOT 8869843 SOS 7560479 HAS SOPS 3727018 HAS SOUS 531255 HAS SOUPS 211626 WITH SCORE 219186.479
AT ITER 1950 NEW BEST:: SOT 8869725 SOS 7560243 HAS SOPS 3727195 HAS SOUS 531019 HAS SOUPS 211449 WITH SCORE 219009.243
AT ITER 1957 NEW BEST:: SOT 8868968 SOS 7562132 HAS SOPS 3725976 HAS SOUS 530611 HAS SOUPS 210893 WITH SCORE 218455.132
AT ITER 1959 NEW BEST:: SOT 8868556 SOS 7560398 HAS SOPS 3725516 HAS SOUS 530055 HAS SOUPS 210519 WITH SCORE 218079.398
AT ITER 1964 NEW BEST:: SOT 8867585 SOS 7569701 HAS SOPS 3729975 HAS SOUS 529925 HAS SOUPS 210389 WITH SCORE 217958.701
AT ITER 1985 NEW BEST:: SOT 8867585 SOS 7569701 HAS SOPS 3729975 HAS SOUS 529801 HAS SOUPS 210265 WITH SCORE 217834.701
AT ITER 2003 NEW BEST:: SOT 8866831 SOS 7569324 HAS SOPS 3729598 HAS SOUS 529424 HAS SOUPS 209888 WITH SCORE 217457.324
AT ITER 2011 NEW BEST:: SOT 8866889 SOS 7561900 HAS SOPS 3725712 HAS SOUS 529424 HAS SOUPS 209888 WITH SCORE 217449.9
AT ITER 2036 NEW BEST:: SOT 8865707 SOS 7568286 HAS SOPS 3728276 HAS SOUS 528467 HAS SOUPS 208931 WITH SCORE 216499.286
AT ITER 2040 NEW BEST:: SOT 8865707 SOS 7568286 HAS SOPS 3728276 HAS SOUS 528349 HAS SOUPS 208813 WITH SCORE 216381.286
AT ITER 2041 NEW BEST:: SOT 8863156 SOS 7572434 HAS SOPS 3727384 HAS SOUS 526618 HAS SOUPS 207082 WITH SCORE 214654.434
AT ITER 2066 NEW BEST:: SOT 8863054 SOS 7571894 HAS SOPS 3727628 HAS SOUS 526404 HAS SOUPS 206980 WITH SCORE 214551.894
AT ITER 2096 NEW BEST:: SOT 8861694 SOS 7568190 HAS SOPS 3726220 HAS SOUS 525757 HAS SOUPS 206661 WITH SCORE 214229.19
AT ITER 2099 NEW BEST:: SOT 8859307 SOS 7564492 HAS SOPS 3723686 HAS SOUS 525731 HAS SOUPS 206635 WITH SCORE 214199.492
AT ITER 2108 NEW BEST:: SOT 8858978 SOS 7565197 HAS SOPS 3723404 HAS SOUS 525637 HAS SOUPS 206494 WITH SCORE 214059.197
AT ITER 2119 NEW BEST:: SOT 8858862 SOS 7564965 HAS SOPS 3723172 HAS SOUS 525521 HAS SOUPS 206378 WITH SCORE 213942.965
AT ITER 2132 NEW BEST:: SOT 8855498 SOS 7559531 HAS SOPS 3720687 HAS SOUS 525443 HAS SOUPS 206350 WITH SCORE 213909.531
AT ITER 2173 NEW BEST:: SOT 8855254 SOS 7558515 HAS SOPS 3720903 HAS SOUS 525023 HAS SOUPS 206106 WITH SCORE 213664.515
AT ITER 2191 NEW BEST:: SOT 8855095 SOS 7558197 HAS SOPS 3721271 HAS SOUS 524705 HAS SOUPS 205886 WITH SCORE 213444.197
AT ITER 2213 NEW BEST:: SOT 8854726 SOS 7558405 HAS SOPS 3720877 HAS SOUS 524440 HAS SOUPS 205621 WITH SCORE 213179.405
AT ITER 2236 NEW BEST:: SOT 8854206 SOS 7560904 HAS SOPS 3720058 HAS SOUS 524323 HAS SOUPS 205346 WITH SCORE 212906.904
AT ITER 2243 NEW BEST:: SOT 8854110 SOS 7561601 HAS SOPS 3719866 HAS SOUS 524285 HAS SOUPS 205181 WITH SCORE 212742.601
AT ITER 2265 NEW BEST:: SOT 8852994 SOS 7563492 HAS SOPS 3718229 HAS SOUS 523893 HAS SOUPS 204621 WITH SCORE 212184.492
AT ITER 2293 NEW BEST:: SOT 8853571 SOS 7565264 HAS SOPS 3720001 HAS SOUS 523888 HAS SOUPS 204616 WITH SCORE 212181.264
AT ITER 2295 NEW BEST:: SOT 8849758 SOS 7512419 HAS SOPS 3696332 HAS SOUS 523818 HAS SOUPS 204656 WITH SCORE 212168.419
AT ITER 2310 NEW BEST:: SOT 8848548 SOS 7524385 HAS SOPS 3698722 HAS SOUS 523925 HAS SOUPS 204307 WITH SCORE 211831.385
AT ITER 2311 NEW BEST:: SOT 8848548 SOS 7524161 HAS SOPS 3698498 HAS SOUS 523893 HAS SOUPS 204275 WITH SCORE 211799.161
AT ITER 2329 NEW BEST:: SOT 8848476 SOS 7524017 HAS SOPS 3698354 HAS SOUS 523821 HAS SOUPS 204203 WITH SCORE 211727.017
AT ITER 2331 NEW BEST:: SOT 8848474 SOS 7524013 HAS SOPS 3698350 HAS SOUS 523817 HAS SOUPS 204199 WITH SCORE 211723.013
AT ITER 2342 NEW BEST:: SOT 8848474 SOS 7524013 HAS SOPS 3698350 HAS SOUS 523779 HAS SOUPS 204161 WITH SCORE 211685.013
AT ITER 2371 NEW BEST:: SOT 8848474 SOS 7524013 HAS SOPS 3698350 HAS SOUS 523655 HAS SOUPS 204037 WITH SCORE 211561.013
AT ITER 2397 NEW BEST:: SOT 8846530 SOS 7531108 HAS SOPS 3700251 HAS SOUS 522067 HAS SOUPS 202449 WITH SCORE 209980.108
AT ITER 2413 NEW BEST:: SOT 8846530 SOS 7531108 HAS SOPS 3700251 HAS SOUS 521943 HAS SOUPS 202325 WITH SCORE 209856.108
AT ITER 2422 NEW BEST:: SOT 8846530 SOS 7530310 HAS SOPS 3699453 HAS SOUS 521943 HAS SOUPS 202325 WITH SCORE 209855.31
AT ITER 2434 NEW BEST:: SOT 8846382 SOS 7529903 HAS SOPS 3699046 HAS SOUS 521906 HAS SOUPS 202288 WITH SCORE 209817.903
AT ITER 2439 NEW BEST:: SOT 8846382 SOS 7529903 HAS SOPS 3699046 HAS SOUS 521878 HAS SOUPS 202260 WITH SCORE 209789.903
AT ITER 2452 NEW BEST:: SOT 8845676 SOS 7529015 HAS SOPS 3698158 HAS SOUS 521499 HAS SOUPS 201881 WITH SCORE 209410.015
AT ITER 2467 NEW BEST:: SOT 8845552 SOS 7528953 HAS SOPS 3697662 HAS SOUS 521437 HAS SOUPS 201757 WITH SCORE 209285.953
AT ITER 2472 NEW BEST:: SOT 8845418 SOS 7528685 HAS SOPS 3697394 HAS SOUS 521303 HAS SOUPS 201623 WITH SCORE 209151.685
AT ITER 2490 NEW BEST:: SOT 8845412 SOS 7528673 HAS SOPS 3697382 HAS SOUS 521297 HAS SOUPS 201617 WITH SCORE 209145.673
AT ITER 2511 NEW BEST:: SOT 8845610 SOS 7526037 HAS SOPS 3697399 HAS SOUS 520736 HAS SOUPS 201435 WITH SCORE 208961.037
AT ITER 2526 NEW BEST:: SOT 8845270 SOS 7527157 HAS SOPS 3697007 HAS SOUS 520743 HAS SOUPS 201370 WITH SCORE 208897.157
AT ITER 2532 NEW BEST:: SOT 8845270 SOS 7527157 HAS SOPS 3697007 HAS SOUS 520703 HAS SOUPS 201330 WITH SCORE 208857.157
AT ITER 2611 NEW BEST:: SOT 8844658 SOS 7526709 HAS SOPS 3696559 HAS SOUS 520692 HAS SOUPS 201319 WITH SCORE 208845.709
AT ITER 2613 NEW BEST:: SOT 8844602 SOS 7526597 HAS SOPS 3696447 HAS SOUS 520636 HAS SOUPS 201263 WITH SCORE 208789.597
AT ITER 2614 NEW BEST:: SOT 8843200 SOS 7529521 HAS SOPS 3697379 HAS SOUS 520024 HAS SOUPS 200863 WITH SCORE 208392.521
AT ITER 2618 NEW BEST:: SOT 8843176 SOS 7529473 HAS SOPS 3697331 HAS SOUS 520000 HAS SOUPS 200839 WITH SCORE 208368.473
AT ITER 2660 NEW BEST:: SOT 8842528 SOS 7513918 HAS SOPS 3701585 HAS SOUS 519813 HAS SOUPS 200474 WITH SCORE 207987.918
AT ITER 2670 NEW BEST:: SOT 8842416 SOS 7514086 HAS SOPS 3701753 HAS SOUS 519756 HAS SOUPS 200417 WITH SCORE 207931.086
AT ITER 2830 NEW BEST:: SOT 8841870 SOS 7518901 HAS SOPS 3703936 HAS SOUS 519398 HAS SOUPS 200059 WITH SCORE 207577.901
AT ITER 2832 NEW BEST:: SOT 8841870 SOS 7518901 HAS SOPS 3703936 HAS SOUS 519386 HAS SOUPS 200047 WITH SCORE 207565.901
AT ITER 2894 NEW BEST:: SOT 8840699 SOS 7523796 HAS SOPS 3705513 HAS SOUS 518700 HAS SOUPS 199361 WITH SCORE 206884.796
AT ITER 2915 NEW BEST:: SOT 8840699 SOS 7523796 HAS SOPS 3705513 HAS SOUS 518624 HAS SOUPS 199285 WITH SCORE 206808.796
AT ITER 2922 NEW BEST:: SOT 8840499 SOS 7526793 HAS SOPS 3707110 HAS SOUS 518510 HAS SOUPS 199171 WITH SCORE 206697.793
AT ITER 2951 NEW BEST:: SOT 8840681 SOS 7509954 HAS SOPS 3707407 HAS SOUS 518270 HAS SOUPS 199183 WITH SCORE 206692.954
AT ITER 3028 NEW BEST:: SOT 8840611 SOS 7509569 HAS SOPS 3707267 HAS SOUS 518165 HAS SOUPS 199113 WITH SCORE 206622.569
AT ITER 3047 NEW BEST:: SOT 8840431 SOS 7508963 HAS SOPS 3707235 HAS SOUS 518038 HAS SOUPS 199068 WITH SCORE 206576.963
AT ITER 3083 NEW BEST:: SOT 8840111 SOS 7508083 HAS SOPS 3706915 HAS SOUS 517798 HAS SOUPS 198908 WITH SCORE 206416.083
AT ITER 3133 NEW BEST:: SOT 8839974 SOS 7507809 HAS SOPS 3706641 HAS SOUS 517551 HAS SOUPS 198661 WITH SCORE 206168.809
AT ITER 3155 NEW BEST:: SOT 8839957 SOS 7507656 HAS SOPS 3706488 HAS SOUS 517517 HAS SOUPS 198627 WITH SCORE 206134.656
AT ITER 3156 NEW BEST:: SOT 8839533 SOS 7506541 HAS SOPS 3705373 HAS SOUS 517271 HAS SOUPS 198381 WITH SCORE 205887.541
AT ITER 3162 NEW BEST:: SOT 8839194 SOS 7505298 HAS SOPS 3704921 HAS SOUS 516706 HAS SOUPS 197929 WITH SCORE 205434.298
AT ITER 3181 NEW BEST:: SOT 8839194 SOS 7505244 HAS SOPS 3704993 HAS SOUS 516688 HAS SOUPS 197929 WITH SCORE 205434.244
AT ITER 3248 NEW BEST:: SOT 8843881 SOS 7509575 HAS SOPS 3709036 HAS SOUS 516542 HAS SOUPS 197647 WITH SCORE 205156.575
AT ITER 3269 NEW BEST:: SOT 8843716 SOS 7507880 HAS SOPS 3707341 HAS SOUS 516153 HAS SOUPS 197258 WITH SCORE 204765.88
AT ITER 3300 NEW BEST:: SOT 8843872 SOS 7506080 HAS SOPS 3707389 HAS SOUS 516011 HAS SOUPS 197204 WITH SCORE 204710.08
AT ITER 3303 NEW BEST:: SOT 8843872 SOS 7506080 HAS SOPS 3707389 HAS SOUS 515887 HAS SOUPS 197080 WITH SCORE 204586.08
AT ITER 3308 NEW BEST:: SOT 8843784 SOS 7505904 HAS SOPS 3707535 HAS SOUS 515753 HAS SOUPS 196992 WITH SCORE 204497.904
AT ITER 3324 NEW BEST:: SOT 8843522 SOS 7510348 HAS SOPS 3710047 HAS SOUS 515629 HAS SOUPS 196868 WITH SCORE 204378.348
AT ITER 3340 NEW BEST:: SOT 8843460 SOS 7511371 HAS SOPS 3710388 HAS SOUS 515629 HAS SOUPS 196837 WITH SCORE 204348.371
AT ITER 3348 NEW BEST:: SOT 8843508 SOS 7508884 HAS SOPS 3707614 HAS SOUS 515657 HAS SOUPS 196824 WITH SCORE 204332.884
AT ITER 3351 NEW BEST:: SOT 8843508 SOS 7508884 HAS SOPS 3707614 HAS SOUS 515609 HAS SOUPS 196776 WITH SCORE 204284.884
AT ITER 3364 NEW BEST:: SOT 8843427 SOS 7508965 HAS SOPS 3707128 HAS SOUS 515609 HAS SOUPS 196695 WITH SCORE 204203.965
AT ITER 3415 NEW BEST:: SOT 8842603 SOS 7515867 HAS SOPS 3710068 HAS SOUS 515337 HAS SOUPS 196423 WITH SCORE 203938.867
AT ITER 3423 NEW BEST:: SOT 8842603 SOS 7515321 HAS SOPS 3710068 HAS SOUS 515259 HAS SOUPS 196423 WITH SCORE 203938.321
AT ITER 3459 NEW BEST:: SOT 8842601 SOS 7515317 HAS SOPS 3710064 HAS SOUS 515256 HAS SOUPS 196420 WITH SCORE 203935.317
AT ITER 3464 NEW BEST:: SOT 8842494 SOS 7513444 HAS SOPS 3709850 HAS SOUS 514814 HAS SOUPS 196215 WITH SCORE 203728.444
AT ITER 3466 NEW BEST:: SOT 8842355 SOS 7513166 HAS SOPS 3709572 HAS SOUS 514525 HAS SOUPS 195926 WITH SCORE 203439.166
AT ITER 3472 NEW BEST:: SOT 8841841 SOS 7510853 HAS SOPS 3709058 HAS SOUS 513749 HAS SOUPS 195407 WITH SCORE 202917.853
AT ITER 3485 NEW BEST:: SOT 8841841 SOS 7509303 HAS SOPS 3708810 HAS SOUS 513563 HAS SOUPS 195283 WITH SCORE 202792.303
AT ITER 3499 NEW BEST:: SOT 8841841 SOS 7509303 HAS SOPS 3708810 HAS SOUS 513489 HAS SOUPS 195209 WITH SCORE 202718.303
AT ITER 3534 NEW BEST:: SOT 8841758 SOS 7509137 HAS SOPS 3708644 HAS SOUS 513230 HAS SOUPS 194950 WITH SCORE 202459.137
AT ITER 3547 NEW BEST:: SOT 8842746 SOS 7512088 HAS SOPS 3709320 HAS SOUS 512976 HAS SOUPS 194371 WITH SCORE 201883.088
AT ITER 3556 NEW BEST:: SOT 8842541 SOS 7511678 HAS SOPS 3708910 HAS SOUS 512706 HAS SOUPS 194101 WITH SCORE 201612.678
AT ITER 3566 NEW BEST:: SOT 8842293 SOS 7509582 HAS SOPS 3708694 HAS SOUS 512607 HAS SOUPS 194002 WITH SCORE 201511.582
AT ITER 3573 NEW BEST:: SOT 8842185 SOS 7509366 HAS SOPS 3708478 HAS SOUS 512499 HAS SOUPS 193894 WITH SCORE 201403.366
AT ITER 3614 NEW BEST:: SOT 8838463 SOS 7503116 HAS SOPS 3706089 HAS SOUS 512028 HAS SOUPS 193720 WITH SCORE 201223.116
AT ITER 3621 NEW BEST:: SOT 8834241 SOS 7495960 HAS SOPS 3703119 HAS SOUS 511704 HAS SOUPS 193653 WITH SCORE 201148.96
AT ITER 3658 NEW BEST:: SOT 8833941 SOS 7493860 HAS SOPS 3703119 HAS SOUS 511145 HAS SOUPS 193394 WITH SCORE 200887.86
AT ITER 3724 NEW BEST:: SOT 8833866 SOS 7493505 HAS SOPS 3702689 HAS SOUS 510994 HAS SOUPS 193243 WITH SCORE 200736.505
AT ITER 3730 NEW BEST:: SOT 8833355 SOS 7494508 HAS SOPS 3701991 HAS SOUS 510684 HAS SOUPS 192852 WITH SCORE 200346.508
AT ITER 3750 NEW BEST:: SOT 8833181 SOS 7494160 HAS SOPS 3700425 HAS SOUS 510510 HAS SOUPS 192504 WITH SCORE 199998.16
AT ITER 3764 NEW BEST:: SOT 8833181 SOS 7494160 HAS SOPS 3700425 HAS SOUS 510496 HAS SOUPS 192490 WITH SCORE 199984.16
AT ITER 3780 NEW BEST:: SOT 8833269 SOS 7492444 HAS SOPS 3699633 HAS SOUS 510452 HAS SOUPS 192490 WITH SCORE 199982.444
AT ITER 3788 NEW BEST:: SOT 8833108 SOS 7491205 HAS SOPS 3699563 HAS SOUS 510123 HAS SOUPS 192328 WITH SCORE 199819.205
AT ITER 3804 NEW BEST:: SOT 8833108 SOS 7491205 HAS SOPS 3699563 HAS SOUS 510039 HAS SOUPS 192244 WITH SCORE 199735.205
AT ITER 3834 NEW BEST:: SOT 8832842 SOS 7491509 HAS SOPS 3699335 HAS SOUS 509923 HAS SOUPS 192128 WITH SCORE 199619.509
AT ITER 3839 NEW BEST:: SOT 8832077 SOS 7489094 HAS SOPS 3698985 HAS SOUS 509610 HAS SOUPS 192110 WITH SCORE 199599.094
AT ITER 3858 NEW BEST:: SOT 8832077 SOS 7489094 HAS SOPS 3698985 HAS SOUS 509486 HAS SOUPS 191986 WITH SCORE 199475.094
AT ITER 3863 NEW BEST:: SOT 8832009 SOS 7488398 HAS SOPS 3698849 HAS SOUS 509280 HAS SOUPS 191860 WITH SCORE 199348.398
AT ITER 3871 NEW BEST:: SOT 8831935 SOS 7488250 HAS SOPS 3698701 HAS SOUS 509206 HAS SOUPS 191786 WITH SCORE 199274.25
AT ITER 3900 NEW BEST:: SOT 8831775 SOS 7487930 HAS SOPS 3698381 HAS SOUS 508990 HAS SOUPS 191570 WITH SCORE 199057.93
AT ITER 3913 NEW BEST:: SOT 8831696 SOS 7487772 HAS SOPS 3698223 HAS SOUS 508911 HAS SOUPS 191491 WITH SCORE 198978.772
AT ITER 3928 NEW BEST:: SOT 8831696 SOS 7487772 HAS SOPS 3698223 HAS SOUS 508797 HAS SOUPS 191377 WITH SCORE 198864.772
AT ITER 3967 NEW BEST:: SOT 8830657 SOS 7485642 HAS SOPS 3697814 HAS SOUS 508482 HAS SOUPS 191324 WITH SCORE 198809.642
AT ITER 3980 NEW BEST:: SOT 8830657 SOS 7485642 HAS SOPS 3697814 HAS SOUS 508436 HAS SOUPS 191278 WITH SCORE 198763.642
AT ITER 3992 NEW BEST:: SOT 8830591 SOS 7485510 HAS SOPS 3697682 HAS SOUS 508370 HAS SOUPS 191212 WITH SCORE 198697.51
AT ITER 4017 NEW BEST:: SOT 8826685 SOS 7478859 HAS SOPS 3695100 HAS SOUS 507945 HAS SOUPS 191100 WITH SCORE 198578.859
AT ITER 4035 NEW BEST:: SOT 8826681 SOS 7478812 HAS SOPS 3695074 HAS SOUS 507941 HAS SOUPS 191097 WITH SCORE 198575.812
AT ITER 4063 NEW BEST:: SOT 8826681 SOS 7478812 HAS SOPS 3695074 HAS SOUS 507857 HAS SOUPS 191013 WITH SCORE 198491.812
AT ITER 4064 NEW BEST:: SOT 8826049 SOS 7475958 HAS SOPS 3692220 HAS SOUS 507229 HAS SOUPS 190385 WITH SCORE 197860.958
AT ITER 4074 NEW BEST:: SOT 8826049 SOS 7475958 HAS SOPS 3692220 HAS SOUS 507145 HAS SOUPS 190301 WITH SCORE 197776.958
AT ITER 4081 NEW BEST:: SOT 8827173 SOS 7478170 HAS SOPS 3692580 HAS SOUS 507401 HAS SOUPS 190279 WITH SCORE 197757.17
AT ITER 4129 NEW BEST:: SOT 8827173 SOS 7478165 HAS SOPS 3692615 HAS SOUS 507396 HAS SOUPS 190279 WITH SCORE 197757.165
AT ITER 4143 NEW BEST:: SOT 8827098 SOS 7478015 HAS SOPS 3692465 HAS SOUS 507321 HAS SOUPS 190204 WITH SCORE 197682.015
AT ITER 4155 NEW BEST:: SOT 8826940 SOS 7477699 HAS SOPS 3691239 HAS SOUS 507266 HAS SOUPS 190019 WITH SCORE 197496.699
AT ITER 4158 NEW BEST:: SOT 8826884 SOS 7477587 HAS SOPS 3691127 HAS SOUS 507209 HAS SOUPS 189962 WITH SCORE 197439.587
AT ITER 4206 NEW BEST:: SOT 8826932 SOS 7476899 HAS SOPS 3691223 HAS SOUS 507033 HAS SOUPS 189898 WITH SCORE 197374.899
AT ITER 4235 NEW BEST:: SOT 8826494 SOS 7477265 HAS SOPS 3690807 HAS SOUS 506728 HAS SOUPS 189593 WITH SCORE 197070.265
AT ITER 4261 NEW BEST:: SOT 8826254 SOS 7476281 HAS SOPS 3690999 HAS SOUS 506320 HAS SOUPS 189353 WITH SCORE 196829.281
AT ITER 4264 NEW BEST:: SOT 8826254 SOS 7475441 HAS SOPS 3690999 HAS SOUS 506200 HAS SOUPS 189353 WITH SCORE 196828.441
AT ITER 4271 NEW BEST:: SOT 8825766 SOS 7474581 HAS SOPS 3690755 HAS SOUS 505942 HAS SOUPS 189113 WITH SCORE 196587.581
AT ITER 4301 NEW BEST:: SOT 8825766 SOS 7474581 HAS SOPS 3690755 HAS SOUS 505906 HAS SOUPS 189077 WITH SCORE 196551.581
AT ITER 4317 NEW BEST:: SOT 8825730 SOS 7474509 HAS SOPS 3690683 HAS SOUS 505870 HAS SOUPS 189041 WITH SCORE 196515.509
AT ITER 4335 NEW BEST:: SOT 8825689 SOS 7474427 HAS SOPS 3690601 HAS SOUS 505829 HAS SOUPS 189000 WITH SCORE 196474.427
AT ITER 4353 NEW BEST:: SOT 8825589 SOS 7474227 HAS SOPS 3690401 HAS SOUS 505709 HAS SOUPS 188880 WITH SCORE 196354.227
AT ITER 4384 NEW BEST:: SOT 8824464 SOS 7483497 HAS SOPS 3691750 HAS SOUS 505372 HAS SOUPS 188178 WITH SCORE 195661.497
AT ITER 4409 NEW BEST:: SOT 8823706 SOS 7481981 HAS SOPS 3690234 HAS SOUS 504998 HAS SOUPS 187804 WITH SCORE 195285.981
AT ITER 4427 NEW BEST:: SOT 8819963 SOS 7476099 HAS SOPS 3687401 HAS SOUS 504756 HAS SOUPS 187614 WITH SCORE 195090.099
AT ITER 4433 NEW BEST:: SOT 8819964 SOS 7475205 HAS SOPS 3687403 HAS SOUS 504574 HAS SOUPS 187560 WITH SCORE 195035.205
AT ITER 4445 NEW BEST:: SOT 8819243 SOS 7433527 HAS SOPS 3659944 HAS SOUS 504595 HAS SOUPS 187581 WITH SCORE 195014.527
AT ITER 4452 NEW BEST:: SOT 8819243 SOS 7433527 HAS SOPS 3659944 HAS SOUS 504567 HAS SOUPS 187553 WITH SCORE 194986.527
AT ITER 4501 NEW BEST:: SOT 8818487 SOS 7431316 HAS SOPS 3659364 HAS SOUS 504136 HAS SOUPS 187355 WITH SCORE 194786.316
AT ITER 4542 NEW BEST:: SOT 8818429 SOS 7431200 HAS SOPS 3659248 HAS SOUS 504078 HAS SOUPS 187297 WITH SCORE 194728.2
AT ITER 4595 NEW BEST:: SOT 8818397 SOS 7430709 HAS SOPS 3660304 HAS SOUS 503764 HAS SOUPS 187204 WITH SCORE 194634.709
AT ITER 4614 NEW BEST:: SOT 8818201 SOS 7429812 HAS SOPS 3659995 HAS SOUS 503536 HAS SOUPS 187060 WITH SCORE 194489.812
AT ITER 4681 NEW BEST:: SOT 8818065 SOS 7428698 HAS SOPS 3660057 HAS SOUS 503157 HAS SOUPS 186849 WITH SCORE 194277.698
AT ITER 4743 NEW BEST:: SOT 8818001 SOS 7428231 HAS SOPS 3659590 HAS SOUS 503093 HAS SOUPS 186785 WITH SCORE 194213.231
AT ITER 4768 NEW BEST:: SOT 8818073 SOS 7428345 HAS SOPS 3659626 HAS SOUS 503087 HAS SOUPS 186773 WITH SCORE 194201.345
AT ITER 4849 NEW BEST:: SOT 8817945 SOS 7428061 HAS SOPS 3661554 HAS SOUS 502617 HAS SOUPS 186619 WITH SCORE 194047.061
AT ITER 4865 NEW BEST:: SOT 8817775 SOS 7429377 HAS SOPS 3662226 HAS SOUS 502586 HAS SOUPS 186588 WITH SCORE 194017.377
AT ITER 4871 NEW BEST:: SOT 8817217 SOS 7431209 HAS SOPS 3661244 HAS SOUS 502323 HAS SOUPS 186191 WITH SCORE 193622.209
AT ITER 4892 NEW BEST:: SOT 8816581 SOS 7429376 HAS SOPS 3660720 HAS SOUS 501874 HAS SOUPS 185929 WITH SCORE 193358.376
AT ITER 4896 NEW BEST:: SOT 8815487 SOS 7433515 HAS SOPS 3661345 HAS SOUS 501271 HAS SOUPS 185326 WITH SCORE 192759.515
AT ITER 4905 NEW BEST:: SOT 8816996 SOS 7435157 HAS SOPS 3662193 HAS SOUS 501013 HAS SOUPS 185121 WITH SCORE 192556.157
AT ITER 4979 NEW BEST:: SOT 8815349 SOS 7439721 HAS SOPS 3662173 HAS SOUS 500085 HAS SOUPS 184193 WITH SCORE 191632.721
AT ITER 5052 NEW BEST:: SOT 8815349 SOS 7439721 HAS SOPS 3662173 HAS SOUS 499993 HAS SOUPS 184101 WITH SCORE 191540.721
AT ITER 5053 NEW BEST:: SOT 8815187 SOS 7439397 HAS SOPS 3661849 HAS SOUS 499885 HAS SOUPS 183993 WITH SCORE 191432.397
AT ITER 5097 NEW BEST:: SOT 8815227 SOS 7438037 HAS SOPS 3661329 HAS SOUS 499845 HAS SOUPS 183993 WITH SCORE 191431.037
AT ITER 5126 NEW BEST:: SOT 8815227 SOS 7438037 HAS SOPS 3661329 HAS SOUS 499839 HAS SOUPS 183987 WITH SCORE 191425.037
AT ITER 5136 NEW BEST:: SOT 8815139 SOS 7428896 HAS SOPS 3656324 HAS SOUS 499828 HAS SOUPS 183976 WITH SCORE 191404.896
AT ITER 5190 NEW BEST:: SOT 8815071 SOS 7428994 HAS SOPS 3655876 HAS SOUS 499838 HAS SOUPS 183908 WITH SCORE 191336.994
AT ITER 5192 NEW BEST:: SOT 8815166 SOS 7429184 HAS SOPS 3656066 HAS SOUS 499796 HAS SOUPS 183866 WITH SCORE 191295.184
AT ITER 5202 NEW BEST:: SOT 8815166 SOS 7429184 HAS SOPS 3656066 HAS SOUS 499750 HAS SOUPS 183820 WITH SCORE 191249.184
AT ITER 5276 NEW BEST:: SOT 8815122 SOS 7429096 HAS SOPS 3656979 HAS SOUS 499567 HAS SOUPS 183780 WITH SCORE 191209.096
AT ITER 5302 NEW BEST:: SOT 8815122 SOS 7429096 HAS SOPS 3656979 HAS SOUS 499565 HAS SOUPS 183778 WITH SCORE 191207.096
AT ITER 5306 NEW BEST:: SOT 8814988 SOS 7428828 HAS SOPS 3656711 HAS SOUS 499431 HAS SOUPS 183644 WITH SCORE 191072.828
AT ITER 5322 NEW BEST:: SOT 8812420 SOS 7424714 HAS SOPS 3653857 HAS SOUS 499298 HAS SOUPS 183511 WITH SCORE 190935.714
AT ITER 5388 NEW BEST:: SOT 8812420 SOS 7424714 HAS SOPS 3653857 HAS SOUS 499174 HAS SOUPS 183387 WITH SCORE 190811.714
AT ITER 5395 NEW BEST:: SOT 8812195 SOS 7424089 HAS SOPS 3653232 HAS SOUS 499005 HAS SOUPS 183218 WITH SCORE 190642.089
AT ITER 5422 NEW BEST:: SOT 8811569 SOS 7425693 HAS SOPS 3653358 HAS SOUS 498962 HAS SOUPS 183175 WITH SCORE 190600.693
AT ITER 5465 NEW BEST:: SOT 8810318 SOS 7428576 HAS SOPS 3653629 HAS SOUS 498733 HAS SOUPS 182946 WITH SCORE 190374.576
AT ITER 5467 NEW BEST:: SOT 8809790 SOS 7427520 HAS SOPS 3652573 HAS SOUS 498660 HAS SOUPS 182873 WITH SCORE 190300.52
AT ITER 5475 NEW BEST:: SOT 8808911 SOS 7403959 HAS SOPS 3640574 HAS SOUS 498330 HAS SOUPS 182543 WITH SCORE 189946.959
AT ITER 5488 NEW BEST:: SOT 8809132 SOS 7403717 HAS SOPS 3640332 HAS SOUS 497867 HAS SOUPS 182080 WITH SCORE 189483.717
AT ITER 5557 NEW BEST:: SOT 8809076 SOS 7403788 HAS SOPS 3640403 HAS SOUS 497650 HAS SOUPS 181863 WITH SCORE 189266.788
AT ITER 5605 NEW BEST:: SOT 8809190 SOS 7404358 HAS SOPS 3640175 HAS SOUS 497731 HAS SOUPS 181830 WITH SCORE 189234.358
AT ITER 5650 NEW BEST:: SOT 8808744 SOS 7403528 HAS SOPS 3639345 HAS SOUS 497221 HAS SOUPS 181320 WITH SCORE 188723.528
AT ITER 5663 NEW BEST:: SOT 8803577 SOS 7396721 HAS SOPS 3635196 HAS SOUS 497034 HAS SOUPS 181133 WITH SCORE 188529.721
AT ITER 5698 NEW BEST:: SOT 8803585 SOS 7396737 HAS SOPS 3635212 HAS SOUS 497004 HAS SOUPS 181103 WITH SCORE 188499.737
AT ITER 5724 NEW BEST:: SOT 8803585 SOS 7396737 HAS SOPS 3635212 HAS SOUS 496964 HAS SOUPS 181063 WITH SCORE 188459.737
AT ITER 5777 NEW BEST:: SOT 8803440 SOS 7396447 HAS SOPS 3634922 HAS SOUS 496722 HAS SOUPS 180821 WITH SCORE 188217.447
AT ITER 5789 NEW BEST:: SOT 8803440 SOS 7391797 HAS SOPS 3629747 HAS SOUS 496797 HAS SOUPS 180821 WITH SCORE 188212.797
AT ITER 5823 NEW BEST:: SOT 8803379 SOS 7391736 HAS SOPS 3629686 HAS SOUS 496795 HAS SOUPS 180819 WITH SCORE 188210.736
AT ITER 5854 NEW BEST:: SOT 8803379 SOS 7391736 HAS SOPS 3629686 HAS SOUS 496773 HAS SOUPS 180797 WITH SCORE 188188.736
AT ITER 5872 NEW BEST:: SOT 8803284 SOS 7393058 HAS SOPS 3630420 HAS SOUS 496720 HAS SOUPS 180744 WITH SCORE 188137.058
AT ITER 5873 NEW BEST:: SOT 8803284 SOS 7393058 HAS SOPS 3630420 HAS SOUS 496694 HAS SOUPS 180718 WITH SCORE 188111.058
AT ITER 5876 NEW BEST:: SOT 8803139 SOS 7392768 HAS SOPS 3630554 HAS SOUS 496591 HAS SOUPS 180615 WITH SCORE 188007.768
AT ITER 5881 NEW BEST:: SOT 8802377 SOS 7395084 HAS SOPS 3631344 HAS SOUS 496152 HAS SOUPS 180176 WITH SCORE 187571.084
AT ITER 5889 NEW BEST:: SOT 8802377 SOS 7395084 HAS SOPS 3631344 HAS SOUS 496148 HAS SOUPS 180172 WITH SCORE 187567.084
AT ITER 5901 NEW BEST:: SOT 8802749 SOS 7396766 HAS SOPS 3633026 HAS SOUS 496093 HAS SOUPS 180117 WITH SCORE 187513.766
AT ITER 5907 NEW BEST:: SOT 8802701 SOS 7396670 HAS SOPS 3632930 HAS SOUS 496042 HAS SOUPS 180066 WITH SCORE 187462.67
AT ITER 5910 NEW BEST:: SOT 8802701 SOS 7396670 HAS SOPS 3632930 HAS SOUS 495918 HAS SOUPS 179942 WITH SCORE 187338.67
AT ITER 5940 NEW BEST:: SOT 8802643 SOS 7391102 HAS SOPS 3626144 HAS SOUS 495976 HAS SOUPS 179942 WITH SCORE 187333.102
AT ITER 5983 NEW BEST:: SOT 8802613 SOS 7391687 HAS SOPS 3626414 HAS SOUS 495990 HAS SOUPS 179941 WITH SCORE 187332.687
AT ITER 6006 NEW BEST:: SOT 8802613 SOS 7391561 HAS SOPS 3627975 HAS SOUS 495749 HAS SOUPS 179941 WITH SCORE 187332.561
AT ITER 6032 NEW BEST:: SOT 8803609 SOS 7393090 HAS SOPS 3628725 HAS SOUS 495617 HAS SOUPS 179809 WITH SCORE 187202.09
AT ITER 6041 NEW BEST:: SOT 8803481 SOS 7392834 HAS SOPS 3628469 HAS SOUS 495515 HAS SOUPS 179707 WITH SCORE 187099.834
AT ITER 6050 NEW BEST:: SOT 8803955 SOS 7393308 HAS SOPS 3628469 HAS SOUS 495357 HAS SOUPS 179549 WITH SCORE 186942.308
AT ITER 6088 NEW BEST:: SOT 8803955 SOS 7393308 HAS SOPS 3628469 HAS SOUS 495315 HAS SOUPS 179507 WITH SCORE 186900.308
AT ITER 6192 NEW BEST:: SOT 8803873 SOS 7392980 HAS SOPS 3628141 HAS SOUS 495151 HAS SOUPS 179343 WITH SCORE 186735.98
AT ITER 6193 NEW BEST:: SOT 8803817 SOS 7392868 HAS SOPS 3629359 HAS SOUS 494905 HAS SOUPS 179287 WITH SCORE 186679.868
AT ITER 6194 NEW BEST:: SOT 8803817 SOS 7392868 HAS SOPS 3629093 HAS SOUS 494928 HAS SOUPS 179272 WITH SCORE 186664.868
AT ITER 6211 NEW BEST:: SOT 8803817 SOS 7392868 HAS SOPS 3629093 HAS SOUS 494894 HAS SOUPS 179238 WITH SCORE 186630.868
AT ITER 6218 NEW BEST:: SOT 8803817 SOS 7392868 HAS SOPS 3629093 HAS SOUS 494770 HAS SOUPS 179114 WITH SCORE 186506.868
AT ITER 6249 NEW BEST:: SOT 8803797 SOS 7392858 HAS SOPS 3629013 HAS SOUS 494760 HAS SOUPS 179094 WITH SCORE 186486.858
AT ITER 6274 NEW BEST:: SOT 8803819 SOS 7393202 HAS SOPS 3628657 HAS SOUS 494782 HAS SOUPS 179016 WITH SCORE 186409.202
AT ITER 6283 NEW BEST:: SOT 8803819 SOS 7393202 HAS SOPS 3628657 HAS SOUS 494742 HAS SOUPS 178976 WITH SCORE 186369.202
AT ITER 6297 NEW BEST:: SOT 8803819 SOS 7393202 HAS SOPS 3628657 HAS SOUS 494618 HAS SOUPS 178852 WITH SCORE 186245.202
AT ITER 6313 NEW BEST:: SOT 8803819 SOS 7393202 HAS SOPS 3628657 HAS SOUS 494580 HAS SOUPS 178814 WITH SCORE 186207.202
AT ITER 6315 NEW BEST:: SOT 8803732 SOS 7392764 HAS SOPS 3628527 HAS SOUS 494437 HAS SOUPS 178715 WITH SCORE 186107.764
AT ITER 6370 NEW BEST:: SOT 8804004 SOS 7382855 HAS SOPS 3622762 HAS SOUS 494427 HAS SOUPS 178705 WITH SCORE 186087.855
AT ITER 6386 NEW BEST:: SOT 8805206 SOS 7384075 HAS SOPS 3623094 HAS SOUS 494297 HAS SOUPS 178575 WITH SCORE 185959.075
AT ITER 6412 NEW BEST:: SOT 8804491 SOS 7382096 HAS SOPS 3622298 HAS SOUS 493419 HAS SOUPS 177866 WITH SCORE 185248.096
AT ITER 6430 NEW BEST:: SOT 8804524 SOS 7382162 HAS SOPS 3622364 HAS SOUS 493416 HAS SOUPS 177863 WITH SCORE 185245.162
AT ITER 6432 NEW BEST:: SOT 8804524 SOS 7382162 HAS SOPS 3622364 HAS SOUS 493412 HAS SOUPS 177859 WITH SCORE 185241.162
AT ITER 6441 NEW BEST:: SOT 8804466 SOS 7383422 HAS SOPS 3622980 HAS SOUS 493400 HAS SOUPS 177847 WITH SCORE 185230.422
AT ITER 6476 NEW BEST:: SOT 8804261 SOS 7385371 HAS SOPS 3622318 HAS SOUS 493442 HAS SOUPS 177516 WITH SCORE 184901.371
AT ITER 6625 NEW BEST:: SOT 8804940 SOS 7386592 HAS SOPS 3623539 HAS SOUS 493379 HAS SOUPS 177453 WITH SCORE 184839.592
AT ITER 6634 NEW BEST:: SOT 8805066 SOS 7372075 HAS SOPS 3622894 HAS SOUS 493001 HAS SOUPS 177279 WITH SCORE 184651.075
AT ITER 6667 NEW BEST:: SOT 8804441 SOS 7376460 HAS SOPS 3623898 HAS SOUS 492892 HAS SOUPS 177009 WITH SCORE 184385.46
AT ITER 6673 NEW BEST:: SOT 8804384 SOS 7372809 HAS SOPS 3626404 HAS SOUS 492887 HAS SOUPS 177004 WITH SCORE 184376.809
AT ITER 6680 NEW BEST:: SOT 8804365 SOS 7363318 HAS SOPS 3617947 HAS SOUS 492890 HAS SOUPS 177007 WITH SCORE 184370.318
AT ITER 6737 NEW BEST:: SOT 8804355 SOS 7363268 HAS SOPS 3617897 HAS SOUS 492890 HAS SOUPS 177007 WITH SCORE 184370.268
AT ITER 6757 NEW BEST:: SOT 8804355 SOS 7363268 HAS SOPS 3617897 HAS SOUS 492884 HAS SOUPS 177001 WITH SCORE 184364.268
AT ITER 6760 NEW BEST:: SOT 8804355 SOS 7363268 HAS SOPS 3617897 HAS SOUS 492760 HAS SOUPS 176877 WITH SCORE 184240.268
AT ITER 6799 NEW BEST:: SOT 8804271 SOS 7363037 HAS SOPS 3617666 HAS SOUS 492718 HAS SOUPS 176835 WITH SCORE 184198.037
AT ITER 6852 NEW BEST:: SOT 8804317 SOS 7361329 HAS SOPS 3616658 HAS SOUS 492713 HAS SOUPS 176830 WITH SCORE 184191.329
AT ITER 6856 NEW BEST:: SOT 8804317 SOS 7361329 HAS SOPS 3616658 HAS SOUS 492681 HAS SOUPS 176798 WITH SCORE 184159.329
AT ITER 6873 NEW BEST:: SOT 8802821 SOS 7365481 HAS SOPS 3616638 HAS SOUS 491907 HAS SOUPS 176024 WITH SCORE 183389.481
AT ITER 6878 NEW BEST:: SOT 8800562 SOS 7362082 HAS SOPS 3614361 HAS SOUS 491901 HAS SOUPS 176018 WITH SCORE 183380.082
AT ITER 6895 NEW BEST:: SOT 8801071 SOS 7360694 HAS SOPS 3613661 HAS SOUS 491972 HAS SOUPS 176010 WITH SCORE 183370.694
AT ITER 6917 NEW BEST:: SOT 8801071 SOS 7360694 HAS SOPS 3613661 HAS SOUS 491964 HAS SOUPS 176002 WITH SCORE 183362.694
AT ITER 6948 NEW BEST:: SOT 8801071 SOS 7360694 HAS SOPS 3613661 HAS SOUS 491952 HAS SOUPS 175990 WITH SCORE 183350.694
AT ITER 6959 NEW BEST:: SOT 8800770 SOS 7366138 HAS SOPS 3615514 HAS SOUS 491932 HAS SOUPS 175799 WITH SCORE 183165.138
AT ITER 6967 NEW BEST:: SOT 8800369 SOS 7374919 HAS SOPS 3619003 HAS SOUS 491849 HAS SOUPS 175464 WITH SCORE 182838.919
AT ITER 6976 NEW BEST:: SOT 8800238 SOS 7374788 HAS SOPS 3618872 HAS SOUS 491718 HAS SOUPS 175333 WITH SCORE 182707.788
AT ITER 7000 NEW BEST:: SOT 8800650 SOS 7348128 HAS SOPS 3619052 HAS SOUS 491568 HAS SOUPS 175183 WITH SCORE 182531.128
AT ITER 7043 NEW BEST:: SOT 8800568 SOS 7348489 HAS SOPS 3618888 HAS SOUS 491480 HAS SOUPS 175020 WITH SCORE 182368.489
AT ITER 7053 NEW BEST:: SOT 8800568 SOS 7348489 HAS SOPS 3618888 HAS SOUS 491386 HAS SOUPS 174926 WITH SCORE 182274.489
AT ITER 7100 NEW BEST:: SOT 8800568 SOS 7348489 HAS SOPS 3618888 HAS SOUS 491324 HAS SOUPS 174864 WITH SCORE 182212.489
AT ITER 7153 NEW BEST:: SOT 8800508 SOS 7348809 HAS SOPS 3618928 HAS SOUS 491264 HAS SOUPS 174804 WITH SCORE 182152.809
AT ITER 7162 NEW BEST:: SOT 8800378 SOS 7348549 HAS SOPS 3618668 HAS SOUS 491241 HAS SOUPS 174781 WITH SCORE 182129.549
AT ITER 7170 NEW BEST:: SOT 8800387 SOS 7348243 HAS SOPS 3618488 HAS SOUS 491241 HAS SOUPS 174781 WITH SCORE 182129.243
AT ITER 7217 NEW BEST:: SOT 8800291 SOS 7344165 HAS SOPS 3616382 HAS SOUS 491194 HAS SOUPS 174763 WITH SCORE 182107.165
AT ITER 7244 NEW BEST:: SOT 8800184 SOS 7343279 HAS SOPS 3616392 HAS SOUS 490980 HAS SOUPS 174677 WITH SCORE 182020.279
AT ITER 7258 NEW BEST:: SOT 8799698 SOS 7346970 HAS SOPS 3617815 HAS SOUS 490891 HAS SOUPS 174588 WITH SCORE 181934.97
AT ITER 7269 NEW BEST:: SOT 8799698 SOS 7346970 HAS SOPS 3617815 HAS SOUS 490877 HAS SOUPS 174574 WITH SCORE 181920.97
AT ITER 7305 NEW BEST:: SOT 8799638 SOS 7348434 HAS SOPS 3618663 HAS SOUS 490861 HAS SOUPS 174558 WITH SCORE 181906.434
AT ITER 7315 NEW BEST:: SOT 8798902 SOS 7349184 HAS SOPS 3617999 HAS SOUS 490483 HAS SOUPS 174180 WITH SCORE 181529.184
AT ITER 7383 NEW BEST:: SOT 8798902 SOS 7349289 HAS SOPS 3617999 HAS SOUS 490483 HAS SOUPS 174165 WITH SCORE 181514.289
AT ITER 7435 NEW BEST:: SOT 8798902 SOS 7349289 HAS SOPS 3617999 HAS SOUS 490375 HAS SOUPS 174105 WITH SCORE 181454.289
AT ITER 7439 NEW BEST:: SOT 8799103 SOS 7349551 HAS SOPS 3618261 HAS SOUS 490312 HAS SOUPS 174042 WITH SCORE 181391.551
AT ITER 7443 NEW BEST:: SOT 8799015 SOS 7349375 HAS SOPS 3617553 HAS SOUS 490300 HAS SOUPS 173954 WITH SCORE 181303.375
AT ITER 7474 NEW BEST:: SOT 8798948 SOS 7350858 HAS SOPS 3619036 HAS SOUS 490018 HAS SOUPS 173672 WITH SCORE 181022.858
AT ITER 7490 NEW BEST:: SOT 8798802 SOS 7353408 HAS SOPS 3618562 HAS SOUS 490379 HAS SOUPS 173601 WITH SCORE 180954.408
AT ITER 7495 NEW BEST:: SOT 8795678 SOS 7348370 HAS SOPS 3616670 HAS SOUS 490133 HAS SOUPS 173597 WITH SCORE 180945.37
AT ITER 7507 NEW BEST:: SOT 8795610 SOS 7348234 HAS SOPS 3616534 HAS SOUS 490065 HAS SOUPS 173529 WITH SCORE 180877.234
AT ITER 7528 NEW BEST:: SOT 8795361 SOS 7347736 HAS SOPS 3616510 HAS SOUS 489979 HAS SOUPS 173505 WITH SCORE 180852.736
AT ITER 7543 NEW BEST:: SOT 8795224 SOS 7350234 HAS SOPS 3616412 HAS SOUS 489798 HAS SOUPS 173368 WITH SCORE 180718.234
AT ITER 7578 NEW BEST:: SOT 8795224 SOS 7350234 HAS SOPS 3616412 HAS SOUS 489772 HAS SOUPS 173342 WITH SCORE 180692.234
AT ITER 7583 NEW BEST:: SOT 8790499 SOS 7342529 HAS SOPS 3613634 HAS SOUS 489325 HAS SOUPS 173274 WITH SCORE 180616.529
AT ITER 7628 NEW BEST:: SOT 8786149 SOS 7335413 HAS SOPS 3610860 HAS SOUS 488804 HAS SOUPS 173087 WITH SCORE 180422.413
AT ITER 7644 NEW BEST:: SOT 8785966 SOS 7335108 HAS SOPS 3610555 HAS SOUS 488559 HAS SOUPS 172842 WITH SCORE 180177.108
AT ITER 7650 NEW BEST:: SOT 8785966 SOS 7335108 HAS SOPS 3610555 HAS SOUS 488532 HAS SOUPS 172815 WITH SCORE 180150.108
AT ITER 7664 NEW BEST:: SOT 8785899 SOS 7328097 HAS SOPS 3607964 HAS SOUS 488460 HAS SOUPS 172808 WITH SCORE 180136.097
AT ITER 7673 NEW BEST:: SOT 8785899 SOS 7328097 HAS SOPS 3607964 HAS SOUS 488360 HAS SOUPS 172708 WITH SCORE 180036.097
AT ITER 7704 NEW BEST:: SOT 8785860 SOS 7327785 HAS SOPS 3607925 HAS SOUS 488304 HAS SOUPS 172691 WITH SCORE 180018.785
AT ITER 7706 NEW BEST:: SOT 8785860 SOS 7327785 HAS SOPS 3607925 HAS SOUS 488222 HAS SOUPS 172609 WITH SCORE 179936.785
AT ITER 7719 NEW BEST:: SOT 8785860 SOS 7327785 HAS SOPS 3607925 HAS SOUS 488098 HAS SOUPS 172485 WITH SCORE 179812.785
AT ITER 7798 NEW BEST:: SOT 8785833 SOS 7327472 HAS SOPS 3607871 HAS SOUS 487960 HAS SOUPS 172384 WITH SCORE 179711.472
AT ITER 7811 NEW BEST:: SOT 8785860 SOS 7327337 HAS SOPS 3607925 HAS SOUS 487933 HAS SOUPS 172384 WITH SCORE 179711.337
AT ITER 7854 NEW BEST:: SOT 8785661 SOS 7326371 HAS SOPS 3608059 HAS SOUS 487619 HAS SOUPS 172224 WITH SCORE 179550.371
AT ITER 7855 NEW BEST:: SOT 8785661 SOS 7326371 HAS SOPS 3608059 HAS SOUS 487527 HAS SOUPS 172132 WITH SCORE 179458.371
AT ITER 7887 NEW BEST:: SOT 8785603 SOS 7325716 HAS SOPS 3607943 HAS SOUS 487392 HAS SOUPS 172074 WITH SCORE 179399.71600000001
AT ITER 7929 NEW BEST:: SOT 8784867 SOS 7329792 HAS SOPS 3608848 HAS SOUS 487062 HAS SOUPS 171593 WITH SCORE 178922.792
AT ITER 7996 NEW BEST:: SOT 8784867 SOS 7329792 HAS SOPS 3608848 HAS SOUS 486978 HAS SOUPS 171509 WITH SCORE 178838.792
AT ITER 7997 NEW BEST:: SOT 8784867 SOS 7330520 HAS SOPS 3608848 HAS SOUS 487011 HAS SOUPS 171438 WITH SCORE 178768.52
AT ITER 8040 NEW BEST:: SOT 8784229 SOS 7333165 HAS SOPS 3607860 HAS SOUS 486991 HAS SOUPS 171245 WITH SCORE 178578.165
AT ITER 8058 NEW BEST:: SOT 8784198 SOS 7333103 HAS SOPS 3607252 HAS SOUS 486986 HAS SOUPS 171162 WITH SCORE 178495.103
AT ITER 8083 NEW BEST:: SOT 8784198 SOS 7333103 HAS SOPS 3607252 HAS SOUS 486972 HAS SOUPS 171148 WITH SCORE 178481.103
AT ITER 8091 NEW BEST:: SOT 8784184 SOS 7333031 HAS SOPS 3607180 HAS SOUS 486901 HAS SOUPS 171077 WITH SCORE 178410.031
AT ITER 8106 NEW BEST:: SOT 8784055 SOS 7330450 HAS SOPS 3606174 HAS SOUS 486799 HAS SOUPS 171050 WITH SCORE 178380.45
AT ITER 8120 NEW BEST:: SOT 8784055 SOS 7330450 HAS SOPS 3606174 HAS SOUS 486793 HAS SOUPS 171044 WITH SCORE 178374.45
AT ITER 8165 NEW BEST:: SOT 8778915 SOS 7324578 HAS SOPS 3601135 HAS SOUS 486934 HAS SOUPS 170809 WITH SCORE 178133.578
AT ITER 8201 NEW BEST:: SOT 8778915 SOS 7324578 HAS SOPS 3601135 HAS SOUS 486854 HAS SOUPS 170729 WITH SCORE 178053.578
AT ITER 8223 NEW BEST:: SOT 8778614 SOS 7323109 HAS SOPS 3601689 HAS SOUS 486546 HAS SOUPS 170710 WITH SCORE 178033.109
AT ITER 8232 NEW BEST:: SOT 8778581 SOS 7323076 HAS SOPS 3601689 HAS SOUS 486588 HAS SOUPS 170704 WITH SCORE 178027.076
AT ITER 8265 NEW BEST:: SOT 8778535 SOS 7324568 HAS SOPS 3602565 HAS SOUS 486586 HAS SOUPS 170702 WITH SCORE 178026.568
AT ITER 8267 NEW BEST:: SOT 8778528 SOS 7324554 HAS SOPS 3601396 HAS SOUS 486705 HAS SOUPS 170656 WITH SCORE 177980.554
AT ITER 8288 NEW BEST:: SOT 8778528 SOS 7324834 HAS SOPS 3601396 HAS SOUS 486707 HAS SOUPS 170618 WITH SCORE 177942.834
AT ITER 8300 NEW BEST:: SOT 8778501 SOS 7324780 HAS SOPS 3600733 HAS SOUS 486740 HAS SOUPS 170564 WITH SCORE 177888.78
AT ITER 8383 NEW BEST:: SOT 8778671 SOS 7324856 HAS SOPS 3600809 HAS SOUS 486690 HAS SOUPS 170514 WITH SCORE 177838.856
AT ITER 8405 NEW BEST:: SOT 8778643 SOS 7325276 HAS SOPS 3601229 HAS SOUS 486662 HAS SOUPS 170486 WITH SCORE 177811.276
AT ITER 8459 NEW BEST:: SOT 8778619 SOS 7325228 HAS SOPS 3601181 HAS SOUS 486638 HAS SOUPS 170462 WITH SCORE 177787.228
AT ITER 8471 NEW BEST:: SOT 8778433 SOS 7324856 HAS SOPS 3600809 HAS SOUS 486452 HAS SOUPS 170276 WITH SCORE 177600.856
AT ITER 8506 NEW BEST:: SOT 8778433 SOS 7324856 HAS SOPS 3600809 HAS SOUS 486432 HAS SOUPS 170256 WITH SCORE 177580.856
AT ITER 8520 NEW BEST:: SOT 8778306 SOS 7324119 HAS SOPS 3600737 HAS SOUS 486169 HAS SOUPS 170088 WITH SCORE 177412.119
AT ITER 8535 NEW BEST:: SOT 8778168 SOS 7323367 HAS SOPS 3600671 HAS SOUS 485865 HAS SOUPS 169882 WITH SCORE 177205.367
AT ITER 8578 NEW BEST:: SOT 8778166 SOS 7323363 HAS SOPS 3600667 HAS SOUS 485839 HAS SOUPS 169856 WITH SCORE 177179.363
AT ITER 8646 NEW BEST:: SOT 8777603 SOS 7321841 HAS SOPS 3600069 HAS SOUS 485408 HAS SOUPS 169557 WITH SCORE 176878.84100000001
AT ITER 8651 NEW BEST:: SOT 8777071 SOS 7320967 HAS SOPS 3599689 HAS SOUS 485294 HAS SOUPS 169481 WITH SCORE 176801.967
AT ITER 8653 NEW BEST:: SOT 8778005 SOS 7322740 HAS SOPS 3600156 HAS SOUS 485479 HAS SOUPS 169452 WITH SCORE 176774.74
AT ITER 8669 NEW BEST:: SOT 8773734 SOS 7288298 HAS SOPS 3596981 HAS SOUS 485082 HAS SOUPS 169126 WITH SCORE 176414.298
AT ITER 8686 NEW BEST:: SOT 8773734 SOS 7288298 HAS SOPS 3596981 HAS SOUS 485072 HAS SOUPS 169116 WITH SCORE 176404.298
AT ITER 8701 NEW BEST:: SOT 8773734 SOS 7288298 HAS SOPS 3596981 HAS SOUS 484948 HAS SOUPS 168992 WITH SCORE 176280.298
AT ITER 8729 NEW BEST:: SOT 8773734 SOS 7288298 HAS SOPS 3596981 HAS SOUS 484928 HAS SOUPS 168972 WITH SCORE 176260.298
AT ITER 8739 NEW BEST:: SOT 8773734 SOS 7288298 HAS SOPS 3596981 HAS SOUS 484804 HAS SOUPS 168848 WITH SCORE 176136.298
AT ITER 8746 NEW BEST:: SOT 8773646 SOS 7292406 HAS SOPS 3596941 HAS SOUS 484685 HAS SOUPS 168729 WITH SCORE 176021.406
AT ITER 8771 NEW BEST:: SOT 8773423 SOS 7280606 HAS SOPS 3591756 HAS SOUS 484075 HAS SOUPS 168434 WITH SCORE 175714.606
AT ITER 8791 NEW BEST:: SOT 8773399 SOS 7280397 HAS SOPS 3591708 HAS SOUS 484003 HAS SOUPS 168385 WITH SCORE 175665.397
AT ITER 8799 NEW BEST:: SOT 8773271 SOS 7280169 HAS SOPS 3591480 HAS SOUS 483925 HAS SOUPS 168307 WITH SCORE 175587.169
AT ITER 8814 NEW BEST:: SOT 8773271 SOS 7280169 HAS SOPS 3591480 HAS SOUS 483921 HAS SOUPS 168303 WITH SCORE 175583.169
AT ITER 8829 NEW BEST:: SOT 8773271 SOS 7280169 HAS SOPS 3591480 HAS SOUS 483864 HAS SOUPS 168246 WITH SCORE 175526.169
AT ITER 8852 NEW BEST:: SOT 8773254 SOS 7278721 HAS SOPS 3590032 HAS SOUS 483650 HAS SOUPS 168032 WITH SCORE 175310.721
AT ITER 8890 NEW BEST:: SOT 8773194 SOS 7277880 HAS SOPS 3589912 HAS SOUS 483506 HAS SOUPS 167991 WITH SCORE 175268.88
AT ITER 8916 NEW BEST:: SOT 8773194 SOS 7277880 HAS SOPS 3589912 HAS SOUS 483486 HAS SOUPS 167971 WITH SCORE 175248.88
AT ITER 8946 NEW BEST:: SOT 8773028 SOS 7277210 HAS SOPS 3589242 HAS SOUS 483220 HAS SOUPS 167705 WITH SCORE 174982.21
AT ITER 8959 NEW BEST:: SOT 8773028 SOS 7277210 HAS SOPS 3589242 HAS SOUS 483096 HAS SOUPS 167581 WITH SCORE 174858.21
AT ITER 8964 NEW BEST:: SOT 8773026 SOS 7277201 HAS SOPS 3589240 HAS SOUS 483095 HAS SOUPS 167581 WITH SCORE 174858.201
AT ITER 8988 NEW BEST:: SOT 8772792 SOS 7279649 HAS SOPS 3590554 HAS SOUS 483023 HAS SOUPS 167509 WITH SCORE 174788.649
AT ITER 8991 NEW BEST:: SOT 8772893 SOS 7285703 HAS SOPS 3598449 HAS SOUS 482537 HAS SOUPS 167286 WITH SCORE 174571.703
AT ITER 9014 NEW BEST:: SOT 8766317 SOS 7275081 HAS SOPS 3594405 HAS SOUS 481947 HAS SOUPS 167202 WITH SCORE 174477.081
AT ITER 9050 NEW BEST:: SOT 8766185 SOS 7276143 HAS SOPS 3594753 HAS SOUS 481883 HAS SOUPS 167104 WITH SCORE 174380.143
AT ITER 9111 NEW BEST:: SOT 8766185 SOS 7276143 HAS SOPS 3594753 HAS SOUS 481879 HAS SOUPS 167100 WITH SCORE 174376.143
AT ITER 9114 NEW BEST:: SOT 8766045 SOS 7275100 HAS SOPS 3594473 HAS SOUS 481628 HAS SOUPS 166958 WITH SCORE 174233.1
AT ITER 9131 NEW BEST:: SOT 8765893 SOS 7274988 HAS SOPS 3594361 HAS SOUS 481620 HAS SOUPS 166950 WITH SCORE 174224.988
AT ITER 9132 NEW BEST:: SOT 8765893 SOS 7274988 HAS SOPS 3594361 HAS SOUS 481508 HAS SOUPS 166838 WITH SCORE 174112.988
AT ITER 9155 NEW BEST:: SOT 8766005 SOS 7270752 HAS SOPS 3592645 HAS SOUS 481191 HAS SOUPS 166641 WITH SCORE 173911.752
AT ITER 9176 NEW BEST:: SOT 8765989 SOS 7270720 HAS SOPS 3592613 HAS SOUS 481179 HAS SOUPS 166629 WITH SCORE 173899.72
AT ITER 9211 NEW BEST:: SOT 8765913 SOS 7271000 HAS SOPS 3591885 HAS SOUS 481247 HAS SOUPS 166553 WITH SCORE 173824.0
AT ITER 9233 NEW BEST:: SOT 8763416 SOS 7266933 HAS SOPS 3590120 HAS SOUS 481039 HAS SOUPS 166471 WITH SCORE 173737.933
AT ITER 9253 NEW BEST:: SOT 8763416 SOS 7266933 HAS SOPS 3590120 HAS SOUS 480985 HAS SOUPS 166417 WITH SCORE 173683.933
AT ITER 9264 NEW BEST:: SOT 8763416 SOS 7266933 HAS SOPS 3590120 HAS SOUS 480929 HAS SOUPS 166361 WITH SCORE 173627.933
AT ITER 9287 NEW BEST:: SOT 8763447 SOS 7267349 HAS SOPS 3590123 HAS SOUS 480913 HAS SOUPS 166286 WITH SCORE 173553.349
AT ITER 9302 NEW BEST:: SOT 8763289 SOS 7267228 HAS SOPS 3590002 HAS SOUS 480813 HAS SOUPS 166186 WITH SCORE 173453.228
AT ITER 9304 NEW BEST:: SOT 8763274 SOS 7267125 HAS SOPS 3589899 HAS SOUS 480798 HAS SOUPS 166171 WITH SCORE 173438.125
AT ITER 9342 NEW BEST:: SOT 8763274 SOS 7267125 HAS SOPS 3589899 HAS SOUS 480790 HAS SOUPS 166163 WITH SCORE 173430.125
AT ITER 9357 NEW BEST:: SOT 8763274 SOS 7266607 HAS SOPS 3589920 HAS SOUS 480713 HAS SOUPS 166163 WITH SCORE 173429.607
AT ITER 9361 NEW BEST:: SOT 8763771 SOS 7268303 HAS SOPS 3589978 HAS SOUS 480645 HAS SOUPS 165861 WITH SCORE 173129.303
AT ITER 9399 NEW BEST:: SOT 8763700 SOS 7268232 HAS SOPS 3589907 HAS SOUS 480556 HAS SOUPS 165772 WITH SCORE 173040.232
AT ITER 9455 NEW BEST:: SOT 8763677 SOS 7268326 HAS SOPS 3590001 HAS SOUS 480533 HAS SOUPS 165749 WITH SCORE 173017.326
AT ITER 9500 NEW BEST:: SOT 8763677 SOS 7268326 HAS SOPS 3590001 HAS SOUS 480525 HAS SOUPS 165741 WITH SCORE 173009.326
AT ITER 9501 NEW BEST:: SOT 8763554 SOS 7268199 HAS SOPS 3588670 HAS SOUS 480522 HAS SOUPS 165566 WITH SCORE 172834.199
AT ITER 9540 NEW BEST:: SOT 8763551 SOS 7268196 HAS SOPS 3588667 HAS SOUS 480516 HAS SOUPS 165560 WITH SCORE 172828.196
AT ITER 9548 NEW BEST:: SOT 8763519 SOS 7268309 HAS SOPS 3588367 HAS SOUS 480528 HAS SOUPS 165513 WITH SCORE 172781.309
AT ITER 9583 NEW BEST:: SOT 8763519 SOS 7268309 HAS SOPS 3588367 HAS SOUS 480450 HAS SOUPS 165435 WITH SCORE 172703.309
AT ITER 9610 NEW BEST:: SOT 8763395 SOS 7267620 HAS SOPS 3588119 HAS SOUS 480139 HAS SOUPS 165187 WITH SCORE 172454.62
AT ITER 9613 NEW BEST:: SOT 8763395 SOS 7267080 HAS SOPS 3588839 HAS SOUS 479959 HAS SOUPS 165187 WITH SCORE 172454.08
AT ITER 9697 NEW BEST:: SOT 8763395 SOS 7267080 HAS SOPS 3588839 HAS SOUS 479893 HAS SOUPS 165121 WITH SCORE 172388.08
AT ITER 9718 NEW BEST:: SOT 8763228 SOS 7279619 HAS SOPS 3588808 HAS SOUS 479963 HAS SOUPS 165005 WITH SCORE 172284.619
AT ITER 9723 NEW BEST:: SOT 8763228 SOS 7279619 HAS SOPS 3588808 HAS SOUS 479883 HAS SOUPS 164925 WITH SCORE 172204.619
AT ITER 9750 NEW BEST:: SOT 8763213 SOS 7279589 HAS SOPS 3588652 HAS SOUS 479886 HAS SOUPS 164910 WITH SCORE 172189.589
AT ITER 9852 NEW BEST:: SOT 8763213 SOS 7279589 HAS SOPS 3588652 HAS SOUS 479866 HAS SOUPS 164890 WITH SCORE 172169.589
AT ITER 9911 NEW BEST:: SOT 8763213 SOS 7279589 HAS SOPS 3588652 HAS SOUS 479796 HAS SOUPS 164820 WITH SCORE 172099.589
AT ITER 9928 NEW BEST:: SOT 8762641 SOS 7277968 HAS SOPS 3588144 HAS SOUS 479606 HAS SOUPS 164789 WITH SCORE 172066.968
BK_STOP 1678253025427
--------------------
content from stderr:
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 Killed ${SMART}/smart ${INPUT_SM}
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="DLCflexbar-PT-5a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is DLCflexbar-PT-5a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472600560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-5a.tgz
mv DLCflexbar-PT-5a 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 '
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 ;