About the Execution of smart for ViralEpidemic-PT-S08D1C2A02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.930 | 1571338.00 | 1571039.00 | 0.00 | [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/fko/mcc2020-input.r224-oct2-159033539000556.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S08D1C2A02, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033539000556
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 4.3K May 14 05:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 05:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 23:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 23:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.3K May 13 16:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 16:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 13 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K May 13 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 828K May 12 20:42 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 ViralEpidemic-PT-S08D1C2A02-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S08D1C2A02-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590475388058
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S08D1C2A02
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: 731 places, 1241 transitions, 2993 arcs.
AT ITER 0 NEW BEST:: SOT 560855 SOS 436429 HAS SOPS 436429 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 73306.429
AT ITER 19 NEW BEST:: SOT 560181 SOS 433396 HAS SOPS 433396 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 73303.396
AT ITER 38 NEW BEST:: SOT 559829 SOS 431805 HAS SOPS 431805 HAS SOUS 72861 HAS SOUPS 72861 WITH SCORE 73292.805
AT ITER 50 NEW BEST:: SOT 559629 SOS 430898 HAS SOPS 430898 HAS SOUS 72852 HAS SOUPS 72852 WITH SCORE 73282.898
AT ITER 51 NEW BEST:: SOT 559433 SOS 430009 HAS SOPS 430009 HAS SOUS 72843 HAS SOUPS 72843 WITH SCORE 73273.009
AT ITER 63 NEW BEST:: SOT 558016 SOS 425030 HAS SOPS 425030 HAS SOUS 72527 HAS SOUPS 72527 WITH SCORE 72952.03
AT ITER 94 NEW BEST:: SOT 557354 SOS 422044 HAS SOPS 422044 HAS SOUS 72518 HAS SOUPS 72518 WITH SCORE 72940.044
AT ITER 108 NEW BEST:: SOT 557146 SOS 421106 HAS SOPS 421106 HAS SOUS 72516 HAS SOUPS 72516 WITH SCORE 72937.106
AT ITER 115 NEW BEST:: SOT 556708 SOS 419133 HAS SOPS 419133 HAS SOUS 72514 HAS SOUPS 72514 WITH SCORE 72933.133
AT ITER 116 NEW BEST:: SOT 556562 SOS 418403 HAS SOPS 418403 HAS SOUS 72441 HAS SOUPS 72441 WITH SCORE 72859.403
AT ITER 117 NEW BEST:: SOT 555792 SOS 414933 HAS SOPS 414933 HAS SOUS 72436 HAS SOUPS 72436 WITH SCORE 72850.933
AT ITER 124 NEW BEST:: SOT 555792 SOS 414928 HAS SOPS 414928 HAS SOUS 72431 HAS SOUPS 72431 WITH SCORE 72845.928
AT ITER 130 NEW BEST:: SOT 555510 SOS 413655 HAS SOPS 413655 HAS SOUS 72427 HAS SOUPS 72427 WITH SCORE 72840.655
AT ITER 147 NEW BEST:: SOT 554856 SOS 410707 HAS SOPS 410707 HAS SOUS 72422 HAS SOUPS 72422 WITH SCORE 72832.707
AT ITER 160 NEW BEST:: SOT 554854 SOS 410703 HAS SOPS 410703 HAS SOUS 72422 HAS SOUPS 72422 WITH SCORE 72832.703
AT ITER 169 NEW BEST:: SOT 554306 SOS 408232 HAS SOPS 408232 HAS SOUS 72417 HAS SOUPS 72417 WITH SCORE 72825.232
AT ITER 175 NEW BEST:: SOT 553780 SOS 405861 HAS SOPS 405861 HAS SOUS 72413 HAS SOUPS 72413 WITH SCORE 72818.861
AT ITER 193 NEW BEST:: SOT 553130 SOS 402614 HAS SOPS 402614 HAS SOUS 72091 HAS SOUPS 72091 WITH SCORE 72493.614
AT ITER 201 NEW BEST:: SOT 552886 SOS 401512 HAS SOPS 401512 HAS SOUS 72087 HAS SOUPS 72087 WITH SCORE 72488.512
AT ITER 215 NEW BEST:: SOT 552532 SOS 399916 HAS SOPS 399916 HAS SOUS 72084 HAS SOUPS 72084 WITH SCORE 72483.916
AT ITER 230 NEW BEST:: SOT 552090 SOS 397710 HAS SOPS 397710 HAS SOUS 71867 HAS SOUPS 71867 WITH SCORE 72264.71
AT ITER 231 NEW BEST:: SOT 551148 SOS 393471 HAS SOPS 393471 HAS SOUS 71867 HAS SOUPS 71867 WITH SCORE 72260.471
AT ITER 242 NEW BEST:: SOT 550790 SOS 391571 HAS SOPS 391571 HAS SOUS 71779 HAS SOUPS 71779 WITH SCORE 72170.571
AT ITER 264 NEW BEST:: SOT 550458 SOS 390076 HAS SOPS 390076 HAS SOUS 71778 HAS SOUPS 71778 WITH SCORE 72168.076
AT ITER 291 NEW BEST:: SOT 550412 SOS 389846 HAS SOPS 389846 HAS SOUS 71755 HAS SOUPS 71755 WITH SCORE 72144.846
AT ITER 311 NEW BEST:: SOT 550408 SOS 389827 HAS SOPS 389827 HAS SOUS 71754 HAS SOUPS 71754 WITH SCORE 72143.827
AT ITER 323 NEW BEST:: SOT 550408 SOS 389642 HAS SOPS 389642 HAS SOUS 71673 HAS SOUPS 71673 WITH SCORE 72062.642
AT ITER 336 NEW BEST:: SOT 550408 SOS 389556 HAS SOPS 389556 HAS SOUS 71649 HAS SOUPS 71649 WITH SCORE 72038.556
AT ITER 343 NEW BEST:: SOT 550041 SOS 387655 HAS SOPS 387655 HAS SOUS 71571 HAS SOUPS 71571 WITH SCORE 71958.655
AT ITER 363 NEW BEST:: SOT 549607 SOS 385701 HAS SOPS 385701 HAS SOUS 71570 HAS SOUPS 71570 WITH SCORE 71955.701
AT ITER 368 NEW BEST:: SOT 549607 SOS 385700 HAS SOPS 385700 HAS SOUS 71569 HAS SOUPS 71569 WITH SCORE 71954.7
AT ITER 375 NEW BEST:: SOT 549607 SOS 385693 HAS SOPS 385693 HAS SOUS 71560 HAS SOUPS 71560 WITH SCORE 71945.693
AT ITER 380 NEW BEST:: SOT 548989 SOS 382603 HAS SOPS 382603 HAS SOUS 71251 HAS SOUPS 71251 WITH SCORE 71633.603
AT ITER 381 NEW BEST:: SOT 548191 SOS 378741 HAS SOPS 378741 HAS SOUS 70980 HAS SOUPS 70980 WITH SCORE 71358.741
AT ITER 387 NEW BEST:: SOT 547164 SOS 373488 HAS SOPS 373488 HAS SOUS 70569 HAS SOUPS 70569 WITH SCORE 70942.488
AT ITER 392 NEW BEST:: SOT 546602 SOS 370955 HAS SOPS 370955 HAS SOUS 70565 HAS SOUPS 70565 WITH SCORE 70935.955
AT ITER 396 NEW BEST:: SOT 546302 SOS 369600 HAS SOPS 369600 HAS SOUS 70560 HAS SOUPS 70560 WITH SCORE 70929.6
AT ITER 399 NEW BEST:: SOT 545800 SOS 367337 HAS SOPS 367337 HAS SOUS 70556 HAS SOUPS 70556 WITH SCORE 70923.337
AT ITER 402 NEW BEST:: SOT 545590 SOS 366023 HAS SOPS 366023 HAS SOUS 70495 HAS SOUPS 70495 WITH SCORE 70861.023
AT ITER 411 NEW BEST:: SOT 545374 SOS 364981 HAS SOPS 364981 HAS SOUS 70474 HAS SOUPS 70474 WITH SCORE 70838.981
AT ITER 414 NEW BEST:: SOT 545186 SOS 364041 HAS SOPS 364041 HAS SOUS 70380 HAS SOUPS 70380 WITH SCORE 70744.041
AT ITER 431 NEW BEST:: SOT 544832 SOS 362443 HAS SOPS 362443 HAS SOUS 70375 HAS SOUPS 70375 WITH SCORE 70737.443
AT ITER 440 NEW BEST:: SOT 544248 SOS 359556 HAS SOPS 359556 HAS SOUS 70116 HAS SOUPS 70116 WITH SCORE 70475.556
AT ITER 455 NEW BEST:: SOT 544156 SOS 359012 HAS SOPS 359012 HAS SOUS 70084 HAS SOUPS 70084 WITH SCORE 70443.012
AT ITER 487 NEW BEST:: SOT 543706 SOS 356762 HAS SOPS 356762 HAS SOUS 69859 HAS SOUPS 69859 WITH SCORE 70215.762
AT ITER 492 NEW BEST:: SOT 543628 SOS 356411 HAS SOPS 356411 HAS SOUS 69859 HAS SOUPS 69859 WITH SCORE 70215.411
AT ITER 496 NEW BEST:: SOT 542765 SOS 351882 HAS SOPS 351882 HAS SOUS 69631 HAS SOUPS 69631 WITH SCORE 69982.882
AT ITER 503 NEW BEST:: SOT 542411 SOS 350116 HAS SOPS 350116 HAS SOUS 69458 HAS SOUPS 69458 WITH SCORE 69808.116
AT ITER 507 NEW BEST:: SOT 541932 SOS 347690 HAS SOPS 347690 HAS SOUS 69324 HAS SOUPS 69324 WITH SCORE 69671.69
AT ITER 521 NEW BEST:: SOT 541678 SOS 345812 HAS SOPS 345812 HAS SOUS 69303 HAS SOUPS 69303 WITH SCORE 69648.812
AT ITER 542 NEW BEST:: SOT 541451 SOS 344068 HAS SOPS 344068 HAS SOUS 69291 HAS SOUPS 69291 WITH SCORE 69635.068
AT ITER 643 NEW BEST:: SOT 541023 SOS 342140 HAS SOPS 342140 HAS SOUS 69289 HAS SOUPS 69289 WITH SCORE 69631.14
AT ITER 646 NEW BEST:: SOT 540972 SOS 342001 HAS SOPS 342001 HAS SOUS 69201 HAS SOUPS 69201 WITH SCORE 69543.001
AT ITER 669 NEW BEST:: SOT 540918 SOS 341821 HAS SOPS 341821 HAS SOUS 69183 HAS SOUPS 69183 WITH SCORE 69524.821
AT ITER 676 NEW BEST:: SOT 540841 SOS 341205 HAS SOPS 341205 HAS SOUS 69183 HAS SOUPS 69183 WITH SCORE 69524.205
AT ITER 697 NEW BEST:: SOT 540832 SOS 341196 HAS SOPS 341196 HAS SOUS 69180 HAS SOUPS 69180 WITH SCORE 69521.196
AT ITER 716 NEW BEST:: SOT 540576 SOS 339276 HAS SOPS 339276 HAS SOUS 69175 HAS SOUPS 69175 WITH SCORE 69514.276
AT ITER 727 NEW BEST:: SOT 540089 SOS 336838 HAS SOPS 336838 HAS SOUS 69170 HAS SOUPS 69170 WITH SCORE 69506.838
AT ITER 732 NEW BEST:: SOT 539487 SOS 334779 HAS SOPS 334779 HAS SOUS 68991 HAS SOUPS 68991 WITH SCORE 69325.779
AT ITER 747 NEW BEST:: SOT 539209 SOS 333528 HAS SOPS 333528 HAS SOUS 68991 HAS SOUPS 68991 WITH SCORE 69324.528
AT ITER 748 NEW BEST:: SOT 538681 SOS 330888 HAS SOPS 330888 HAS SOUS 68725 HAS SOUPS 68725 WITH SCORE 69055.888
AT ITER 757 NEW BEST:: SOT 538535 SOS 330224 HAS SOPS 330224 HAS SOUS 68716 HAS SOUPS 68716 WITH SCORE 69046.224
AT ITER 758 NEW BEST:: SOT 538533 SOS 330220 HAS SOPS 330220 HAS SOUS 68714 HAS SOUPS 68714 WITH SCORE 69044.22
AT ITER 773 NEW BEST:: SOT 538505 SOS 330164 HAS SOPS 330164 HAS SOUS 68686 HAS SOUPS 68686 WITH SCORE 69016.164
AT ITER 804 NEW BEST:: SOT 538491 SOS 330094 HAS SOPS 330094 HAS SOUS 68679 HAS SOUPS 68679 WITH SCORE 69009.094
AT ITER 817 NEW BEST:: SOT 538266 SOS 328594 HAS SOPS 328594 HAS SOUS 68629 HAS SOUPS 68629 WITH SCORE 68957.594
AT ITER 820 NEW BEST:: SOT 538168 SOS 328104 HAS SOPS 328104 HAS SOUS 68580 HAS SOUPS 68580 WITH SCORE 68908.104
AT ITER 825 NEW BEST:: SOT 538022 SOS 327446 HAS SOPS 327446 HAS SOUS 68579 HAS SOUPS 68579 WITH SCORE 68906.446
AT ITER 828 NEW BEST:: SOT 537871 SOS 326795 HAS SOPS 326795 HAS SOUS 68571 HAS SOUPS 68571 WITH SCORE 68897.795
AT ITER 843 NEW BEST:: SOT 537802 SOS 326481 HAS SOPS 326481 HAS SOUS 68326 HAS SOUPS 68326 WITH SCORE 68652.481
AT ITER 848 NEW BEST:: SOT 537694 SOS 325992 HAS SOPS 325992 HAS SOUS 68323 HAS SOUPS 68323 WITH SCORE 68648.992
AT ITER 852 NEW BEST:: SOT 537608 SOS 325605 HAS SOPS 325605 HAS SOUS 68323 HAS SOUPS 68323 WITH SCORE 68648.605
AT ITER 869 NEW BEST:: SOT 537677 SOS 325646 HAS SOPS 325646 HAS SOUS 68295 HAS SOUPS 68295 WITH SCORE 68620.646
AT ITER 871 NEW BEST:: SOT 537351 SOS 323961 HAS SOPS 323961 HAS SOUS 68252 HAS SOUPS 68252 WITH SCORE 68575.961
AT ITER 881 NEW BEST:: SOT 536905 SOS 321731 HAS SOPS 321731 HAS SOUS 68025 HAS SOUPS 68025 WITH SCORE 68346.731
AT ITER 884 NEW BEST:: SOT 536275 SOS 318614 HAS SOPS 318614 HAS SOUS 67743 HAS SOUPS 67743 WITH SCORE 68061.614
AT ITER 907 NEW BEST:: SOT 536308 SOS 318652 HAS SOPS 318652 HAS SOUS 67642 HAS SOUPS 67642 WITH SCORE 67960.652
AT ITER 923 NEW BEST:: SOT 536117 SOS 318379 HAS SOPS 318379 HAS SOUS 67586 HAS SOUPS 67586 WITH SCORE 67904.379
AT ITER 937 NEW BEST:: SOT 536080 SOS 318203 HAS SOPS 318203 HAS SOUS 67443 HAS SOUPS 67443 WITH SCORE 67761.203
AT ITER 942 NEW BEST:: SOT 535872 SOS 318044 HAS SOPS 318044 HAS SOUS 67413 HAS SOUPS 67413 WITH SCORE 67731.044
AT ITER 968 NEW BEST:: SOT 535724 SOS 317304 HAS SOPS 317304 HAS SOUS 67339 HAS SOUPS 67339 WITH SCORE 67656.304
AT ITER 974 NEW BEST:: SOT 535489 SOS 316058 HAS SOPS 316058 HAS SOUS 67253 HAS SOUPS 67253 WITH SCORE 67569.058
AT ITER 981 NEW BEST:: SOT 535377 SOS 315216 HAS SOPS 315216 HAS SOUS 67244 HAS SOUPS 67244 WITH SCORE 67559.216
AT ITER 1015 NEW BEST:: SOT 535321 SOS 314816 HAS SOPS 314816 HAS SOUS 67236 HAS SOUPS 67236 WITH SCORE 67550.816
AT ITER 1020 NEW BEST:: SOT 535305 SOS 314744 HAS SOPS 314744 HAS SOUS 67236 HAS SOUPS 67236 WITH SCORE 67550.744
AT ITER 1026 NEW BEST:: SOT 534780 SOS 312007 HAS SOPS 312007 HAS SOUS 67059 HAS SOUPS 67059 WITH SCORE 67371.007
AT ITER 1037 NEW BEST:: SOT 534780 SOS 312007 HAS SOPS 312007 HAS SOUS 67057 HAS SOUPS 67057 WITH SCORE 67369.007
AT ITER 1075 NEW BEST:: SOT 534575 SOS 310937 HAS SOPS 310937 HAS SOUS 66962 HAS SOUPS 66962 WITH SCORE 67272.937
AT ITER 1083 NEW BEST:: SOT 534533 SOS 310743 HAS SOPS 310743 HAS SOUS 66957 HAS SOUPS 66957 WITH SCORE 67267.743
AT ITER 1131 NEW BEST:: SOT 534373 SOS 310022 HAS SOPS 310022 HAS SOUS 66956 HAS SOUPS 66956 WITH SCORE 67266.022
AT ITER 1140 NEW BEST:: SOT 534373 SOS 310019 HAS SOPS 310019 HAS SOUS 66953 HAS SOUPS 66953 WITH SCORE 67263.019
AT ITER 1189 NEW BEST:: SOT 534177 SOS 309039 HAS SOPS 309039 HAS SOUS 66855 HAS SOUPS 66855 WITH SCORE 67164.039
AT ITER 1208 NEW BEST:: SOT 534177 SOS 309031 HAS SOPS 309031 HAS SOUS 66847 HAS SOUPS 66847 WITH SCORE 67156.031
AT ITER 1224 NEW BEST:: SOT 533985 SOS 308071 HAS SOPS 308071 HAS SOUS 66751 HAS SOUPS 66751 WITH SCORE 67059.071
AT ITER 1267 NEW BEST:: SOT 533631 SOS 306471 HAS SOPS 306471 HAS SOUS 66742 HAS SOUPS 66742 WITH SCORE 67048.471
AT ITER 1268 NEW BEST:: SOT 533624 SOS 306457 HAS SOPS 306457 HAS SOUS 66735 HAS SOUPS 66735 WITH SCORE 67041.457
AT ITER 1301 NEW BEST:: SOT 533368 SOS 305177 HAS SOPS 305177 HAS SOUS 66605 HAS SOUPS 66605 WITH SCORE 66910.177
AT ITER 1304 NEW BEST:: SOT 533268 SOS 305379 HAS SOPS 305379 HAS SOUS 66562 HAS SOUPS 66562 WITH SCORE 66867.379
AT ITER 1318 NEW BEST:: SOT 533335 SOS 305901 HAS SOPS 305901 HAS SOUS 66548 HAS SOUPS 66548 WITH SCORE 66853.901
AT ITER 1332 NEW BEST:: SOT 533335 SOS 305827 HAS SOPS 305827 HAS SOUS 66474 HAS SOUPS 66474 WITH SCORE 66779.827
AT ITER 1333 NEW BEST:: SOT 532933 SOS 303505 HAS SOPS 303505 HAS SOUS 66434 HAS SOUPS 66434 WITH SCORE 66737.505
AT ITER 1348 NEW BEST:: SOT 532833 SOS 302843 HAS SOPS 302843 HAS SOUS 66411 HAS SOUPS 66411 WITH SCORE 66713.843
AT ITER 1368 NEW BEST:: SOT 532401 SOS 300683 HAS SOPS 300683 HAS SOUS 66195 HAS SOUPS 66195 WITH SCORE 66495.683
AT ITER 1370 NEW BEST:: SOT 531989 SOS 298623 HAS SOPS 298623 HAS SOUS 65989 HAS SOUPS 65989 WITH SCORE 66287.623
AT ITER 1381 NEW BEST:: SOT 531909 SOS 298262 HAS SOPS 298262 HAS SOUS 65988 HAS SOUPS 65988 WITH SCORE 66286.262
AT ITER 1392 NEW BEST:: SOT 531822 SOS 297860 HAS SOPS 297860 HAS SOUS 65971 HAS SOUPS 65971 WITH SCORE 66268.86
AT ITER 1409 NEW BEST:: SOT 531566 SOS 296580 HAS SOPS 296580 HAS SOUS 65843 HAS SOUPS 65843 WITH SCORE 66139.58
AT ITER 1431 NEW BEST:: SOT 531444 SOS 295970 HAS SOPS 295970 HAS SOUS 65776 HAS SOUPS 65776 WITH SCORE 66071.97
AT ITER 1434 NEW BEST:: SOT 530756 SOS 292409 HAS SOPS 292409 HAS SOUS 65759 HAS SOUPS 65759 WITH SCORE 66051.409
AT ITER 1435 NEW BEST:: SOT 530714 SOS 292318 HAS SOPS 292318 HAS SOUS 65708 HAS SOUPS 65708 WITH SCORE 66000.318
AT ITER 1445 NEW BEST:: SOT 530626 SOS 291878 HAS SOPS 291878 HAS SOUS 65664 HAS SOUPS 65664 WITH SCORE 65955.878
AT ITER 1489 NEW BEST:: SOT 530307 SOS 290046 HAS SOPS 290046 HAS SOUS 65544 HAS SOUPS 65544 WITH SCORE 65834.046
AT ITER 1493 NEW BEST:: SOT 529960 SOS 288135 HAS SOPS 288135 HAS SOUS 65401 HAS SOUPS 65401 WITH SCORE 65689.135
AT ITER 1511 NEW BEST:: SOT 529002 SOS 283824 HAS SOPS 283824 HAS SOUS 65401 HAS SOUPS 65401 WITH SCORE 65684.824
AT ITER 1528 NEW BEST:: SOT 529002 SOS 283814 HAS SOPS 283814 HAS SOUS 65391 HAS SOUPS 65391 WITH SCORE 65674.814
AT ITER 1545 NEW BEST:: SOT 528940 SOS 283689 HAS SOPS 283689 HAS SOUS 65326 HAS SOUPS 65326 WITH SCORE 65609.689
AT ITER 1561 NEW BEST:: SOT 528883 SOS 283331 HAS SOPS 283331 HAS SOUS 65306 HAS SOUPS 65306 WITH SCORE 65589.331
AT ITER 1562 NEW BEST:: SOT 529058 SOS 283571 HAS SOPS 283571 HAS SOUS 65236 HAS SOUPS 65236 WITH SCORE 65519.571
AT ITER 1574 NEW BEST:: SOT 528922 SOS 282891 HAS SOPS 282891 HAS SOUS 65168 HAS SOUPS 65168 WITH SCORE 65450.891
AT ITER 1586 NEW BEST:: SOT 528386 SOS 280213 HAS SOPS 280213 HAS SOUS 64991 HAS SOUPS 64991 WITH SCORE 65271.213
AT ITER 1629 NEW BEST:: SOT 528022 SOS 278350 HAS SOPS 278350 HAS SOUS 64843 HAS SOUPS 64843 WITH SCORE 65121.35
AT ITER 1653 NEW BEST:: SOT 527997 SOS 278878 HAS SOPS 278878 HAS SOUS 64729 HAS SOUPS 64729 WITH SCORE 65007.878
AT ITER 1666 NEW BEST:: SOT 527815 SOS 277968 HAS SOPS 277968 HAS SOUS 64638 HAS SOUPS 64638 WITH SCORE 64915.968
AT ITER 1677 NEW BEST:: SOT 527544 SOS 276504 HAS SOPS 276504 HAS SOUS 64586 HAS SOUPS 64586 WITH SCORE 64862.504
AT ITER 1728 NEW BEST:: SOT 526876 SOS 273079 HAS SOPS 273079 HAS SOUS 64538 HAS SOUPS 64538 WITH SCORE 64811.079
AT ITER 1736 NEW BEST:: SOT 526848 SOS 273023 HAS SOPS 273023 HAS SOUS 64510 HAS SOUPS 64510 WITH SCORE 64783.023
AT ITER 1756 NEW BEST:: SOT 526606 SOS 271929 HAS SOPS 271929 HAS SOUS 64505 HAS SOUPS 64505 WITH SCORE 64776.929
AT ITER 1757 NEW BEST:: SOT 526606 SOS 271929 HAS SOPS 271929 HAS SOUS 64503 HAS SOUPS 64503 WITH SCORE 64774.929
AT ITER 1789 NEW BEST:: SOT 526569 SOS 271727 HAS SOPS 271727 HAS SOUS 64338 HAS SOUPS 64338 WITH SCORE 64609.727
AT ITER 1800 NEW BEST:: SOT 526291 SOS 270453 HAS SOPS 270453 HAS SOUS 64313 HAS SOUPS 64313 WITH SCORE 64583.453
AT ITER 1805 NEW BEST:: SOT 526259 SOS 270391 HAS SOPS 270391 HAS SOUS 64283 HAS SOUPS 64283 WITH SCORE 64553.391
AT ITER 1806 NEW BEST:: SOT 526093 SOS 269537 HAS SOPS 269537 HAS SOUS 64237 HAS SOUPS 64237 WITH SCORE 64506.537
AT ITER 1816 NEW BEST:: SOT 525945 SOS 268864 HAS SOPS 268864 HAS SOUS 64228 HAS SOUPS 64228 WITH SCORE 64496.864
AT ITER 1824 NEW BEST:: SOT 525567 SOS 266946 HAS SOPS 266946 HAS SOUS 64142 HAS SOUPS 64142 WITH SCORE 64408.946
AT ITER 1861 NEW BEST:: SOT 525500 SOS 266512 HAS SOPS 266512 HAS SOUS 64125 HAS SOUPS 64125 WITH SCORE 64391.512
AT ITER 1909 NEW BEST:: SOT 525244 SOS 265174 HAS SOPS 265174 HAS SOUS 64049 HAS SOUPS 64049 WITH SCORE 64314.174
AT ITER 1912 NEW BEST:: SOT 525204 SOS 264994 HAS SOPS 264994 HAS SOUS 64049 HAS SOUPS 64049 WITH SCORE 64313.994
AT ITER 1944 NEW BEST:: SOT 524987 SOS 262939 HAS SOPS 262939 HAS SOUS 64041 HAS SOUPS 64041 WITH SCORE 64303.939
AT ITER 1951 NEW BEST:: SOT 524742 SOS 261703 HAS SOPS 261703 HAS SOUS 64037 HAS SOUPS 64037 WITH SCORE 64298.703
AT ITER 1961 NEW BEST:: SOT 524742 SOS 261701 HAS SOPS 261701 HAS SOUS 64035 HAS SOUPS 64035 WITH SCORE 64296.701
AT ITER 1977 NEW BEST:: SOT 524729 SOS 261602 HAS SOPS 261602 HAS SOUS 63934 HAS SOUPS 63934 WITH SCORE 64195.602
AT ITER 1979 NEW BEST:: SOT 524722 SOS 261553 HAS SOPS 261553 HAS SOUS 63782 HAS SOUPS 63782 WITH SCORE 64043.553
AT ITER 1980 NEW BEST:: SOT 524688 SOS 261779 HAS SOPS 261779 HAS SOUS 63776 HAS SOUPS 63776 WITH SCORE 64037.779
AT ITER 1983 NEW BEST:: SOT 524525 SOS 261453 HAS SOPS 261453 HAS SOUS 63613 HAS SOUPS 63613 WITH SCORE 63874.453
AT ITER 2000 NEW BEST:: SOT 524502 SOS 261354 HAS SOPS 261354 HAS SOUS 63537 HAS SOUPS 63537 WITH SCORE 63798.354
AT ITER 2001 NEW BEST:: SOT 524241 SOS 259972 HAS SOPS 259972 HAS SOUS 63501 HAS SOUPS 63501 WITH SCORE 63760.972
AT ITER 2012 NEW BEST:: SOT 524227 SOS 259902 HAS SOPS 259902 HAS SOUS 63494 HAS SOUPS 63494 WITH SCORE 63753.902
AT ITER 2022 NEW BEST:: SOT 524149 SOS 259512 HAS SOPS 259512 HAS SOUS 63455 HAS SOUPS 63455 WITH SCORE 63714.512
AT ITER 2048 NEW BEST:: SOT 524114 SOS 259262 HAS SOPS 259262 HAS SOUS 63450 HAS SOUPS 63450 WITH SCORE 63709.262
AT ITER 2081 NEW BEST:: SOT 523859 SOS 257942 HAS SOPS 257942 HAS SOUS 63330 HAS SOUPS 63330 WITH SCORE 63587.942
AT ITER 2098 NEW BEST:: SOT 523924 SOS 258732 HAS SOPS 258732 HAS SOUS 63270 HAS SOUPS 63270 WITH SCORE 63528.732
AT ITER 2108 NEW BEST:: SOT 523707 SOS 257322 HAS SOPS 257322 HAS SOUS 63253 HAS SOUPS 63253 WITH SCORE 63510.322
AT ITER 2121 NEW BEST:: SOT 523664 SOS 257179 HAS SOPS 257179 HAS SOUS 63169 HAS SOUPS 63169 WITH SCORE 63426.179
AT ITER 2151 NEW BEST:: SOT 523670 SOS 257176 HAS SOPS 257176 HAS SOUS 63162 HAS SOUPS 63162 WITH SCORE 63419.176
AT ITER 2162 NEW BEST:: SOT 523538 SOS 256516 HAS SOPS 256516 HAS SOUS 63096 HAS SOUPS 63096 WITH SCORE 63352.516
AT ITER 2225 NEW BEST:: SOT 523450 SOS 255992 HAS SOPS 255992 HAS SOUS 63064 HAS SOUPS 63064 WITH SCORE 63319.992
AT ITER 2226 NEW BEST:: SOT 523450 SOS 255991 HAS SOPS 255991 HAS SOUS 63063 HAS SOUPS 63063 WITH SCORE 63318.991
AT ITER 2260 NEW BEST:: SOT 523427 SOS 255945 HAS SOPS 255945 HAS SOUS 63040 HAS SOUPS 63040 WITH SCORE 63295.945
AT ITER 2265 NEW BEST:: SOT 523440 SOS 256223 HAS SOPS 256223 HAS SOUS 63011 HAS SOUPS 63011 WITH SCORE 63267.223
AT ITER 2279 NEW BEST:: SOT 523424 SOS 256191 HAS SOPS 256191 HAS SOUS 62961 HAS SOUPS 62961 WITH SCORE 63217.191
AT ITER 2312 NEW BEST:: SOT 523259 SOS 255877 HAS SOPS 255877 HAS SOUS 62842 HAS SOUPS 62842 WITH SCORE 63097.877
AT ITER 2315 NEW BEST:: SOT 523257 SOS 255842 HAS SOPS 255842 HAS SOUS 62803 HAS SOUPS 62803 WITH SCORE 63058.842
AT ITER 2320 NEW BEST:: SOT 523257 SOS 255839 HAS SOPS 255839 HAS SOUS 62800 HAS SOUPS 62800 WITH SCORE 63055.839
AT ITER 2372 NEW BEST:: SOT 523245 SOS 255815 HAS SOPS 255815 HAS SOUS 62788 HAS SOUPS 62788 WITH SCORE 63043.815
AT ITER 2376 NEW BEST:: SOT 523245 SOS 255748 HAS SOPS 255748 HAS SOUS 62767 HAS SOUPS 62767 WITH SCORE 63022.748
AT ITER 2391 NEW BEST:: SOT 523021 SOS 255635 HAS SOPS 255635 HAS SOUS 62494 HAS SOUPS 62494 WITH SCORE 62749.635
AT ITER 2415 NEW BEST:: SOT 522937 SOS 255233 HAS SOPS 255233 HAS SOUS 62470 HAS SOUPS 62470 WITH SCORE 62725.233
AT ITER 2428 NEW BEST:: SOT 522863 SOS 254895 HAS SOPS 254895 HAS SOUS 62465 HAS SOUPS 62465 WITH SCORE 62719.895
AT ITER 2431 NEW BEST:: SOT 522479 SOS 251823 HAS SOPS 251823 HAS SOUS 62465 HAS SOUPS 62465 WITH SCORE 62716.823
AT ITER 2445 NEW BEST:: SOT 521796 SOS 248284 HAS SOPS 248284 HAS SOUS 62276 HAS SOUPS 62276 WITH SCORE 62524.284
AT ITER 2456 NEW BEST:: SOT 521617 SOS 247322 HAS SOPS 247322 HAS SOUS 62228 HAS SOUPS 62228 WITH SCORE 62475.322
AT ITER 2463 NEW BEST:: SOT 521133 SOS 244930 HAS SOPS 244930 HAS SOUS 62014 HAS SOUPS 62014 WITH SCORE 62258.93
AT ITER 2522 NEW BEST:: SOT 521128 SOS 244925 HAS SOPS 244925 HAS SOUS 62009 HAS SOUPS 62009 WITH SCORE 62253.925
AT ITER 2530 NEW BEST:: SOT 521006 SOS 244681 HAS SOPS 244681 HAS SOUS 61887 HAS SOUPS 61887 WITH SCORE 62131.681
AT ITER 2549 NEW BEST:: SOT 520583 SOS 242491 HAS SOPS 242491 HAS SOUS 61688 HAS SOUPS 61688 WITH SCORE 61930.491
AT ITER 2551 NEW BEST:: SOT 520504 SOS 242234 HAS SOPS 242234 HAS SOUS 61510 HAS SOUPS 61510 WITH SCORE 61752.234
AT ITER 2585 NEW BEST:: SOT 520320 SOS 241401 HAS SOPS 241401 HAS SOUS 61505 HAS SOUPS 61505 WITH SCORE 61746.401
AT ITER 2587 NEW BEST:: SOT 520354 SOS 241460 HAS SOPS 241460 HAS SOUS 61423 HAS SOUPS 61423 WITH SCORE 61664.46
AT ITER 2601 NEW BEST:: SOT 520354 SOS 241432 HAS SOPS 241432 HAS SOUS 61395 HAS SOUPS 61395 WITH SCORE 61636.432
AT ITER 2624 NEW BEST:: SOT 520334 SOS 241512 HAS SOPS 241512 HAS SOUS 61375 HAS SOUPS 61375 WITH SCORE 61616.512
AT ITER 2627 NEW BEST:: SOT 520115 SOS 240044 HAS SOPS 240044 HAS SOUS 61337 HAS SOUPS 61337 WITH SCORE 61577.044
AT ITER 2641 NEW BEST:: SOT 520015 SOS 239400 HAS SOPS 239400 HAS SOUS 61289 HAS SOUPS 61289 WITH SCORE 61528.4
AT ITER 2645 NEW BEST:: SOT 520004 SOS 239378 HAS SOPS 239378 HAS SOUS 61278 HAS SOUPS 61278 WITH SCORE 61517.378
AT ITER 2657 NEW BEST:: SOT 519931 SOS 239291 HAS SOPS 239291 HAS SOUS 61264 HAS SOUPS 61264 WITH SCORE 61503.291
AT ITER 2661 NEW BEST:: SOT 519812 SOS 239053 HAS SOPS 239053 HAS SOUS 61145 HAS SOUPS 61145 WITH SCORE 61384.053
AT ITER 2662 NEW BEST:: SOT 519720 SOS 238593 HAS SOPS 238593 HAS SOUS 61099 HAS SOUPS 61099 WITH SCORE 61337.593
AT ITER 2665 NEW BEST:: SOT 519710 SOS 238573 HAS SOPS 238573 HAS SOUS 61089 HAS SOUPS 61089 WITH SCORE 61327.573
AT ITER 2672 NEW BEST:: SOT 519354 SOS 236793 HAS SOPS 236793 HAS SOUS 60911 HAS SOUPS 60911 WITH SCORE 61147.793
AT ITER 2679 NEW BEST:: SOT 519242 SOS 236233 HAS SOPS 236233 HAS SOUS 60855 HAS SOUPS 60855 WITH SCORE 61091.233
AT ITER 2690 NEW BEST:: SOT 519242 SOS 236226 HAS SOPS 236226 HAS SOUS 60844 HAS SOUPS 60844 WITH SCORE 61080.226
AT ITER 2696 NEW BEST:: SOT 519224 SOS 236136 HAS SOPS 236136 HAS SOUS 60835 HAS SOUPS 60835 WITH SCORE 61071.136
AT ITER 2702 NEW BEST:: SOT 519196 SOS 235996 HAS SOPS 235996 HAS SOUS 60821 HAS SOUPS 60821 WITH SCORE 61056.996
AT ITER 2704 NEW BEST:: SOT 519174 SOS 235952 HAS SOPS 235952 HAS SOUS 60799 HAS SOUPS 60799 WITH SCORE 61034.952
AT ITER 2790 NEW BEST:: SOT 519159 SOS 235922 HAS SOPS 235922 HAS SOUS 60784 HAS SOUPS 60784 WITH SCORE 61019.922
AT ITER 2808 NEW BEST:: SOT 518802 SOS 233972 HAS SOPS 233972 HAS SOUS 60631 HAS SOUPS 60631 WITH SCORE 60864.972
AT ITER 2829 NEW BEST:: SOT 518796 SOS 233960 HAS SOPS 233960 HAS SOUS 60625 HAS SOUPS 60625 WITH SCORE 60858.96
AT ITER 2867 NEW BEST:: SOT 518796 SOS 233947 HAS SOPS 233947 HAS SOUS 60612 HAS SOUPS 60612 WITH SCORE 60845.947
AT ITER 2876 NEW BEST:: SOT 518717 SOS 233868 HAS SOPS 233868 HAS SOUS 60587 HAS SOUPS 60587 WITH SCORE 60820.868
AT ITER 2901 NEW BEST:: SOT 518681 SOS 233796 HAS SOPS 233796 HAS SOUS 60587 HAS SOUPS 60587 WITH SCORE 60820.796
AT ITER 2938 NEW BEST:: SOT 518667 SOS 233729 HAS SOPS 233729 HAS SOUS 60583 HAS SOUPS 60583 WITH SCORE 60816.729
AT ITER 2942 NEW BEST:: SOT 518667 SOS 233728 HAS SOPS 233728 HAS SOUS 60582 HAS SOUPS 60582 WITH SCORE 60815.728
AT ITER 2958 NEW BEST:: SOT 518658 SOS 233716 HAS SOPS 233716 HAS SOUS 60579 HAS SOUPS 60579 WITH SCORE 60812.716
AT ITER 2991 NEW BEST:: SOT 518560 SOS 233245 HAS SOPS 233245 HAS SOUS 60501 HAS SOUPS 60501 WITH SCORE 60734.245
AT ITER 3018 NEW BEST:: SOT 518534 SOS 233122 HAS SOPS 233122 HAS SOUS 60495 HAS SOUPS 60495 WITH SCORE 60728.122
AT ITER 3036 NEW BEST:: SOT 518446 SOS 232703 HAS SOPS 232703 HAS SOUS 60484 HAS SOUPS 60484 WITH SCORE 60716.703
AT ITER 3042 NEW BEST:: SOT 518328 SOS 232667 HAS SOPS 232667 HAS SOUS 60465 HAS SOUPS 60465 WITH SCORE 60697.667
AT ITER 3067 NEW BEST:: SOT 518106 SOS 231138 HAS SOPS 231138 HAS SOUS 60446 HAS SOUPS 60446 WITH SCORE 60677.138
AT ITER 3070 NEW BEST:: SOT 517906 SOS 230138 HAS SOPS 230138 HAS SOUS 60346 HAS SOUPS 60346 WITH SCORE 60576.138
AT ITER 3078 NEW BEST:: SOT 517906 SOS 230136 HAS SOPS 230136 HAS SOUS 60345 HAS SOUPS 60345 WITH SCORE 60575.136
AT ITER 3090 NEW BEST:: SOT 517756 SOS 229461 HAS SOPS 229461 HAS SOUS 60345 HAS SOUPS 60345 WITH SCORE 60574.461
AT ITER 3102 NEW BEST:: SOT 517756 SOS 229461 HAS SOPS 229461 HAS SOUS 60331 HAS SOUPS 60331 WITH SCORE 60560.461
AT ITER 3138 NEW BEST:: SOT 517612 SOS 228974 HAS SOPS 228974 HAS SOUS 60274 HAS SOUPS 60274 WITH SCORE 60502.974
AT ITER 3139 NEW BEST:: SOT 517572 SOS 228774 HAS SOPS 228774 HAS SOUS 60254 HAS SOUPS 60254 WITH SCORE 60482.774
AT ITER 3145 NEW BEST:: SOT 517556 SOS 228719 HAS SOPS 228719 HAS SOUS 60216 HAS SOUPS 60216 WITH SCORE 60444.719
AT ITER 3147 NEW BEST:: SOT 517556 SOS 228716 HAS SOPS 228716 HAS SOUS 60213 HAS SOUPS 60213 WITH SCORE 60441.716
AT ITER 3152 NEW BEST:: SOT 517556 SOS 228716 HAS SOPS 228716 HAS SOUS 60209 HAS SOUPS 60209 WITH SCORE 60437.716
AT ITER 3181 NEW BEST:: SOT 517437 SOS 228013 HAS SOPS 228013 HAS SOUS 60200 HAS SOUPS 60200 WITH SCORE 60428.013
AT ITER 3198 NEW BEST:: SOT 516949 SOS 225573 HAS SOPS 225573 HAS SOUS 59956 HAS SOUPS 59956 WITH SCORE 60181.573
AT ITER 3220 NEW BEST:: SOT 516841 SOS 225033 HAS SOPS 225033 HAS SOUS 59902 HAS SOUPS 59902 WITH SCORE 60127.033
AT ITER 3247 NEW BEST:: SOT 516799 SOS 224823 HAS SOPS 224823 HAS SOUS 59881 HAS SOUPS 59881 WITH SCORE 60105.823
AT ITER 3257 NEW BEST:: SOT 516719 SOS 224423 HAS SOPS 224423 HAS SOUS 59841 HAS SOUPS 59841 WITH SCORE 60065.423
AT ITER 3266 NEW BEST:: SOT 516719 SOS 224368 HAS SOPS 224368 HAS SOUS 59784 HAS SOUPS 59784 WITH SCORE 60008.368
AT ITER 3268 NEW BEST:: SOT 516683 SOS 224196 HAS SOPS 224196 HAS SOUS 59645 HAS SOUPS 59645 WITH SCORE 59869.196
AT ITER 3270 NEW BEST:: SOT 516659 SOS 224076 HAS SOPS 224076 HAS SOUS 59631 HAS SOUPS 59631 WITH SCORE 59855.076
AT ITER 3282 NEW BEST:: SOT 516911 SOS 225989 HAS SOPS 225989 HAS SOUS 59517 HAS SOUPS 59517 WITH SCORE 59742.989
AT ITER 3301 NEW BEST:: SOT 516882 SOS 225919 HAS SOPS 225919 HAS SOUS 59492 HAS SOUPS 59492 WITH SCORE 59717.919
AT ITER 3306 NEW BEST:: SOT 516882 SOS 225891 HAS SOPS 225891 HAS SOUS 59464 HAS SOUPS 59464 WITH SCORE 59689.891
AT ITER 3324 NEW BEST:: SOT 516877 SOS 225909 HAS SOPS 225909 HAS SOUS 59433 HAS SOUPS 59433 WITH SCORE 59658.909
AT ITER 3340 NEW BEST:: SOT 516812 SOS 225844 HAS SOPS 225844 HAS SOUS 59382 HAS SOUPS 59382 WITH SCORE 59607.844
AT ITER 3341 NEW BEST:: SOT 516822 SOS 226014 HAS SOPS 226014 HAS SOUS 59352 HAS SOUPS 59352 WITH SCORE 59578.014
AT ITER 3376 NEW BEST:: SOT 516430 SOS 224239 HAS SOPS 224239 HAS SOUS 59341 HAS SOUPS 59341 WITH SCORE 59565.239
AT ITER 3381 NEW BEST:: SOT 516344 SOS 223809 HAS SOPS 223809 HAS SOUS 59298 HAS SOUPS 59298 WITH SCORE 59521.809
AT ITER 3404 NEW BEST:: SOT 516160 SOS 222889 HAS SOPS 222889 HAS SOUS 59206 HAS SOUPS 59206 WITH SCORE 59428.889
AT ITER 3437 NEW BEST:: SOT 516160 SOS 222881 HAS SOPS 222881 HAS SOUS 59198 HAS SOUPS 59198 WITH SCORE 59420.881
AT ITER 3443 NEW BEST:: SOT 516160 SOS 223355 HAS SOPS 223355 HAS SOUS 59146 HAS SOUPS 59146 WITH SCORE 59369.355
AT ITER 3445 NEW BEST:: SOT 516151 SOS 223337 HAS SOPS 223337 HAS SOUS 59137 HAS SOUPS 59137 WITH SCORE 59360.337
AT ITER 3458 NEW BEST:: SOT 516059 SOS 223300 HAS SOPS 223300 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59342.3
AT ITER 3462 NEW BEST:: SOT 515879 SOS 222490 HAS SOPS 222490 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59341.49
AT ITER 3477 NEW BEST:: SOT 515879 SOS 222464 HAS SOPS 222464 HAS SOUS 59093 HAS SOUPS 59093 WITH SCORE 59315.464
AT ITER 3526 NEW BEST:: SOT 515968 SOS 222938 HAS SOPS 222938 HAS SOUS 59065 HAS SOUPS 59065 WITH SCORE 59287.938
AT ITER 3558 NEW BEST:: SOT 515888 SOS 222538 HAS SOPS 222538 HAS SOUS 59025 HAS SOUPS 59025 WITH SCORE 59247.538
AT ITER 3573 NEW BEST:: SOT 515738 SOS 221266 HAS SOPS 221266 HAS SOUS 58987 HAS SOUPS 58987 WITH SCORE 59208.266
AT ITER 3594 NEW BEST:: SOT 515389 SOS 219442 HAS SOPS 219442 HAS SOUS 58920 HAS SOUPS 58920 WITH SCORE 59139.442
AT ITER 3610 NEW BEST:: SOT 515340 SOS 219344 HAS SOPS 219344 HAS SOUS 58861 HAS SOUPS 58861 WITH SCORE 59080.344
AT ITER 3635 NEW BEST:: SOT 515258 SOS 218724 HAS SOPS 218724 HAS SOUS 58855 HAS SOUPS 58855 WITH SCORE 59073.724
AT ITER 3637 NEW BEST:: SOT 515138 SOS 218178 HAS SOPS 218178 HAS SOUS 58849 HAS SOUPS 58849 WITH SCORE 59067.178
AT ITER 3699 NEW BEST:: SOT 515138 SOS 218147 HAS SOPS 218147 HAS SOUS 58844 HAS SOUPS 58844 WITH SCORE 59062.147
AT ITER 3737 NEW BEST:: SOT 515110 SOS 218271 HAS SOPS 218271 HAS SOUS 58786 HAS SOUPS 58786 WITH SCORE 59004.271
AT ITER 3747 NEW BEST:: SOT 515110 SOS 218270 HAS SOPS 218270 HAS SOUS 58785 HAS SOUPS 58785 WITH SCORE 59003.27
AT ITER 3755 NEW BEST:: SOT 515110 SOS 218226 HAS SOPS 218226 HAS SOUS 58735 HAS SOUPS 58735 WITH SCORE 58953.226
AT ITER 3764 NEW BEST:: SOT 514944 SOS 217067 HAS SOPS 217067 HAS SOUS 58673 HAS SOUPS 58673 WITH SCORE 58890.067
AT ITER 3794 NEW BEST:: SOT 514657 SOS 216493 HAS SOPS 216493 HAS SOUS 58502 HAS SOUPS 58502 WITH SCORE 58718.493
AT ITER 3813 NEW BEST:: SOT 514565 SOS 216021 HAS SOPS 216021 HAS SOUS 58454 HAS SOUPS 58454 WITH SCORE 58670.021
AT ITER 3819 NEW BEST:: SOT 514281 SOS 214601 HAS SOPS 214601 HAS SOUS 58308 HAS SOUPS 58308 WITH SCORE 58522.601
AT ITER 3826 NEW BEST:: SOT 513970 SOS 213043 HAS SOPS 213043 HAS SOUS 58153 HAS SOUPS 58153 WITH SCORE 58366.043
AT ITER 3830 NEW BEST:: SOT 513970 SOS 213012 HAS SOPS 213012 HAS SOUS 58122 HAS SOUPS 58122 WITH SCORE 58335.012
AT ITER 3848 NEW BEST:: SOT 513949 SOS 212970 HAS SOPS 212970 HAS SOUS 58101 HAS SOUPS 58101 WITH SCORE 58313.97
AT ITER 3875 NEW BEST:: SOT 513733 SOS 211890 HAS SOPS 211890 HAS SOUS 57993 HAS SOUPS 57993 WITH SCORE 58204.89
AT ITER 3898 NEW BEST:: SOT 513615 SOS 211176 HAS SOPS 211176 HAS SOUS 57957 HAS SOUPS 57957 WITH SCORE 58168.176
AT ITER 3914 NEW BEST:: SOT 513545 SOS 210826 HAS SOPS 210826 HAS SOUS 57922 HAS SOUPS 57922 WITH SCORE 58132.826
AT ITER 3929 NEW BEST:: SOT 513560 SOS 210876 HAS SOPS 210876 HAS SOUS 57897 HAS SOUPS 57897 WITH SCORE 58107.876
AT ITER 3938 NEW BEST:: SOT 513508 SOS 210772 HAS SOPS 210772 HAS SOUS 57878 HAS SOUPS 57878 WITH SCORE 58088.772
AT ITER 3956 NEW BEST:: SOT 513488 SOS 210612 HAS SOPS 210612 HAS SOUS 57858 HAS SOUPS 57858 WITH SCORE 58068.612
AT ITER 3978 NEW BEST:: SOT 513212 SOS 209192 HAS SOPS 209192 HAS SOUS 57615 HAS SOUPS 57615 WITH SCORE 57824.192
AT ITER 3987 NEW BEST:: SOT 513104 SOS 208572 HAS SOPS 208572 HAS SOUS 57614 HAS SOUPS 57614 WITH SCORE 57822.572
AT ITER 4045 NEW BEST:: SOT 513097 SOS 208558 HAS SOPS 208558 HAS SOUS 57600 HAS SOUPS 57600 WITH SCORE 57808.558
AT ITER 4122 NEW BEST:: SOT 513062 SOS 208488 HAS SOPS 208488 HAS SOUS 57565 HAS SOUPS 57565 WITH SCORE 57773.488
AT ITER 4138 NEW BEST:: SOT 513062 SOS 208481 HAS SOPS 208481 HAS SOUS 57558 HAS SOUPS 57558 WITH SCORE 57766.481
AT ITER 4141 NEW BEST:: SOT 513061 SOS 208590 HAS SOPS 208590 HAS SOUS 57521 HAS SOUPS 57521 WITH SCORE 57729.59
AT ITER 4145 NEW BEST:: SOT 513159 SOS 209036 HAS SOPS 209036 HAS SOUS 57519 HAS SOUPS 57519 WITH SCORE 57728.036
AT ITER 4160 NEW BEST:: SOT 512795 SOS 208508 HAS SOPS 208508 HAS SOUS 57183 HAS SOUPS 57183 WITH SCORE 57391.508
AT ITER 4161 NEW BEST:: SOT 512632 SOS 207570 HAS SOPS 207570 HAS SOUS 57122 HAS SOUPS 57122 WITH SCORE 57329.57
AT ITER 4166 NEW BEST:: SOT 512508 SOS 207005 HAS SOPS 207005 HAS SOUS 57113 HAS SOUPS 57113 WITH SCORE 57320.005
AT ITER 4271 NEW BEST:: SOT 512443 SOS 206994 HAS SOPS 206994 HAS SOUS 57113 HAS SOUPS 57113 WITH SCORE 57319.994
AT ITER 4308 NEW BEST:: SOT 511956 SOS 204033 HAS SOPS 204033 HAS SOUS 57068 HAS SOUPS 57068 WITH SCORE 57272.033
AT ITER 4364 NEW BEST:: SOT 511956 SOS 204053 HAS SOPS 204053 HAS SOUS 57060 HAS SOUPS 57060 WITH SCORE 57264.053
AT ITER 4405 NEW BEST:: SOT 511889 SOS 203553 HAS SOPS 203553 HAS SOUS 57054 HAS SOUPS 57054 WITH SCORE 57257.553
AT ITER 4413 NEW BEST:: SOT 511421 SOS 201213 HAS SOPS 201213 HAS SOUS 56820 HAS SOUPS 56820 WITH SCORE 57021.213
AT ITER 4461 NEW BEST:: SOT 511271 SOS 200532 HAS SOPS 200532 HAS SOUS 56814 HAS SOUPS 56814 WITH SCORE 57014.532
AT ITER 4488 NEW BEST:: SOT 511241 SOS 200397 HAS SOPS 200397 HAS SOUS 56814 HAS SOUPS 56814 WITH SCORE 57014.397
AT ITER 4492 NEW BEST:: SOT 511231 SOS 200347 HAS SOPS 200347 HAS SOUS 56809 HAS SOUPS 56809 WITH SCORE 57009.347
AT ITER 4525 NEW BEST:: SOT 511181 SOS 200031 HAS SOPS 200031 HAS SOUS 56795 HAS SOUPS 56795 WITH SCORE 56995.031
AT ITER 4540 NEW BEST:: SOT 511262 SOS 200920 HAS SOPS 200920 HAS SOUS 56705 HAS SOUPS 56705 WITH SCORE 56905.92
AT ITER 4549 NEW BEST:: SOT 511076 SOS 200238 HAS SOPS 200238 HAS SOUS 56581 HAS SOUPS 56581 WITH SCORE 56781.238
AT ITER 4578 NEW BEST:: SOT 511010 SOS 199908 HAS SOPS 199908 HAS SOUS 56548 HAS SOUPS 56548 WITH SCORE 56747.908
AT ITER 4582 NEW BEST:: SOT 510946 SOS 199601 HAS SOPS 199601 HAS SOUS 56529 HAS SOUPS 56529 WITH SCORE 56728.601
AT ITER 4594 NEW BEST:: SOT 510946 SOS 199571 HAS SOPS 199571 HAS SOUS 56499 HAS SOUPS 56499 WITH SCORE 56698.571
AT ITER 4633 NEW BEST:: SOT 510943 SOS 199547 HAS SOPS 199547 HAS SOUS 56499 HAS SOUPS 56499 WITH SCORE 56698.547
AT ITER 4645 NEW BEST:: SOT 510885 SOS 199257 HAS SOPS 199257 HAS SOUS 56470 HAS SOUPS 56470 WITH SCORE 56669.257
AT ITER 4647 NEW BEST:: SOT 510880 SOS 199261 HAS SOPS 199261 HAS SOUS 56431 HAS SOUPS 56431 WITH SCORE 56630.261
AT ITER 4652 NEW BEST:: SOT 510814 SOS 198805 HAS SOPS 198805 HAS SOUS 56417 HAS SOUPS 56417 WITH SCORE 56615.805
AT ITER 4656 NEW BEST:: SOT 510814 SOS 198805 HAS SOPS 198805 HAS SOUS 56329 HAS SOUPS 56329 WITH SCORE 56527.805
AT ITER 4718 NEW BEST:: SOT 510640 SOS 197805 HAS SOPS 197805 HAS SOUS 56287 HAS SOUPS 56287 WITH SCORE 56484.805
AT ITER 4773 NEW BEST:: SOT 510590 SOS 197685 HAS SOPS 197685 HAS SOUS 56217 HAS SOUPS 56217 WITH SCORE 56414.685
AT ITER 4795 NEW BEST:: SOT 510577 SOS 197672 HAS SOPS 197672 HAS SOUS 56204 HAS SOUPS 56204 WITH SCORE 56401.672
AT ITER 4800 NEW BEST:: SOT 510565 SOS 197600 HAS SOPS 197600 HAS SOUS 56200 HAS SOUPS 56200 WITH SCORE 56397.6
AT ITER 4804 NEW BEST:: SOT 510402 SOS 196647 HAS SOPS 196647 HAS SOUS 56173 HAS SOUPS 56173 WITH SCORE 56369.647
AT ITER 4841 NEW BEST:: SOT 510314 SOS 196559 HAS SOPS 196559 HAS SOUS 56147 HAS SOUPS 56147 WITH SCORE 56343.559
AT ITER 4847 NEW BEST:: SOT 510310 SOS 196527 HAS SOPS 196527 HAS SOUS 56147 HAS SOUPS 56147 WITH SCORE 56343.527
AT ITER 4909 NEW BEST:: SOT 509735 SOS 194087 HAS SOPS 194087 HAS SOUS 55850 HAS SOUPS 55850 WITH SCORE 56044.087
AT ITER 4934 NEW BEST:: SOT 509770 SOS 194517 HAS SOPS 194517 HAS SOUS 55825 HAS SOUPS 55825 WITH SCORE 56019.517
AT ITER 4945 NEW BEST:: SOT 509788 SOS 194527 HAS SOPS 194527 HAS SOUS 55817 HAS SOUPS 55817 WITH SCORE 56011.527
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-00 (EU( (! ((potential((tk(P122)>=1) & (tk(P128)>=1))))) , ( (AX( ((potential((tk(P256)>=1) & (tk(P263)>=1)))))) | (AX( ((potential((tk(P325)>=1) & (tk(P329)>=1)))))) ) ))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-01 (EG( (! ((potential((tk(P268)>=1) & (tk(P276)>=1)))))))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-02 (AF( ( ( ((potential((tk(P485)>=1) & (tk(P491)>=1)))) | (! ((potential((tk(P700)>=1) & (tk(P705)>=1))))) ) & (AU( ((potential((tk(P155)>=1) & (tk(P163)>=1)))) , ((potential((tk(P631)>=1) & (tk(P639)>=1)))) )) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-03 (! (! (AF( (! (! ((potential((tk(P588)>=1) & (tk(P589)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-04 (AF( ((potential((tk(P496)>=1) & (tk(P502)>=1))))))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-05 (! (EG( (EF( (! ((potential((tk(P519)>=1) & (tk(P521)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-06 ( (EF( ( (AX( ((potential((tk(P20)>=1) & (tk(P25)>=1)))))) & (AG( ((potential((tk(P406)>=1) & (tk(P409)>=1)))))) ))) & (! (AX( ( (! ((potential((tk(P566)>=1) & (tk(P571)>=1))))) & ((potential((tk(P63)>=1) & (tk(P65)>=1)))) )))) )
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-07 (AF( ( ( ( ( ((potential((tk(P281)>=1) & (tk(P290)>=1)))) & ((potential((tk(P202)>=1) & (tk(P207)>=1)))) ) | ( ((potential((tk(P689)>=1) & (tk(P694)>=1)))) | ((potential((tk(P133)>=1) & (tk(P136)>=1)))) ) ) & (EX( ((potential((tk(P690)>=1) & (tk(P691)>=1)))))) ) & (AU( ((potential((tk(P133)>=1) & (tk(P136)>=1)))) , ((potential((tk(P485)>=1) & (tk(P491)>=1)))) )) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-08 (EG( (! ( ( ( ((potential((tk(P213)>=1) & (tk(P215)>=1)))) | ((potential((tk(P711)>=1) & (tk(P718)>=1)))) ) | ((potential((tk(P31)>=1) & (tk(P37)>=1)))) ) | ((potential((tk(P530)>=1) & (tk(P531)>=1)))) ))))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-09 (! ( ( (! (AF( ((potential((tk(P519)>=1) & (tk(P524)>=1))))))) & (! (! (! ((potential((tk(P577)>=1) & (tk(P578)>=1))))))) ) | (EU( ( ((potential((tk(P19)>=1) & (tk(P26)>=1)))) & ((potential((tk(P496)>=1) & (tk(P501)>=1)))) ) , ( ((potential((tk(P722)>=1) & (tk(P725)>=1)))) & ((potential((tk(P75)>=1) & (tk(P76)>=1)))) ) )) ))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-10 (AF( (EU( ( ((potential((tk(P599)>=1) & (tk(P602)>=1)))) & ((potential((tk(P689)>=1) & (tk(P692)>=1)))) ) , ( ((potential((tk(P620)>=1) & (tk(P626)>=1)))) | ((potential((tk(P165)>=1) & (tk(P173)>=1)))) ) ))))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-11 ( ((potential((tk(P188)>=1) & (tk(P200)>=1)))) | ( (AF( ( ( ((potential((tk(P486)>=1) & (tk(P487)>=1)))) | ((potential((tk(P417)>=1) & (tk(P420)>=1)))) ) | ((potential((tk(P31)>=1) & (tk(P37)>=1)))) ))) | (! (! (AG( ((potential((tk(P121)>=1) & (tk(P129)>=1)))))))) ) )
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-12 (AF( ( (AG( ( ((potential((tk(P643)>=1) & (tk(P666)>=1)))) & ((potential((tk(P621)>=1) & (tk(P629)>=1)))) ))) | ( ( ( ((potential((tk(P690)>=1) & (tk(P693)>=1)))) & ((potential((tk(P668)>=1) & (tk(P676)>=1)))) ) | ( ((potential((tk(P110)>=1) & (tk(P115)>=1)))) | ((potential((tk(P632)>=1) & (tk(P634)>=1)))) ) ) | (AX( ((potential((tk(P202)>=1) & (tk(P203)>=1)))))) ) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-13 (AG( ( (EF( (! ((potential((tk(P282)>=1) & (tk(P286)>=1))))))) | (EF( ( ((potential((tk(P690)>=1) & (tk(P693)>=1)))) & ((potential((tk(P3)>=1) & (tk(P186)>=1)))) ))) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-14 (AG( ( (EX( (! ((potential((tk(P74)>=1) & (tk(P79)>=1))))))) | ( (AG( ((potential((tk(P519)>=1) & (tk(P525)>=1)))))) & (! ((potential((tk(P597)>=1))))) ) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A02-CTLFireability-15 (EU( (! ( (! ((potential((tk(P315)>=1) & (tk(P318)>=1))))) & ((potential((tk(P597)>=1)))) )) , (EG( ((potential((tk(P449)>=1) & (tk(P456)>=1)))))) ))
BK_STOP 1590476959396
--------------------
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: 460 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="ViralEpidemic-PT-S08D1C2A02"
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 ViralEpidemic-PT-S08D1C2A02, 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 r224-oct2-159033539000556"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S08D1C2A02.tgz
mv ViralEpidemic-PT-S08D1C2A02 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 '
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 ;