Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 748K
-rw-r--r-- 1 mcc users 3.4K Mar 30 19:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 19:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 09:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 09:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 05:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 05:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 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 566K 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 DLCround-PT-09a-CTLFireability-00
FORMULA_NAME DLCround-PT-09a-CTLFireability-01
FORMULA_NAME DLCround-PT-09a-CTLFireability-02
FORMULA_NAME DLCround-PT-09a-CTLFireability-03
FORMULA_NAME DLCround-PT-09a-CTLFireability-04
FORMULA_NAME DLCround-PT-09a-CTLFireability-05
FORMULA_NAME DLCround-PT-09a-CTLFireability-06
FORMULA_NAME DLCround-PT-09a-CTLFireability-07
FORMULA_NAME DLCround-PT-09a-CTLFireability-08
FORMULA_NAME DLCround-PT-09a-CTLFireability-09
FORMULA_NAME DLCround-PT-09a-CTLFireability-10
FORMULA_NAME DLCround-PT-09a-CTLFireability-11
FORMULA_NAME DLCround-PT-09a-CTLFireability-12
FORMULA_NAME DLCround-PT-09a-CTLFireability-13
FORMULA_NAME DLCround-PT-09a-CTLFireability-14
FORMULA_NAME DLCround-PT-09a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589128661229

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 09a
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: 299 places, 2243 transitions, 8689 arcs.
AT ITER 0 NEW BEST:: SOT 425059 SOS 356202 HAS SOPS 215063 HAS SOUS 44558 HAS SOUPS 30558 WITH SCORE 30914.202
AT ITER 9 NEW BEST:: SOT 424853 SOS 356049 HAS SOPS 214645 HAS SOUS 44193 HAS SOUPS 29981 WITH SCORE 30337.049
AT ITER 14 NEW BEST:: SOT 424849 SOS 355993 HAS SOPS 214641 HAS SOUS 44185 HAS SOUPS 29977 WITH SCORE 30332.993
AT ITER 20 NEW BEST:: SOT 424981 SOS 355157 HAS SOPS 214871 HAS SOUS 44063 HAS SOUPS 29937 WITH SCORE 30292.157
AT ITER 21 NEW BEST:: SOT 424967 SOS 354149 HAS SOPS 213863 HAS SOUS 44063 HAS SOUPS 29937 WITH SCORE 30291.149
AT ITER 22 NEW BEST:: SOT 424846 SOS 356720 HAS SOPS 214972 HAS SOUS 44023 HAS SOUPS 29897 WITH SCORE 30253.72
AT ITER 51 NEW BEST:: SOT 424806 SOS 354524 HAS SOPS 212776 HAS SOUS 44011 HAS SOUPS 29885 WITH SCORE 30239.524
AT ITER 53 NEW BEST:: SOT 424821 SOS 354590 HAS SOPS 212587 HAS SOUS 43414 HAS SOUPS 29288 WITH SCORE 29642.59
AT ITER 73 NEW BEST:: SOT 424877 SOS 353998 HAS SOPS 212567 HAS SOUS 43306 HAS SOUPS 29224 WITH SCORE 29577.998
AT ITER 86 NEW BEST:: SOT 424943 SOS 353346 HAS SOPS 212552 HAS SOUS 43193 HAS SOUPS 29160 WITH SCORE 29513.346
AT ITER 87 NEW BEST:: SOT 424925 SOS 352278 HAS SOPS 211484 HAS SOUS 43189 HAS SOUPS 29156 WITH SCORE 29508.278
AT ITER 90 NEW BEST:: SOT 424908 SOS 352040 HAS SOPS 211246 HAS SOUS 43172 HAS SOUPS 29139 WITH SCORE 29491.04
AT ITER 126 NEW BEST:: SOT 424908 SOS 352040 HAS SOPS 211246 HAS SOUS 43163 HAS SOUPS 29134 WITH SCORE 29486.04
AT ITER 127 NEW BEST:: SOT 424896 SOS 352016 HAS SOPS 211222 HAS SOUS 43151 HAS SOUPS 29122 WITH SCORE 29474.016
AT ITER 135 NEW BEST:: SOT 424847 SOS 352005 HAS SOPS 211021 HAS SOUS 42988 HAS SOUPS 28807 WITH SCORE 29159.005
AT ITER 140 NEW BEST:: SOT 424841 SOS 352005 HAS SOPS 211021 HAS SOUS 42984 HAS SOUPS 28803 WITH SCORE 29155.005
AT ITER 142 NEW BEST:: SOT 424876 SOS 351935 HAS SOPS 211056 HAS SOUS 42984 HAS SOUPS 28803 WITH SCORE 29154.935
AT ITER 149 NEW BEST:: SOT 424783 SOS 350514 HAS SOPS 210532 HAS SOUS 42909 HAS SOUPS 28797 WITH SCORE 29147.514
AT ITER 158 NEW BEST:: SOT 424575 SOS 348468 HAS SOPS 210220 HAS SOUS 43238 HAS SOUPS 28675 WITH SCORE 29023.468
AT ITER 164 NEW BEST:: SOT 424486 SOS 350853 HAS SOPS 211167 HAS SOUS 43255 HAS SOUPS 28659 WITH SCORE 29009.853
AT ITER 175 NEW BEST:: SOT 424500 SOS 350881 HAS SOPS 211167 HAS SOUS 43265 HAS SOUPS 28655 WITH SCORE 29005.881
AT ITER 187 NEW BEST:: SOT 424996 SOS 349425 HAS SOPS 210803 HAS SOUS 44610 HAS SOUPS 28638 WITH SCORE 28987.425
AT ITER 189 NEW BEST:: SOT 424996 SOS 349216 HAS SOPS 210746 HAS SOUS 44534 HAS SOUPS 28581 WITH SCORE 28930.216
AT ITER 191 NEW BEST:: SOT 424994 SOS 349212 HAS SOPS 210742 HAS SOUS 44532 HAS SOUPS 28579 WITH SCORE 28928.212
AT ITER 215 NEW BEST:: SOT 426104 SOS 349212 HAS SOPS 210557 HAS SOUS 45520 HAS SOUPS 28375 WITH SCORE 28724.212
AT ITER 224 NEW BEST:: SOT 426147 SOS 349619 HAS SOPS 210964 HAS SOUS 44811 HAS SOUPS 27666 WITH SCORE 28015.619
AT ITER 225 NEW BEST:: SOT 424910 SOS 346876 HAS SOPS 209753 HAS SOUS 43524 HAS SOUPS 26405 WITH SCORE 26751.876
AT ITER 231 NEW BEST:: SOT 424867 SOS 346475 HAS SOPS 209670 HAS SOUS 43449 HAS SOUPS 26365 WITH SCORE 26711.475
AT ITER 253 NEW BEST:: SOT 424988 SOS 346596 HAS SOPS 209593 HAS SOUS 43258 HAS SOUPS 26060 WITH SCORE 26406.596
AT ITER 263 NEW BEST:: SOT 424176 SOS 346812 HAS SOPS 209593 HAS SOUS 41578 HAS SOUPS 25736 WITH SCORE 26082.812
AT ITER 295 NEW BEST:: SOT 422972 SOS 343680 HAS SOPS 208565 HAS SOUS 41655 HAS SOUPS 25697 WITH SCORE 26040.68
AT ITER 305 NEW BEST:: SOT 422984 SOS 343806 HAS SOPS 208691 HAS SOUS 41625 HAS SOUPS 25667 WITH SCORE 26010.806
AT ITER 306 NEW BEST:: SOT 422912 SOS 343758 HAS SOPS 208523 HAS SOUS 41463 HAS SOUPS 25417 WITH SCORE 25760.758
AT ITER 321 NEW BEST:: SOT 423027 SOS 342275 HAS SOPS 207798 HAS SOUS 41352 HAS SOUPS 25371 WITH SCORE 25713.275
AT ITER 331 NEW BEST:: SOT 422024 SOS 341256 HAS SOPS 207484 HAS SOUS 41086 HAS SOUPS 25345 WITH SCORE 25686.256
AT ITER 338 NEW BEST:: SOT 423111 SOS 342445 HAS SOPS 208039 HAS SOUS 40544 HAS SOUPS 24783 WITH SCORE 25125.445
AT ITER 346 NEW BEST:: SOT 423105 SOS 342355 HAS SOPS 207949 HAS SOUS 40538 HAS SOUPS 24777 WITH SCORE 25119.355
AT ITER 351 NEW BEST:: SOT 423546 SOS 342908 HAS SOPS 207938 HAS SOUS 39832 HAS SOUPS 24121 WITH SCORE 24463.908
AT ITER 369 NEW BEST:: SOT 423546 SOS 342908 HAS SOPS 207938 HAS SOUS 39823 HAS SOUPS 24116 WITH SCORE 24458.908
AT ITER 372 NEW BEST:: SOT 423516 SOS 342887 HAS SOPS 207890 HAS SOUS 39790 HAS SOUPS 24071 WITH SCORE 24413.887
AT ITER 376 NEW BEST:: SOT 422496 SOS 341935 HAS SOPS 207482 HAS SOUS 38359 HAS SOUPS 23344 WITH SCORE 23685.935
AT ITER 383 NEW BEST:: SOT 422488 SOS 341919 HAS SOPS 207466 HAS SOUS 38359 HAS SOUPS 23344 WITH SCORE 23685.919
AT ITER 411 NEW BEST:: SOT 422427 SOS 342175 HAS SOPS 207614 HAS SOUS 38290 HAS SOUPS 23275 WITH SCORE 23617.175
AT ITER 431 NEW BEST:: SOT 422304 SOS 335998 HAS SOPS 202425 HAS SOUS 38192 HAS SOUPS 23253 WITH SCORE 23588.998
AT ITER 436 NEW BEST:: SOT 422304 SOS 335002 HAS SOPS 201585 HAS SOUS 38180 HAS SOUPS 23253 WITH SCORE 23588.002
AT ITER 440 NEW BEST:: SOT 422439 SOS 335272 HAS SOPS 201660 HAS SOUS 38168 HAS SOUPS 23232 WITH SCORE 23567.272
AT ITER 445 NEW BEST:: SOT 422439 SOS 335467 HAS SOPS 201660 HAS SOUS 38168 HAS SOUPS 23217 WITH SCORE 23552.467
AT ITER 477 NEW BEST:: SOT 422450 SOS 334961 HAS SOPS 201374 HAS SOUS 38168 HAS SOUPS 23217 WITH SCORE 23551.961
AT ITER 487 NEW BEST:: SOT 422450 SOS 334629 HAS SOPS 201094 HAS SOUS 38164 HAS SOUPS 23217 WITH SCORE 23551.629
AT ITER 495 NEW BEST:: SOT 422431 SOS 334591 HAS SOPS 201056 HAS SOUS 38145 HAS SOUPS 23198 WITH SCORE 23532.591
AT ITER 496 NEW BEST:: SOT 422421 SOS 334441 HAS SOPS 200906 HAS SOUS 38135 HAS SOUPS 23188 WITH SCORE 23522.441
AT ITER 511 NEW BEST:: SOT 422219 SOS 334247 HAS SOPS 200712 HAS SOUS 37749 HAS SOUPS 22802 WITH SCORE 23136.247
AT ITER 513 NEW BEST:: SOT 421994 SOS 334139 HAS SOPS 200640 HAS SOUS 37411 HAS SOUPS 22624 WITH SCORE 22958.139
AT ITER 517 NEW BEST:: SOT 421986 SOS 334191 HAS SOPS 200636 HAS SOUS 37405 HAS SOUPS 22618 WITH SCORE 22952.191
AT ITER 535 NEW BEST:: SOT 421950 SOS 333581 HAS SOPS 200026 HAS SOUS 37369 HAS SOUPS 22582 WITH SCORE 22915.581
AT ITER 554 NEW BEST:: SOT 421930 SOS 333289 HAS SOPS 199734 HAS SOUS 37349 HAS SOUPS 22562 WITH SCORE 22895.289
AT ITER 566 NEW BEST:: SOT 421526 SOS 331711 HAS SOPS 199386 HAS SOUS 36783 HAS SOUPS 22119 WITH SCORE 22450.711
AT ITER 588 NEW BEST:: SOT 421542 SOS 331737 HAS SOPS 199412 HAS SOUS 36755 HAS SOUPS 22091 WITH SCORE 22422.737
AT ITER 598 NEW BEST:: SOT 421513 SOS 331822 HAS SOPS 198977 HAS SOUS 36755 HAS SOUPS 22051 WITH SCORE 22382.822
AT ITER 603 NEW BEST:: SOT 421061 SOS 331377 HAS SOPS 198794 HAS SOUS 36744 HAS SOUPS 22033 WITH SCORE 22364.377
AT ITER 622 NEW BEST:: SOT 421052 SOS 331359 HAS SOPS 198776 HAS SOUS 36735 HAS SOUPS 22024 WITH SCORE 22355.359
AT ITER 623 NEW BEST:: SOT 420947 SOS 331208 HAS SOPS 198671 HAS SOUS 36676 HAS SOUPS 22011 WITH SCORE 22342.208
AT ITER 628 NEW BEST:: SOT 420671 SOS 327945 HAS SOPS 197347 HAS SOUS 36369 HAS SOUPS 21667 WITH SCORE 21994.945
AT ITER 636 NEW BEST:: SOT 420658 SOS 327919 HAS SOPS 197347 HAS SOUS 36348 HAS SOUPS 21659 WITH SCORE 21986.919
AT ITER 637 NEW BEST:: SOT 420626 SOS 327455 HAS SOPS 197091 HAS SOUS 36300 HAS SOUPS 21627 WITH SCORE 21954.455
AT ITER 663 NEW BEST:: SOT 420633 SOS 327461 HAS SOPS 197093 HAS SOUS 36296 HAS SOUPS 21624 WITH SCORE 21951.461
AT ITER 670 NEW BEST:: SOT 420623 SOS 327412 HAS SOPS 197019 HAS SOUS 36032 HAS SOUPS 21555 WITH SCORE 21882.412
AT ITER 674 NEW BEST:: SOT 420586 SOS 327338 HAS SOPS 196982 HAS SOUS 35958 HAS SOUPS 21518 WITH SCORE 21845.338
AT ITER 675 NEW BEST:: SOT 420045 SOS 325932 HAS SOPS 196552 HAS SOUS 35913 HAS SOUPS 21490 WITH SCORE 21815.932
AT ITER 685 NEW BEST:: SOT 420059 SOS 325022 HAS SOPS 195642 HAS SOUS 35899 HAS SOUPS 21476 WITH SCORE 21801.022
AT ITER 696 NEW BEST:: SOT 420044 SOS 325202 HAS SOPS 195657 HAS SOUS 35871 HAS SOUPS 21433 WITH SCORE 21758.202
AT ITER 705 NEW BEST:: SOT 420341 SOS 326532 HAS SOPS 196287 HAS SOUS 36160 HAS SOUPS 21353 WITH SCORE 21679.532
AT ITER 709 NEW BEST:: SOT 420483 SOS 326681 HAS SOPS 196376 HAS SOUS 36121 HAS SOUPS 21329 WITH SCORE 21655.681
AT ITER 727 NEW BEST:: SOT 421455 SOS 328463 HAS SOPS 196862 HAS SOUS 36238 HAS SOUPS 21313 WITH SCORE 21641.463
AT ITER 739 NEW BEST:: SOT 421441 SOS 323364 HAS SOPS 191763 HAS SOUS 36211 HAS SOUPS 21286 WITH SCORE 21609.364
AT ITER 761 NEW BEST:: SOT 421442 SOS 323362 HAS SOPS 191764 HAS SOUS 36211 HAS SOUPS 21286 WITH SCORE 21609.362
AT ITER 773 NEW BEST:: SOT 421503 SOS 322881 HAS SOPS 191552 HAS SOUS 36160 HAS SOUPS 21261 WITH SCORE 21583.881
AT ITER 791 NEW BEST:: SOT 421343 SOS 322333 HAS SOPS 191384 HAS SOUS 36038 HAS SOUPS 21177 WITH SCORE 21499.333
AT ITER 821 NEW BEST:: SOT 421574 SOS 322821 HAS SOPS 191438 HAS SOUS 36164 HAS SOUPS 21167 WITH SCORE 21489.821
AT ITER 825 NEW BEST:: SOT 421554 SOS 322801 HAS SOPS 191418 HAS SOUS 36135 HAS SOUPS 21142 WITH SCORE 21464.801
AT ITER 876 NEW BEST:: SOT 421548 SOS 322711 HAS SOPS 191328 HAS SOUS 36129 HAS SOUPS 21136 WITH SCORE 21458.711
AT ITER 880 NEW BEST:: SOT 421533 SOS 322681 HAS SOPS 191328 HAS SOUS 36114 HAS SOUPS 21136 WITH SCORE 21458.681
AT ITER 900 NEW BEST:: SOT 421911 SOS 322954 HAS SOPS 191703 HAS SOUS 35991 HAS SOUPS 21095 WITH SCORE 21417.954
AT ITER 901 NEW BEST:: SOT 421907 SOS 322950 HAS SOPS 191699 HAS SOUS 35987 HAS SOUPS 21091 WITH SCORE 21413.95
AT ITER 913 NEW BEST:: SOT 421844 SOS 322005 HAS SOPS 191573 HAS SOUS 35906 HAS SOUPS 21073 WITH SCORE 21395.005
AT ITER 929 NEW BEST:: SOT 421920 SOS 322061 HAS SOPS 191669 HAS SOUS 35877 HAS SOUPS 21064 WITH SCORE 21386.061
AT ITER 948 NEW BEST:: SOT 421892 SOS 322040 HAS SOPS 191641 HAS SOUS 35849 HAS SOUPS 21036 WITH SCORE 21358.04
AT ITER 957 NEW BEST:: SOT 421872 SOS 322000 HAS SOPS 191641 HAS SOUS 35829 HAS SOUPS 21036 WITH SCORE 21358.0
AT ITER 1032 NEW BEST:: SOT 421954 SOS 319065 HAS SOPS 188776 HAS SOUS 35822 HAS SOUPS 21029 WITH SCORE 21348.065
AT ITER 1044 NEW BEST:: SOT 421812 SOS 321168 HAS SOPS 190879 HAS SOUS 35785 HAS SOUPS 20992 WITH SCORE 21313.168
AT ITER 1082 NEW BEST:: SOT 421796 SOS 321136 HAS SOPS 190847 HAS SOUS 35753 HAS SOUPS 20960 WITH SCORE 21281.136
AT ITER 1086 NEW BEST:: SOT 421732 SOS 320007 HAS SOPS 190719 HAS SOUS 35630 HAS SOUPS 20914 WITH SCORE 21234.007
AT ITER 1096 NEW BEST:: SOT 421788 SOS 320063 HAS SOPS 190775 HAS SOUS 35591 HAS SOUPS 20875 WITH SCORE 21195.063
AT ITER 1097 NEW BEST:: SOT 421260 SOS 317755 HAS SOPS 189540 HAS SOUS 35577 HAS SOUPS 20861 WITH SCORE 21178.755
AT ITER 1107 NEW BEST:: SOT 421260 SOS 317755 HAS SOPS 189503 HAS SOUS 35540 HAS SOUPS 20824 WITH SCORE 21141.755
AT ITER 1108 NEW BEST:: SOT 421083 SOS 318375 HAS SOPS 189754 HAS SOUS 35480 HAS SOUPS 20783 WITH SCORE 21101.375
AT ITER 1127 NEW BEST:: SOT 420943 SOS 318235 HAS SOPS 189698 HAS SOUS 35480 HAS SOUPS 20783 WITH SCORE 21101.235
AT ITER 1131 NEW BEST:: SOT 420275 SOS 316266 HAS SOPS 189021 HAS SOUS 35341 HAS SOUPS 20766 WITH SCORE 21082.266
AT ITER 1138 NEW BEST:: SOT 419997 SOS 314800 HAS SOPS 188943 HAS SOUS 35259 HAS SOUPS 20766 WITH SCORE 21080.8
AT ITER 1150 NEW BEST:: SOT 419969 SOS 314044 HAS SOPS 188551 HAS SOUS 35203 HAS SOUPS 20738 WITH SCORE 21052.044
AT ITER 1154 NEW BEST:: SOT 419890 SOS 313347 HAS SOPS 188349 HAS SOUS 35067 HAS SOUPS 20536 WITH SCORE 20849.347
AT ITER 1168 NEW BEST:: SOT 419881 SOS 313329 HAS SOPS 188349 HAS SOUS 35058 HAS SOUPS 20536 WITH SCORE 20849.329
AT ITER 1173 NEW BEST:: SOT 419773 SOS 313203 HAS SOPS 188277 HAS SOUS 35049 HAS SOUPS 20527 WITH SCORE 20840.203
AT ITER 1187 NEW BEST:: SOT 420065 SOS 313571 HAS SOPS 188455 HAS SOUS 35051 HAS SOUPS 20489 WITH SCORE 20802.571
AT ITER 1195 NEW BEST:: SOT 420064 SOS 313569 HAS SOPS 188455 HAS SOUS 35041 HAS SOUPS 20484 WITH SCORE 20797.569
AT ITER 1208 NEW BEST:: SOT 419932 SOS 313437 HAS SOPS 188323 HAS SOUS 35041 HAS SOUPS 20484 WITH SCORE 20797.437
AT ITER 1213 NEW BEST:: SOT 420285 SOS 314403 HAS SOPS 188735 HAS SOUS 34755 HAS SOUPS 20417 WITH SCORE 20731.403
AT ITER 1214 NEW BEST:: SOT 420424 SOS 314595 HAS SOPS 188735 HAS SOUS 34799 HAS SOUPS 20412 WITH SCORE 20726.595
AT ITER 1218 NEW BEST:: SOT 420402 SOS 314036 HAS SOPS 188397 HAS SOUS 34755 HAS SOUPS 20390 WITH SCORE 20704.036
AT ITER 1224 NEW BEST:: SOT 420438 SOS 314030 HAS SOPS 188391 HAS SOUS 34723 HAS SOUPS 20358 WITH SCORE 20672.03
AT ITER 1251 NEW BEST:: SOT 420628 SOS 314391 HAS SOPS 188505 HAS SOUS 34685 HAS SOUPS 20320 WITH SCORE 20634.391
AT ITER 1258 NEW BEST:: SOT 420540 SOS 314231 HAS SOPS 188457 HAS SOUS 34685 HAS SOUPS 20320 WITH SCORE 20634.231
AT ITER 1279 NEW BEST:: SOT 420450 SOS 314141 HAS SOPS 188367 HAS SOUS 34685 HAS SOUPS 20320 WITH SCORE 20634.141
AT ITER 1290 NEW BEST:: SOT 420210 SOS 313701 HAS SOPS 188247 HAS SOUS 34665 HAS SOUPS 20320 WITH SCORE 20633.701
AT ITER 1292 NEW BEST:: SOT 420226 SOS 313717 HAS SOPS 188263 HAS SOUS 34654 HAS SOUPS 20309 WITH SCORE 20622.717
AT ITER 1301 NEW BEST:: SOT 420226 SOS 313717 HAS SOPS 188263 HAS SOUS 34537 HAS SOUPS 20244 WITH SCORE 20557.717
AT ITER 1319 NEW BEST:: SOT 420231 SOS 313616 HAS SOPS 188263 HAS SOUS 34506 HAS SOUPS 20213 WITH SCORE 20526.616
AT ITER 1326 NEW BEST:: SOT 420409 SOS 313889 HAS SOPS 188228 HAS SOUS 34584 HAS SOUPS 20196 WITH SCORE 20509.889
AT ITER 1327 NEW BEST:: SOT 420745 SOS 314753 HAS SOPS 188516 HAS SOUS 34428 HAS SOUPS 20120 WITH SCORE 20434.753
AT ITER 1340 NEW BEST:: SOT 420693 SOS 311495 HAS SOPS 185791 HAS SOUS 34359 HAS SOUPS 20092 WITH SCORE 20403.495
AT ITER 1407 NEW BEST:: SOT 420682 SOS 311377 HAS SOPS 185793 HAS SOUS 34356 HAS SOUPS 20089 WITH SCORE 20400.377
AT ITER 1425 NEW BEST:: SOT 420667 SOS 310055 HAS SOPS 185772 HAS SOUS 34229 HAS SOUPS 20035 WITH SCORE 20345.055
AT ITER 1430 NEW BEST:: SOT 420631 SOS 310382 HAS SOPS 185931 HAS SOUS 34235 HAS SOUPS 20034 WITH SCORE 20344.382
AT ITER 1440 NEW BEST:: SOT 421143 SOS 311723 HAS SOPS 186314 HAS SOUS 34095 HAS SOUPS 19975 WITH SCORE 20286.723
AT ITER 1485 NEW BEST:: SOT 421251 SOS 311848 HAS SOPS 186369 HAS SOUS 34041 HAS SOUPS 19921 WITH SCORE 20232.848
AT ITER 1507 NEW BEST:: SOT 421251 SOS 311848 HAS SOPS 186369 HAS SOUS 34005 HAS SOUPS 19901 WITH SCORE 20212.848
AT ITER 1537 NEW BEST:: SOT 421241 SOS 311708 HAS SOPS 186229 HAS SOUS 33995 HAS SOUPS 19891 WITH SCORE 20202.708
AT ITER 1573 NEW BEST:: SOT 421241 SOS 311708 HAS SOPS 186229 HAS SOUS 33984 HAS SOUPS 19889 WITH SCORE 20200.708
AT ITER 1615 NEW BEST:: SOT 421145 SOS 311612 HAS SOPS 186229 HAS SOUS 34014 HAS SOUPS 19879 WITH SCORE 20190.612
AT ITER 1626 NEW BEST:: SOT 421056 SOS 311266 HAS SOPS 186163 HAS SOUS 33984 HAS SOUPS 19877 WITH SCORE 20188.266
AT ITER 1642 NEW BEST:: SOT 421024 SOS 310786 HAS SOPS 186177 HAS SOUS 33932 HAS SOUPS 19863 WITH SCORE 20173.786
AT ITER 1652 NEW BEST:: SOT 421012 SOS 310270 HAS SOPS 185739 HAS SOUS 33914 HAS SOUPS 19851 WITH SCORE 20161.27
AT ITER 1657 NEW BEST:: SOT 421054 SOS 308950 HAS SOPS 184527 HAS SOUS 33914 HAS SOUPS 19851 WITH SCORE 20159.95
AT ITER 1658 NEW BEST:: SOT 421037 SOS 308804 HAS SOPS 184381 HAS SOUS 33878 HAS SOUPS 19815 WITH SCORE 20123.804
AT ITER 1661 NEW BEST:: SOT 421037 SOS 308813 HAS SOPS 184507 HAS SOUS 33860 HAS SOUPS 19806 WITH SCORE 20114.813
AT ITER 1668 NEW BEST:: SOT 421037 SOS 308813 HAS SOPS 184507 HAS SOUS 33788 HAS SOUPS 19766 WITH SCORE 20074.813
AT ITER 1670 NEW BEST:: SOT 421048 SOS 308779 HAS SOPS 184507 HAS SOUS 33743 HAS SOUPS 19766 WITH SCORE 20074.779
AT ITER 1704 NEW BEST:: SOT 421065 SOS 309360 HAS SOPS 184558 HAS SOUS 33775 HAS SOUPS 19764 WITH SCORE 20073.36
AT ITER 1709 NEW BEST:: SOT 421044 SOS 309346 HAS SOPS 184600 HAS SOUS 33670 HAS SOUPS 19750 WITH SCORE 20059.346
AT ITER 1718 NEW BEST:: SOT 421012 SOS 309305 HAS SOPS 184577 HAS SOUS 33638 HAS SOUPS 19727 WITH SCORE 20036.305
AT ITER 1720 NEW BEST:: SOT 421004 SOS 309193 HAS SOPS 184569 HAS SOUS 33630 HAS SOUPS 19727 WITH SCORE 20036.193
AT ITER 1737 NEW BEST:: SOT 420983 SOS 309151 HAS SOPS 184527 HAS SOUS 33602 HAS SOUPS 19699 WITH SCORE 20008.151
AT ITER 1742 NEW BEST:: SOT 420986 SOS 309154 HAS SOPS 184527 HAS SOUS 33594 HAS SOUPS 19694 WITH SCORE 20003.154
AT ITER 1744 NEW BEST:: SOT 421037 SOS 309206 HAS SOPS 184579 HAS SOUS 33571 HAS SOUPS 19671 WITH SCORE 19980.206
AT ITER 1774 NEW BEST:: SOT 421136 SOS 309395 HAS SOPS 184633 HAS SOUS 33571 HAS SOUPS 19662 WITH SCORE 19971.395
AT ITER 1784 NEW BEST:: SOT 421136 SOS 309395 HAS SOPS 184616 HAS SOUS 33554 HAS SOUPS 19645 WITH SCORE 19954.395
AT ITER 1806 NEW BEST:: SOT 421192 SOS 309451 HAS SOPS 184632 HAS SOUS 33538 HAS SOUPS 19629 WITH SCORE 19938.451
AT ITER 1840 NEW BEST:: SOT 420880 SOS 309139 HAS SOPS 184500 HAS SOUS 33536 HAS SOUPS 19627 WITH SCORE 19936.139
AT ITER 1852 NEW BEST:: SOT 420874 SOS 309133 HAS SOPS 184494 HAS SOUS 33536 HAS SOUPS 19627 WITH SCORE 19936.133
AT ITER 1871 NEW BEST:: SOT 420964 SOS 309541 HAS SOPS 184522 HAS SOUS 33550 HAS SOUPS 19603 WITH SCORE 19912.541
AT ITER 1930 NEW BEST:: SOT 420964 SOS 309515 HAS SOPS 184522 HAS SOUS 33524 HAS SOUPS 19603 WITH SCORE 19912.515
AT ITER 1935 NEW BEST:: SOT 421207 SOS 309812 HAS SOPS 184684 HAS SOUS 33506 HAS SOUPS 19581 WITH SCORE 19890.812
AT ITER 1946 NEW BEST:: SOT 421172 SOS 309705 HAS SOPS 184661 HAS SOUS 33503 HAS SOUPS 19578 WITH SCORE 19887.705
AT ITER 1968 NEW BEST:: SOT 421360 SOS 310298 HAS SOPS 184770 HAS SOUS 33487 HAS SOUPS 19562 WITH SCORE 19872.298
AT ITER 1983 NEW BEST:: SOT 421360 SOS 310298 HAS SOPS 184770 HAS SOUS 33481 HAS SOUPS 19558 WITH SCORE 19868.298
AT ITER 2033 NEW BEST:: SOT 421093 SOS 310022 HAS SOPS 184602 HAS SOUS 33445 HAS SOUPS 19514 WITH SCORE 19824.022
AT ITER 2038 NEW BEST:: SOT 421071 SOS 309662 HAS SOPS 184411 HAS SOUS 33405 HAS SOUPS 19487 WITH SCORE 19796.662
AT ITER 2058 NEW BEST:: SOT 421061 SOS 309652 HAS SOPS 184411 HAS SOUS 33342 HAS SOUPS 19452 WITH SCORE 19761.652
AT ITER 2075 NEW BEST:: SOT 421531 SOS 310506 HAS SOPS 184669 HAS SOUS 33325 HAS SOUPS 19406 WITH SCORE 19716.506
AT ITER 2082 NEW BEST:: SOT 421501 SOS 310686 HAS SOPS 184654 HAS SOUS 33325 HAS SOUPS 19391 WITH SCORE 19701.686
AT ITER 2088 NEW BEST:: SOT 421511 SOS 310006 HAS SOPS 183974 HAS SOUS 33316 HAS SOUPS 19382 WITH SCORE 19692.006
AT ITER 2138 NEW BEST:: SOT 421700 SOS 310235 HAS SOPS 184103 HAS SOUS 33305 HAS SOUPS 19371 WITH SCORE 19681.235
AT ITER 2141 NEW BEST:: SOT 421738 SOS 309959 HAS SOPS 184113 HAS SOUS 33271 HAS SOUPS 19359 WITH SCORE 19668.959
AT ITER 2201 NEW BEST:: SOT 421735 SOS 309930 HAS SOPS 184084 HAS SOUS 33271 HAS SOUPS 19359 WITH SCORE 19668.93
AT ITER 2202 NEW BEST:: SOT 421727 SOS 309918 HAS SOPS 184084 HAS SOUS 33267 HAS SOUPS 19359 WITH SCORE 19668.918
AT ITER 2210 NEW BEST:: SOT 421854 SOS 310031 HAS SOPS 184154 HAS SOUS 33244 HAS SOUPS 19344 WITH SCORE 19654.031
AT ITER 2218 NEW BEST:: SOT 421809 SOS 310341 HAS SOPS 184159 HAS SOUS 33243 HAS SOUPS 19339 WITH SCORE 19649.341
AT ITER 2224 NEW BEST:: SOT 421803 SOS 310296 HAS SOPS 184114 HAS SOUS 33237 HAS SOUPS 19333 WITH SCORE 19643.296
AT ITER 2263 NEW BEST:: SOT 421803 SOS 310296 HAS SOPS 184114 HAS SOUS 33228 HAS SOUPS 19328 WITH SCORE 19638.296
AT ITER 2270 NEW BEST:: SOT 421802 SOS 310295 HAS SOPS 184113 HAS SOUS 33227 HAS SOUPS 19327 WITH SCORE 19637.295
AT ITER 2271 NEW BEST:: SOT 421774 SOS 309790 HAS SOPS 184024 HAS SOUS 33155 HAS SOUPS 19287 WITH SCORE 19596.79
AT ITER 2273 NEW BEST:: SOT 421774 SOS 309790 HAS SOPS 184024 HAS SOUS 33119 HAS SOUPS 19267 WITH SCORE 19576.79
AT ITER 2280 NEW BEST:: SOT 421774 SOS 309783 HAS SOPS 184017 HAS SOUS 33119 HAS SOUPS 19267 WITH SCORE 19576.783
AT ITER 2282 NEW BEST:: SOT 421086 SOS 308531 HAS SOPS 183633 HAS SOUS 33113 HAS SOUPS 19261 WITH SCORE 19569.531
AT ITER 2287 NEW BEST:: SOT 421086 SOS 309023 HAS SOPS 183969 HAS SOUS 33113 HAS SOUPS 19249 WITH SCORE 19558.023
AT ITER 2307 NEW BEST:: SOT 420991 SOS 308928 HAS SOPS 183969 HAS SOUS 33073 HAS SOUPS 19209 WITH SCORE 19517.928
AT ITER 2361 NEW BEST:: SOT 421112 SOS 309049 HAS SOPS 184024 HAS SOUS 33062 HAS SOUPS 19198 WITH SCORE 19507.049
AT ITER 2399 NEW BEST:: SOT 420966 SOS 308802 HAS SOPS 183819 HAS SOUS 33043 HAS SOUPS 19172 WITH SCORE 19480.802
AT ITER 2401 NEW BEST:: SOT 420948 SOS 308775 HAS SOPS 183819 HAS SOUS 33034 HAS SOUPS 19172 WITH SCORE 19480.775
AT ITER 2475 NEW BEST:: SOT 420946 SOS 308763 HAS SOPS 183817 HAS SOUS 33031 HAS SOUPS 19170 WITH SCORE 19478.763
AT ITER 2481 NEW BEST:: SOT 420816 SOS 308636 HAS SOPS 183703 HAS SOUS 33034 HAS SOUPS 19170 WITH SCORE 19478.636
AT ITER 2491 NEW BEST:: SOT 420812 SOS 307564 HAS SOPS 183201 HAS SOUS 33011 HAS SOUPS 19166 WITH SCORE 19473.564
AT ITER 2495 NEW BEST:: SOT 420808 SOS 307565 HAS SOPS 183201 HAS SOUS 32998 HAS SOUPS 19148 WITH SCORE 19455.565
AT ITER 2522 NEW BEST:: SOT 420638 SOS 306289 HAS SOPS 182965 HAS SOUS 32875 HAS SOUPS 19129 WITH SCORE 19435.289
AT ITER 2532 NEW BEST:: SOT 420613 SOS 306264 HAS SOPS 182966 HAS SOUS 32872 HAS SOUPS 19126 WITH SCORE 19432.264
AT ITER 2541 NEW BEST:: SOT 420893 SOS 306932 HAS SOPS 183182 HAS SOUS 32784 HAS SOUPS 19118 WITH SCORE 19424.932
AT ITER 2555 NEW BEST:: SOT 420887 SOS 307838 HAS SOPS 183932 HAS SOUS 32790 HAS SOUPS 19112 WITH SCORE 19419.838
AT ITER 2557 NEW BEST:: SOT 420870 SOS 307821 HAS SOPS 183932 HAS SOUS 32790 HAS SOUPS 19112 WITH SCORE 19419.821
AT ITER 2575 NEW BEST:: SOT 420912 SOS 307590 HAS SOPS 183974 HAS SOUS 32769 HAS SOUPS 19112 WITH SCORE 19419.59
AT ITER 2581 NEW BEST:: SOT 420956 SOS 307686 HAS SOPS 184002 HAS SOUS 32765 HAS SOUPS 19108 WITH SCORE 19415.686
AT ITER 2642 NEW BEST:: SOT 421004 SOS 307734 HAS SOPS 184002 HAS SOUS 32738 HAS SOUPS 19093 WITH SCORE 19400.734
AT ITER 2686 NEW BEST:: SOT 420774 SOS 307387 HAS SOPS 183754 HAS SOUS 32720 HAS SOUPS 19075 WITH SCORE 19382.387
AT ITER 2709 NEW BEST:: SOT 420751 SOS 307364 HAS SOPS 183754 HAS SOUS 32674 HAS SOUPS 19029 WITH SCORE 19336.364
AT ITER 2730 NEW BEST:: SOT 421100 SOS 308173 HAS SOPS 184012 HAS SOUS 32615 HAS SOUPS 19009 WITH SCORE 19317.173
AT ITER 2734 NEW BEST:: SOT 421076 SOS 308157 HAS SOPS 184060 HAS SOUS 32522 HAS SOUPS 19008 WITH SCORE 19316.157
AT ITER 2740 NEW BEST:: SOT 421076 SOS 308153 HAS SOPS 184056 HAS SOUS 32514 HAS SOUPS 19000 WITH SCORE 19308.153
AT ITER 2751 NEW BEST:: SOT 421057 SOS 307816 HAS SOPS 184226 HAS SOUS 32454 HAS SOUPS 18979 WITH SCORE 19286.816
AT ITER 2752 NEW BEST:: SOT 421784 SOS 309489 HAS SOPS 184710 HAS SOUS 32351 HAS SOUPS 18902 WITH SCORE 19211.489
AT ITER 2753 NEW BEST:: SOT 421783 SOS 309474 HAS SOPS 184695 HAS SOUS 32350 HAS SOUPS 18901 WITH SCORE 19210.474
AT ITER 2783 NEW BEST:: SOT 421779 SOS 309468 HAS SOPS 184695 HAS SOUS 32348 HAS SOUPS 18901 WITH SCORE 19210.468
AT ITER 2817 NEW BEST:: SOT 421780 SOS 308847 HAS SOPS 184444 HAS SOUS 32329 HAS SOUPS 18895 WITH SCORE 19203.847
AT ITER 2837 NEW BEST:: SOT 421810 SOS 308883 HAS SOPS 184462 HAS SOUS 32320 HAS SOUPS 18886 WITH SCORE 19194.883
AT ITER 2838 NEW BEST:: SOT 421766 SOS 308821 HAS SOPS 184400 HAS SOUS 32302 HAS SOUPS 18868 WITH SCORE 19176.821
AT ITER 2848 NEW BEST:: SOT 421676 SOS 308619 HAS SOPS 184350 HAS SOUS 32291 HAS SOUPS 18865 WITH SCORE 19173.619
AT ITER 2857 NEW BEST:: SOT 421686 SOS 307936 HAS SOPS 183797 HAS SOUS 32279 HAS SOUPS 18863 WITH SCORE 19170.936
AT ITER 2883 NEW BEST:: SOT 421788 SOS 308038 HAS SOPS 183788 HAS SOUS 32239 HAS SOUPS 18851 WITH SCORE 19159.038
AT ITER 2887 NEW BEST:: SOT 421787 SOS 308037 HAS SOPS 183788 HAS SOUS 32239 HAS SOUPS 18851 WITH SCORE 19159.037
AT ITER 2889 NEW BEST:: SOT 421783 SOS 308143 HAS SOPS 183894 HAS SOUS 32237 HAS SOUPS 18849 WITH SCORE 19157.143
AT ITER 2896 NEW BEST:: SOT 421547 SOS 309674 HAS SOPS 184081 HAS SOUS 32044 HAS SOUPS 18844 WITH SCORE 19153.674
AT ITER 2929 NEW BEST:: SOT 421607 SOS 309788 HAS SOPS 184117 HAS SOUS 32032 HAS SOUPS 18832 WITH SCORE 19141.788
AT ITER 2957 NEW BEST:: SOT 421376 SOS 309347 HAS SOPS 183991 HAS SOUS 32011 HAS SOUPS 18832 WITH SCORE 19141.347
AT ITER 2981 NEW BEST:: SOT 421385 SOS 309573 HAS SOPS 184035 HAS SOUS 32021 HAS SOUPS 18828 WITH SCORE 19137.573
AT ITER 2984 NEW BEST:: SOT 421679 SOS 309867 HAS SOPS 184119 HAS SOUS 31973 HAS SOUPS 18780 WITH SCORE 19089.867
AT ITER 2995 NEW BEST:: SOT 421653 SOS 310000 HAS SOPS 184067 HAS SOUS 31945 HAS SOUPS 18752 WITH SCORE 19062.0
AT ITER 3019 NEW BEST:: SOT 421650 SOS 309991 HAS SOPS 184058 HAS SOUS 31945 HAS SOUPS 18752 WITH SCORE 19061.991
AT ITER 3064 NEW BEST:: SOT 421678 SOS 310019 HAS SOPS 184086 HAS SOUS 31931 HAS SOUPS 18738 WITH SCORE 19048.019
AT ITER 3068 NEW BEST:: SOT 421648 SOS 309426 HAS SOPS 184026 HAS SOUS 31871 HAS SOUPS 18719 WITH SCORE 19028.426
AT ITER 3086 NEW BEST:: SOT 421618 SOS 308946 HAS SOPS 183936 HAS SOUS 31841 HAS SOUPS 18719 WITH SCORE 19027.946
AT ITER 3099 NEW BEST:: SOT 421608 SOS 308779 HAS SOPS 183548 HAS SOUS 31855 HAS SOUPS 18716 WITH SCORE 19024.779
AT ITER 3111 NEW BEST:: SOT 422158 SOS 309824 HAS SOPS 183878 HAS SOUS 31745 HAS SOUPS 18606 WITH SCORE 18915.824
AT ITER 3138 NEW BEST:: SOT 422147 SOS 309956 HAS SOPS 183867 HAS SOUS 31724 HAS SOUPS 18574 WITH SCORE 18883.956
AT ITER 3169 NEW BEST:: SOT 422152 SOS 309963 HAS SOPS 183868 HAS SOUS 31717 HAS SOUPS 18567 WITH SCORE 18876.963
AT ITER 3185 NEW BEST:: SOT 422105 SOS 309052 HAS SOPS 183490 HAS SOUS 31639 HAS SOUPS 18530 WITH SCORE 18839.052
AT ITER 3295 NEW BEST:: SOT 422019 SOS 308966 HAS SOPS 183404 HAS SOUS 31553 HAS SOUPS 18444 WITH SCORE 18752.966
AT ITER 3312 NEW BEST:: SOT 421997 SOS 308924 HAS SOPS 183392 HAS SOUS 31533 HAS SOUPS 18434 WITH SCORE 18742.924
AT ITER 3319 NEW BEST:: SOT 421954 SOS 308881 HAS SOPS 183392 HAS SOUS 31533 HAS SOUPS 18434 WITH SCORE 18742.881
AT ITER 3338 NEW BEST:: SOT 421953 SOS 308775 HAS SOPS 183377 HAS SOUS 31512 HAS SOUPS 18420 WITH SCORE 18728.775
AT ITER 3339 NEW BEST:: SOT 421951 SOS 308771 HAS SOPS 183373 HAS SOUS 31458 HAS SOUPS 18366 WITH SCORE 18674.771
AT ITER 3368 NEW BEST:: SOT 421751 SOS 308320 HAS SOPS 183239 HAS SOUS 31430 HAS SOUPS 18352 WITH SCORE 18660.32
AT ITER 3393 NEW BEST:: SOT 421743 SOS 308200 HAS SOPS 183223 HAS SOUS 31422 HAS SOUPS 18352 WITH SCORE 18660.2
AT ITER 3449 NEW BEST:: SOT 421761 SOS 307675 HAS SOPS 183049 HAS SOUS 31365 HAS SOUPS 18322 WITH SCORE 18629.675
AT ITER 3504 NEW BEST:: SOT 421761 SOS 306883 HAS SOPS 182257 HAS SOUS 31347 HAS SOUPS 18304 WITH SCORE 18610.883
AT ITER 3506 NEW BEST:: SOT 421698 SOS 307077 HAS SOPS 182451 HAS SOUS 31336 HAS SOUPS 18293 WITH SCORE 18600.077
AT ITER 3523 NEW BEST:: SOT 421692 SOS 307074 HAS SOPS 182448 HAS SOUS 31336 HAS SOUPS 18293 WITH SCORE 18600.074
AT ITER 3544 NEW BEST:: SOT 422661 SOS 308927 HAS SOPS 183026 HAS SOUS 31393 HAS SOUPS 18265 WITH SCORE 18573.927
AT ITER 3589 NEW BEST:: SOT 422661 SOS 308927 HAS SOPS 183026 HAS SOUS 31384 HAS SOUPS 18260 WITH SCORE 18568.927
AT ITER 3592 NEW BEST:: SOT 422781 SOS 309047 HAS SOPS 183146 HAS SOUS 31381 HAS SOUPS 18258 WITH SCORE 18567.047
AT ITER 3730 NEW BEST:: SOT 422774 SOS 309040 HAS SOPS 183139 HAS SOUS 31374 HAS SOUPS 18251 WITH SCORE 18560.04
AT ITER 3741 NEW BEST:: SOT 422744 SOS 308880 HAS SOPS 182979 HAS SOUS 31354 HAS SOUPS 18231 WITH SCORE 18539.88
AT ITER 3748 NEW BEST:: SOT 422803 SOS 308291 HAS SOPS 182703 HAS SOUS 31337 HAS SOUPS 18227 WITH SCORE 18535.291
AT ITER 3759 NEW BEST:: SOT 422802 SOS 308290 HAS SOPS 182703 HAS SOUS 31335 HAS SOUPS 18225 WITH SCORE 18533.29
AT ITER 3781 NEW BEST:: SOT 422802 SOS 308290 HAS SOPS 182703 HAS SOUS 31326 HAS SOUPS 18216 WITH SCORE 18524.29
AT ITER 3785 NEW BEST:: SOT 422492 SOS 305764 HAS SOPS 181378 HAS SOUS 31284 HAS SOUPS 18174 WITH SCORE 18479.764
AT ITER 3838 NEW BEST:: SOT 422384 SOS 305656 HAS SOPS 181270 HAS SOUS 31230 HAS SOUPS 18144 WITH SCORE 18449.656
AT ITER 3843 NEW BEST:: SOT 422370 SOS 305642 HAS SOPS 181256 HAS SOUS 31220 HAS SOUPS 18134 WITH SCORE 18439.642
AT ITER 3866 NEW BEST:: SOT 422481 SOS 303157 HAS SOPS 179603 HAS SOUS 31158 HAS SOUPS 18136 WITH SCORE 18439.157
AT ITER 3881 NEW BEST:: SOT 422145 SOS 301990 HAS SOPS 179302 HAS SOUS 31153 HAS SOUPS 18133 WITH SCORE 18434.99
AT ITER 3884 NEW BEST:: SOT 422143 SOS 301879 HAS SOPS 179179 HAS SOUS 31139 HAS SOUPS 18119 WITH SCORE 18420.879
AT ITER 3900 NEW BEST:: SOT 422141 SOS 301591 HAS SOPS 178969 HAS SOUS 31129 HAS SOUPS 18115 WITH SCORE 18416.591
AT ITER 3926 NEW BEST:: SOT 422234 SOS 301684 HAS SOPS 178969 HAS SOUS 31102 HAS SOUPS 18100 WITH SCORE 18401.684
AT ITER 3938 NEW BEST:: SOT 422229 SOS 301674 HAS SOPS 178894 HAS SOUS 31102 HAS SOUPS 18095 WITH SCORE 18396.674
AT ITER 3961 NEW BEST:: SOT 422306 SOS 301814 HAS SOPS 178936 HAS SOUS 31088 HAS SOUPS 18081 WITH SCORE 18382.814
AT ITER 3985 NEW BEST:: SOT 422300 SOS 301685 HAS SOPS 178872 HAS SOUS 31076 HAS SOUPS 18075 WITH SCORE 18376.685
AT ITER 4005 NEW BEST:: SOT 422515 SOS 302080 HAS SOPS 178979 HAS SOUS 31057 HAS SOUPS 18038 WITH SCORE 18340.08
AT ITER 4017 NEW BEST:: SOT 422510 SOS 302075 HAS SOPS 178979 HAS SOUS 31053 HAS SOUPS 18034 WITH SCORE 18336.075
AT ITER 4063 NEW BEST:: SOT 422195 SOS 301496 HAS SOPS 178778 HAS SOUS 31014 HAS SOUPS 18022 WITH SCORE 18323.496
AT ITER 4103 NEW BEST:: SOT 422145 SOS 301446 HAS SOPS 178778 HAS SOUS 31014 HAS SOUPS 18022 WITH SCORE 18323.446
AT ITER 4109 NEW BEST:: SOT 422142 SOS 301481 HAS SOPS 178792 HAS SOUS 31013 HAS SOUPS 18021 WITH SCORE 18322.481
AT ITER 4111 NEW BEST:: SOT 422143 SOS 301535 HAS SOPS 178846 HAS SOUS 31010 HAS SOUPS 18018 WITH SCORE 18319.535
AT ITER 4238 NEW BEST:: SOT 422033 SOS 301325 HAS SOPS 178786 HAS SOUS 31000 HAS SOUPS 18018 WITH SCORE 18319.325
AT ITER 4265 NEW BEST:: SOT 422031 SOS 301270 HAS SOPS 178406 HAS SOUS 31012 HAS SOUPS 18005 WITH SCORE 18306.27
AT ITER 4289 NEW BEST:: SOT 422029 SOS 301242 HAS SOPS 178404 HAS SOUS 31004 HAS SOUPS 17999 WITH SCORE 18300.242
AT ITER 4346 NEW BEST:: SOT 422036 SOS 300661 HAS SOPS 177914 HAS SOUS 30990 HAS SOUPS 17992 WITH SCORE 18292.661
AT ITER 4350 NEW BEST:: SOT 421598 SOS 299857 HAS SOPS 177648 HAS SOUS 30956 HAS SOUPS 17981 WITH SCORE 18280.857
AT ITER 4354 NEW BEST:: SOT 421618 SOS 299877 HAS SOPS 177668 HAS SOUS 30868 HAS SOUPS 17893 WITH SCORE 18192.877
AT ITER 4357 NEW BEST:: SOT 421636 SOS 300251 HAS SOPS 178042 HAS SOUS 30864 HAS SOUPS 17889 WITH SCORE 18189.251
AT ITER 4382 NEW BEST:: SOT 421628 SOS 300187 HAS SOPS 177934 HAS SOUS 30868 HAS SOUPS 17889 WITH SCORE 18189.187
AT ITER 4409 NEW BEST:: SOT 421627 SOS 300174 HAS SOPS 177931 HAS SOUS 30864 HAS SOUPS 17886 WITH SCORE 18186.174
AT ITER 4418 NEW BEST:: SOT 421655 SOS 300568 HAS SOPS 178325 HAS SOUS 30861 HAS SOUPS 17883 WITH SCORE 18183.568
AT ITER 4469 NEW BEST:: SOT 421665 SOS 300467 HAS SOPS 178224 HAS SOUS 30854 HAS SOUPS 17876 WITH SCORE 18176.467
AT ITER 4471 NEW BEST:: SOT 421901 SOS 300703 HAS SOPS 178325 HAS SOUS 30793 HAS SOUPS 17815 WITH SCORE 18115.703
AT ITER 4474 NEW BEST:: SOT 421663 SOS 300631 HAS SOPS 178226 HAS SOUS 30808 HAS SOUPS 17794 WITH SCORE 18094.631
AT ITER 4554 NEW BEST:: SOT 421663 SOS 300631 HAS SOPS 178226 HAS SOUS 30718 HAS SOUPS 17744 WITH SCORE 18044.631
AT ITER 4562 NEW BEST:: SOT 421661 SOS 300681 HAS SOPS 178246 HAS SOUS 30718 HAS SOUPS 17743 WITH SCORE 18043.681
AT ITER 4569 NEW BEST:: SOT 421732 SOS 299798 HAS SOPS 177688 HAS SOUS 30692 HAS SOUPS 17742 WITH SCORE 18041.798
AT ITER 4575 NEW BEST:: SOT 421367 SOS 299101 HAS SOPS 177447 HAS SOUS 30653 HAS SOUPS 17719 WITH SCORE 18018.101
AT ITER 4577 NEW BEST:: SOT 421367 SOS 299041 HAS SOPS 177387 HAS SOUS 30653 HAS SOUPS 17719 WITH SCORE 18018.041
AT ITER 4593 NEW BEST:: SOT 421376 SOS 295214 HAS SOPS 173569 HAS SOUS 30617 HAS SOUPS 17685 WITH SCORE 17980.214
AT ITER 4678 NEW BEST:: SOT 421373 SOS 295211 HAS SOPS 173566 HAS SOUS 30614 HAS SOUPS 17682 WITH SCORE 17977.211
AT ITER 4700 NEW BEST:: SOT 421361 SOS 295372 HAS SOPS 174273 HAS SOUS 30563 HAS SOUPS 17673 WITH SCORE 17968.372
AT ITER 4801 NEW BEST:: SOT 421163 SOS 294994 HAS SOPS 174165 HAS SOUS 30545 HAS SOUPS 17673 WITH SCORE 17967.994
AT ITER 4932 NEW BEST:: SOT 421213 SOS 293558 HAS SOPS 173305 HAS SOUS 30508 HAS SOUPS 17636 WITH SCORE 17929.558
AT ITER 4943 NEW BEST:: SOT 420985 SOS 293330 HAS SOPS 173077 HAS SOUS 30508 HAS SOUPS 17636 WITH SCORE 17929.33
AT ITER 4992 NEW BEST:: SOT 420963 SOS 292506 HAS SOPS 172669 HAS SOUS 30474 HAS SOUPS 17634 WITH SCORE 17926.506
AT ITER 4995 NEW BEST:: SOT 420962 SOS 292503 HAS SOPS 172653 HAS SOUS 30473 HAS SOUPS 17632 WITH SCORE 17924.503
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-09a-CTLFireability-00 (EF( ( ((potential((tk(P43)>=1) & (tk(P226)>=1)))) & (AF( ( ((potential((tk(P15)>=1) & (tk(P173)>=1)))) | ((potential((tk(P229)>=1) & (tk(P56)>=1)))) ))) )))
PROPERTY: DLCround-PT-09a-CTLFireability-01 (EF( (! (EF( ( ((potential((tk(P92)>=1)))) | ((potential((tk(P167)>=1) & (tk(P76)>=1)))) ))))))
PROPERTY: DLCround-PT-09a-CTLFireability-02 (AF( (EU( (! ((potential((tk(P118)>=1) & (tk(P287)>=1))))) , ( ((potential((tk(P34)>=1) & (tk(P212)>=1)))) & ((potential((tk(P88)>=1) & (tk(P171)>=1)))) ) ))))
PROPERTY: DLCround-PT-09a-CTLFireability-03 (EF( ( ( (EX( ((potential((tk(P87)>=1) & (tk(P171)>=1)))))) & ( ( ((potential((tk(P37)>=1) & (tk(P135)>=1)))) | ((potential((tk(P3)>=1) & (tk(P202)>=1)))) ) | (! ((potential((tk(P37)>=1) & (tk(P218)>=1))))) ) ) & ( ((potential((tk(P75)>=1) & (tk(P252)>=1)))) & (! ( ((potential((tk(P8)>=1) & (tk(P203)>=1)))) | ((potential((tk(P78)>=1) & (tk(P231)>=1)))) )) ) )))
PROPERTY: DLCround-PT-09a-CTLFireability-04 (! (AG( (! (AG( ((potential((tk(P54)>=1) & (tk(P236)>=1))))))))))
PROPERTY: DLCround-PT-09a-CTLFireability-05 (AG( ( (! ( ( ((potential((tk(P38)>=1) & (tk(P218)>=1)))) & ((potential((tk(P33)>=1) & (tk(P214)>=1)))) ) & ( ((potential((tk(P280)>=1) & (tk(P118)>=1)))) & ((potential((tk(P53)>=1) & (tk(P151)>=1)))) ) )) | ((potential((tk(P78)>=1) & (tk(P286)>=1)))) )))
PROPERTY: DLCround-PT-09a-CTLFireability-06 (EG( ( (! (EF( ((potential((tk(P266)>=1) & (tk(P96)>=1))))))) & (! ( ( ((potential((tk(P12)>=1) & (tk(P148)>=1)))) & ((potential((tk(P115)>=1)))) ) | ( ((potential((tk(P128)>=1)))) | ((potential((tk(P97)>=1) & (tk(P181)>=1)))) ) )) )))
PROPERTY: DLCround-PT-09a-CTLFireability-07 ( ( ((potential((tk(P78)>=1) & (tk(P222)>=1)))) | ( (AG( (! ((potential((tk(P64)>=1) & (tk(P159)>=1))))))) & (EX( ( ((potential((tk(P78)>=1) & (tk(P248)>=1)))) | ((potential((tk(P84)>=1) & (tk(P262)>=1)))) ))) ) ) | (EF( (AG( (! ((potential((tk(P43)>=1))))))))) )
PROPERTY: DLCround-PT-09a-CTLFireability-08 (EU( (! ( ( ((potential((tk(P127)>=1) & (tk(P298)>=1)))) & ((potential((tk(P120)>=1) & (tk(P205)>=1)))) ) & ((potential((tk(P128)>=1) & (tk(P208)>=1)))) )) , ((potential((tk(P55)>=1) & (tk(P230)>=1)))) ))
PROPERTY: DLCround-PT-09a-CTLFireability-09 (EU( (! (AG( ((potential((tk(P32)>=1) & (tk(P216)>=1))))))) , (AG( ((potential((tk(P52)>=1) & (tk(P229)>=1)))))) ))
PROPERTY: DLCround-PT-09a-CTLFireability-10 ( ( ( ((potential((tk(P68)>=1) & (tk(P244)>=1)))) | ( ((potential((tk(P90)>=1) & (tk(P272)>=1)))) & ( (! ((potential((tk(P44)>=1) & (tk(P224)>=1))))) | (! ((potential((tk(P67)>=1) & (tk(P242)>=1))))) ) ) ) & (! ((potential((tk(P9)>=1) & (tk(P156)>=1))))) ) | ( (EF( (AX( ((potential((tk(P122)>=1) & (tk(P207)>=1)))))))) | (EF( ( ( ((potential((tk(P52)>=1)))) | ((potential((tk(P47)>=1) & (tk(P219)>=1)))) ) & ( ((potential((tk(P113)>=1) & (tk(P283)>=1)))) & ((potential((tk(P64)>=1) & (tk(P242)>=1)))) ) ))) ) )
PROPERTY: DLCround-PT-09a-CTLFireability-11 (EU( (EF( (! ((potential((tk(P107)>=1) & (tk(P280)>=1))))))) , (AG( ((potential((tk(P22)>=1) & (tk(P167)>=1)))))) ))
PROPERTY: DLCround-PT-09a-CTLFireability-12 (EF( (AG( ( ((potential((tk(P78)>=1) & (tk(P231)>=1)))) | ( ((potential((tk(P112)>=1) & (tk(P287)>=1)))) | ((potential((tk(P256)>=1) & (tk(P86)>=1)))) ) )))))
PROPERTY: DLCround-PT-09a-CTLFireability-13 (EX( (AG( ( (! ((potential((tk(P9)>=1) & (tk(P196)>=1))))) | (! ((potential((tk(P91)>=1))))) )))))
PROPERTY: DLCround-PT-09a-CTLFireability-14 ( (EG( ( (EF( ((potential((tk(P105)>=1) & (tk(P279)>=1)))))) | ( ( ((potential((tk(P21)>=1)))) | ((potential((tk(P73)>=1)))) ) & ( ((potential((tk(P148)>=1) & (tk(P58)>=1)))) | ((potential((tk(P127)>=1) & (tk(P298)>=1)))) ) ) ))) | ((potential((tk(P94)>=1) & (tk(P272)>=1)))) )
PROPERTY: DLCround-PT-09a-CTLFireability-15 ( ( (EF( (EG( ((potential((tk(P97)>=1) & (tk(P181)>=1)))))))) | ( (AX( ((potential((tk(P99)>=1) & (tk(P270)>=1)))))) & (AG( ((potential((tk(P139)>=1) & (tk(P8)>=1)))))) ) ) & (! ( ((potential((tk(P70)>=1) & (tk(P247)>=1)))) & ((potential((tk(P29)>=1) & (tk(P201)>=1)))) )) )

BK_STOP 1589130709905

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 483 Aborted ${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="DLCround-PT-09a"
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 DLCround-PT-09a, 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 r048-ebro-158902542300548"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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