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.r207-tajo-159033470100840.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 ShieldRVs-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100840
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 3.0K May 14 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 19:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 19:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.9K May 13 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 13 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 09:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 122K May 12 20:42 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 1590450803152

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 010B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 403 places, 453 transitions, 1440 arcs.
AT ITER 0 NEW BEST:: SOT 95521 SOS 18093 HAS SOPS 18093 HAS SOUS 14765 HAS SOUPS 14765 WITH SCORE 14783.093
AT ITER 8 NEW BEST:: SOT 95521 SOS 18092 HAS SOPS 18092 HAS SOUS 14764 HAS SOUPS 14764 WITH SCORE 14782.092
AT ITER 19 NEW BEST:: SOT 95520 SOS 18084 HAS SOPS 18084 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14767.084
AT ITER 26 NEW BEST:: SOT 95520 SOS 18083 HAS SOPS 18083 HAS SOUS 14748 HAS SOUPS 14748 WITH SCORE 14766.083
AT ITER 34 NEW BEST:: SOT 95509 SOS 18058 HAS SOPS 18058 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14751.058
AT ITER 36 NEW BEST:: SOT 95517 SOS 18005 HAS SOPS 18005 HAS SOUS 14727 HAS SOUPS 14727 WITH SCORE 14745.005
AT ITER 38 NEW BEST:: SOT 95497 SOS 17825 HAS SOPS 17825 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14695.825
AT ITER 41 NEW BEST:: SOT 95494 SOS 17740 HAS SOPS 17740 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14688.74
AT ITER 106 NEW BEST:: SOT 95458 SOS 17704 HAS SOPS 17704 HAS SOUS 14635 HAS SOUPS 14635 WITH SCORE 14652.704
AT ITER 149 NEW BEST:: SOT 95458 SOS 17684 HAS SOPS 17684 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14642.684
AT ITER 196 NEW BEST:: SOT 95462 SOS 17678 HAS SOPS 17678 HAS SOUS 14619 HAS SOUPS 14619 WITH SCORE 14636.678
AT ITER 204 NEW BEST:: SOT 95446 SOS 17597 HAS SOPS 17597 HAS SOUS 14590 HAS SOUPS 14590 WITH SCORE 14607.597
AT ITER 228 NEW BEST:: SOT 95444 SOS 17595 HAS SOPS 17595 HAS SOUS 14588 HAS SOUPS 14588 WITH SCORE 14605.595
AT ITER 252 NEW BEST:: SOT 95444 SOS 17571 HAS SOPS 17571 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14581.571
AT ITER 256 NEW BEST:: SOT 95444 SOS 17570 HAS SOPS 17570 HAS SOUS 14563 HAS SOUPS 14563 WITH SCORE 14580.57
AT ITER 260 NEW BEST:: SOT 95452 SOS 17600 HAS SOPS 17600 HAS SOUS 14559 HAS SOUPS 14559 WITH SCORE 14576.6
AT ITER 307 NEW BEST:: SOT 95443 SOS 17578 HAS SOPS 17578 HAS SOUS 14549 HAS SOUPS 14549 WITH SCORE 14566.578
AT ITER 317 NEW BEST:: SOT 95443 SOS 17565 HAS SOPS 17565 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14553.565
AT ITER 414 NEW BEST:: SOT 95472 SOS 17622 HAS SOPS 17622 HAS SOUS 14517 HAS SOUPS 14517 WITH SCORE 14534.622
AT ITER 443 NEW BEST:: SOT 95472 SOS 17591 HAS SOPS 17591 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14533.591
AT ITER 460 NEW BEST:: SOT 95472 SOS 17553 HAS SOPS 17553 HAS SOUS 14497 HAS SOUPS 14497 WITH SCORE 14514.553
AT ITER 463 NEW BEST:: SOT 95438 SOS 17347 HAS SOPS 17347 HAS SOUS 14406 HAS SOUPS 14406 WITH SCORE 14423.347
AT ITER 478 NEW BEST:: SOT 95434 SOS 17343 HAS SOPS 17343 HAS SOUS 14402 HAS SOUPS 14402 WITH SCORE 14419.343
AT ITER 533 NEW BEST:: SOT 95433 SOS 17341 HAS SOPS 17341 HAS SOUS 14400 HAS SOUPS 14400 WITH SCORE 14417.341
AT ITER 536 NEW BEST:: SOT 95420 SOS 17227 HAS SOPS 17227 HAS SOUS 14359 HAS SOUPS 14359 WITH SCORE 14376.227
AT ITER 548 NEW BEST:: SOT 95408 SOS 17191 HAS SOPS 17191 HAS SOUS 14311 HAS SOUPS 14311 WITH SCORE 14328.191
AT ITER 556 NEW BEST:: SOT 95408 SOS 17187 HAS SOPS 17187 HAS SOUS 14311 HAS SOUPS 14311 WITH SCORE 14328.187
AT ITER 564 NEW BEST:: SOT 95406 SOS 17183 HAS SOPS 17183 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14294.183
AT ITER 566 NEW BEST:: SOT 95373 SOS 17146 HAS SOPS 17146 HAS SOUS 14240 HAS SOUPS 14240 WITH SCORE 14257.146
AT ITER 575 NEW BEST:: SOT 95373 SOS 17146 HAS SOPS 17146 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14253.146
AT ITER 580 NEW BEST:: SOT 95366 SOS 17158 HAS SOPS 17158 HAS SOUS 14234 HAS SOUPS 14234 WITH SCORE 14251.158
AT ITER 583 NEW BEST:: SOT 95365 SOS 17143 HAS SOPS 17143 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14249.143
AT ITER 623 NEW BEST:: SOT 95348 SOS 17126 HAS SOPS 17126 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14232.126
AT ITER 665 NEW BEST:: SOT 95348 SOS 17125 HAS SOPS 17125 HAS SOUS 14214 HAS SOUPS 14214 WITH SCORE 14231.125
AT ITER 789 NEW BEST:: SOT 95365 SOS 17157 HAS SOPS 17157 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14205.157
AT ITER 826 NEW BEST:: SOT 95346 SOS 17136 HAS SOPS 17136 HAS SOUS 14166 HAS SOUPS 14166 WITH SCORE 14183.136
AT ITER 862 NEW BEST:: SOT 95346 SOS 17135 HAS SOPS 17135 HAS SOUS 14165 HAS SOUPS 14165 WITH SCORE 14182.135
AT ITER 915 NEW BEST:: SOT 95338 SOS 17065 HAS SOPS 17065 HAS SOUS 14157 HAS SOUPS 14157 WITH SCORE 14174.065
AT ITER 933 NEW BEST:: SOT 95338 SOS 17060 HAS SOPS 17060 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14169.06
AT ITER 964 NEW BEST:: SOT 95337 SOS 17059 HAS SOPS 17059 HAS SOUS 14151 HAS SOUPS 14151 WITH SCORE 14168.059
AT ITER 981 NEW BEST:: SOT 95336 SOS 17055 HAS SOPS 17055 HAS SOUS 14148 HAS SOUPS 14148 WITH SCORE 14165.055
AT ITER 987 NEW BEST:: SOT 95324 SOS 17054 HAS SOPS 17054 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14164.054
AT ITER 992 NEW BEST:: SOT 95324 SOS 17045 HAS SOPS 17045 HAS SOUS 14144 HAS SOUPS 14144 WITH SCORE 14161.045
AT ITER 1131 NEW BEST:: SOT 95261 SOS 17029 HAS SOPS 17029 HAS SOUS 14106 HAS SOUPS 14106 WITH SCORE 14123.029
AT ITER 1167 NEW BEST:: SOT 95228 SOS 17007 HAS SOPS 17007 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14090.007
AT ITER 1174 NEW BEST:: SOT 95228 SOS 16981 HAS SOPS 16981 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14086.981
AT ITER 1177 NEW BEST:: SOT 95228 SOS 16966 HAS SOPS 16966 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14085.966
AT ITER 1183 NEW BEST:: SOT 95223 SOS 16961 HAS SOPS 16961 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14080.961
AT ITER 1188 NEW BEST:: SOT 95181 SOS 16923 HAS SOPS 16923 HAS SOUS 14026 HAS SOUPS 14026 WITH SCORE 14042.923
AT ITER 1254 NEW BEST:: SOT 95181 SOS 16912 HAS SOPS 16912 HAS SOUS 14026 HAS SOUPS 14026 WITH SCORE 14042.912
AT ITER 1270 NEW BEST:: SOT 95179 SOS 16902 HAS SOPS 16902 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14036.902
AT ITER 1341 NEW BEST:: SOT 95138 SOS 16897 HAS SOPS 16897 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13975.897
AT ITER 1364 NEW BEST:: SOT 95112 SOS 16884 HAS SOPS 16884 HAS SOUS 13933 HAS SOUPS 13933 WITH SCORE 13949.884
AT ITER 1484 NEW BEST:: SOT 95115 SOS 16880 HAS SOPS 16880 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13945.88
AT ITER 1502 NEW BEST:: SOT 95115 SOS 16876 HAS SOPS 16876 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13941.876
AT ITER 1507 NEW BEST:: SOT 95096 SOS 16865 HAS SOPS 16865 HAS SOUS 13904 HAS SOUPS 13904 WITH SCORE 13920.865
AT ITER 1543 NEW BEST:: SOT 95085 SOS 16854 HAS SOPS 16854 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13909.854
AT ITER 1568 NEW BEST:: SOT 95067 SOS 16854 HAS SOPS 16854 HAS SOUS 13867 HAS SOUPS 13867 WITH SCORE 13883.854
AT ITER 1584 NEW BEST:: SOT 95067 SOS 16854 HAS SOPS 16854 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13881.854
AT ITER 1586 NEW BEST:: SOT 95026 SOS 16884 HAS SOPS 16884 HAS SOUS 13847 HAS SOUPS 13847 WITH SCORE 13863.884
AT ITER 1653 NEW BEST:: SOT 95002 SOS 16860 HAS SOPS 16860 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13839.86
AT ITER 1666 NEW BEST:: SOT 94990 SOS 16860 HAS SOPS 16860 HAS SOUS 13811 HAS SOUPS 13811 WITH SCORE 13827.86
AT ITER 1715 NEW BEST:: SOT 94971 SOS 16850 HAS SOPS 16850 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13808.85
AT ITER 1722 NEW BEST:: SOT 94970 SOS 16846 HAS SOPS 16846 HAS SOUS 13789 HAS SOUPS 13789 WITH SCORE 13805.846
AT ITER 1730 NEW BEST:: SOT 94942 SOS 16839 HAS SOPS 16839 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13787.839
AT ITER 1733 NEW BEST:: SOT 94942 SOS 16834 HAS SOPS 16834 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13782.834
AT ITER 1754 NEW BEST:: SOT 94939 SOS 16804 HAS SOPS 16804 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13765.804
AT ITER 1792 NEW BEST:: SOT 94939 SOS 16773 HAS SOPS 16773 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13765.773
AT ITER 1863 NEW BEST:: SOT 94939 SOS 16770 HAS SOPS 16770 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13765.77
AT ITER 1865 NEW BEST:: SOT 94913 SOS 16744 HAS SOPS 16744 HAS SOUS 13723 HAS SOUPS 13723 WITH SCORE 13739.744
AT ITER 1937 NEW BEST:: SOT 94913 SOS 16742 HAS SOPS 16742 HAS SOUS 13721 HAS SOUPS 13721 WITH SCORE 13737.742
AT ITER 1957 NEW BEST:: SOT 94913 SOS 16736 HAS SOPS 16736 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13731.736
AT ITER 1961 NEW BEST:: SOT 94910 SOS 16727 HAS SOPS 16727 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13725.727
AT ITER 1974 NEW BEST:: SOT 94898 SOS 16703 HAS SOPS 16703 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13707.703
AT ITER 2031 NEW BEST:: SOT 94908 SOS 16693 HAS SOPS 16693 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13707.693
AT ITER 2049 NEW BEST:: SOT 94870 SOS 16690 HAS SOPS 16690 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13610.69
AT ITER 2066 NEW BEST:: SOT 94868 SOS 16673 HAS SOPS 16673 HAS SOUS 13579 HAS SOUPS 13579 WITH SCORE 13595.673
AT ITER 2124 NEW BEST:: SOT 94865 SOS 16665 HAS SOPS 16665 HAS SOUS 13576 HAS SOUPS 13576 WITH SCORE 13592.665
AT ITER 2166 NEW BEST:: SOT 94865 SOS 16653 HAS SOPS 16653 HAS SOUS 13564 HAS SOUPS 13564 WITH SCORE 13580.653
AT ITER 2191 NEW BEST:: SOT 94858 SOS 16635 HAS SOPS 16635 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13572.635
AT ITER 2206 NEW BEST:: SOT 94846 SOS 16598 HAS SOPS 16598 HAS SOUS 13531 HAS SOUPS 13531 WITH SCORE 13547.598
AT ITER 2300 NEW BEST:: SOT 94844 SOS 16596 HAS SOPS 16596 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13545.596
AT ITER 2321 NEW BEST:: SOT 94844 SOS 16590 HAS SOPS 16590 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13545.59
AT ITER 2335 NEW BEST:: SOT 94844 SOS 16590 HAS SOPS 16590 HAS SOUS 13525 HAS SOUPS 13525 WITH SCORE 13541.59
AT ITER 2355 NEW BEST:: SOT 94844 SOS 16586 HAS SOPS 16586 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13537.586
AT ITER 2362 NEW BEST:: SOT 94829 SOS 16587 HAS SOPS 16587 HAS SOUS 13512 HAS SOUPS 13512 WITH SCORE 13528.587
AT ITER 2392 NEW BEST:: SOT 94818 SOS 16523 HAS SOPS 16523 HAS SOUS 13506 HAS SOUPS 13506 WITH SCORE 13522.523
AT ITER 2403 NEW BEST:: SOT 94818 SOS 16523 HAS SOPS 16523 HAS SOUS 13490 HAS SOUPS 13490 WITH SCORE 13506.523
AT ITER 2404 NEW BEST:: SOT 94818 SOS 16524 HAS SOPS 16524 HAS SOUS 13488 HAS SOUPS 13488 WITH SCORE 13504.524
AT ITER 2481 NEW BEST:: SOT 94802 SOS 16518 HAS SOPS 16518 HAS SOUS 13482 HAS SOUPS 13482 WITH SCORE 13498.518
AT ITER 2516 NEW BEST:: SOT 94808 SOS 16512 HAS SOPS 16512 HAS SOUS 13456 HAS SOUPS 13456 WITH SCORE 13472.512
AT ITER 2534 NEW BEST:: SOT 94798 SOS 16507 HAS SOPS 16507 HAS SOUS 13446 HAS SOUPS 13446 WITH SCORE 13462.507
AT ITER 2541 NEW BEST:: SOT 94793 SOS 16496 HAS SOPS 16496 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13441.496
AT ITER 2542 NEW BEST:: SOT 94788 SOS 16486 HAS SOPS 16486 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13431.486
AT ITER 2553 NEW BEST:: SOT 94788 SOS 16456 HAS SOPS 16456 HAS SOUS 13385 HAS SOUPS 13385 WITH SCORE 13401.456
AT ITER 2562 NEW BEST:: SOT 94785 SOS 16450 HAS SOPS 16450 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13395.45
AT ITER 2567 NEW BEST:: SOT 94774 SOS 16428 HAS SOPS 16428 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13373.428
AT ITER 2570 NEW BEST:: SOT 94776 SOS 16430 HAS SOPS 16430 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13361.43
AT ITER 2608 NEW BEST:: SOT 94765 SOS 16408 HAS SOPS 16408 HAS SOUS 13334 HAS SOUPS 13334 WITH SCORE 13350.408
AT ITER 2621 NEW BEST:: SOT 94765 SOS 16408 HAS SOPS 16408 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13347.408
AT ITER 2629 NEW BEST:: SOT 94764 SOS 16407 HAS SOPS 16407 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13346.407
AT ITER 2665 NEW BEST:: SOT 94744 SOS 16389 HAS SOPS 16389 HAS SOUS 13290 HAS SOUPS 13290 WITH SCORE 13306.389
AT ITER 2670 NEW BEST:: SOT 94741 SOS 16383 HAS SOPS 16383 HAS SOUS 13284 HAS SOUPS 13284 WITH SCORE 13300.383
AT ITER 2691 NEW BEST:: SOT 94738 SOS 16358 HAS SOPS 16358 HAS SOUS 13281 HAS SOUPS 13281 WITH SCORE 13297.358
AT ITER 2757 NEW BEST:: SOT 94715 SOS 16333 HAS SOPS 16333 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13272.333
AT ITER 2762 NEW BEST:: SOT 94689 SOS 16319 HAS SOPS 16319 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13258.319
AT ITER 2802 NEW BEST:: SOT 94681 SOS 16311 HAS SOPS 16311 HAS SOUS 13234 HAS SOUPS 13234 WITH SCORE 13250.311
AT ITER 2815 NEW BEST:: SOT 94681 SOS 16302 HAS SOPS 16302 HAS SOUS 13225 HAS SOUPS 13225 WITH SCORE 13241.302
AT ITER 2841 NEW BEST:: SOT 94588 SOS 16116 HAS SOPS 16116 HAS SOUS 13111 HAS SOUPS 13111 WITH SCORE 13127.116
AT ITER 2909 NEW BEST:: SOT 94609 SOS 16047 HAS SOPS 16047 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13123.047
AT ITER 3017 NEW BEST:: SOT 94555 SOS 16125 HAS SOPS 16125 HAS SOUS 13073 HAS SOUPS 13073 WITH SCORE 13089.125
AT ITER 3071 NEW BEST:: SOT 94544 SOS 16114 HAS SOPS 16114 HAS SOUS 13062 HAS SOUPS 13062 WITH SCORE 13078.114
AT ITER 3149 NEW BEST:: SOT 94528 SOS 16082 HAS SOPS 16082 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13048.082
AT ITER 3220 NEW BEST:: SOT 94533 SOS 16074 HAS SOPS 16074 HAS SOUS 13024 HAS SOUPS 13024 WITH SCORE 13040.074
AT ITER 3320 NEW BEST:: SOT 94531 SOS 16071 HAS SOPS 16071 HAS SOUS 13002 HAS SOUPS 13002 WITH SCORE 13018.071
AT ITER 3338 NEW BEST:: SOT 94491 SOS 15892 HAS SOPS 15892 HAS SOUS 12956 HAS SOUPS 12956 WITH SCORE 12971.892
AT ITER 3368 NEW BEST:: SOT 94471 SOS 15706 HAS SOPS 15706 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12954.706
AT ITER 3410 NEW BEST:: SOT 94469 SOS 15698 HAS SOPS 15698 HAS SOUS 12931 HAS SOUPS 12931 WITH SCORE 12946.698
AT ITER 3486 NEW BEST:: SOT 94469 SOS 15680 HAS SOPS 15680 HAS SOUS 12913 HAS SOUPS 12913 WITH SCORE 12928.68
AT ITER 3536 NEW BEST:: SOT 94471 SOS 15682 HAS SOPS 15682 HAS SOUS 12902 HAS SOUPS 12902 WITH SCORE 12917.682
AT ITER 3558 NEW BEST:: SOT 94470 SOS 15681 HAS SOPS 15681 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12916.681
AT ITER 3588 NEW BEST:: SOT 94464 SOS 15621 HAS SOPS 15621 HAS SOUS 12889 HAS SOUPS 12889 WITH SCORE 12904.621
AT ITER 3598 NEW BEST:: SOT 94460 SOS 15619 HAS SOPS 15619 HAS SOUS 12877 HAS SOUPS 12877 WITH SCORE 12892.619
AT ITER 3603 NEW BEST:: SOT 94452 SOS 15605 HAS SOPS 15605 HAS SOUS 12867 HAS SOUPS 12867 WITH SCORE 12882.605
AT ITER 3615 NEW BEST:: SOT 94442 SOS 15594 HAS SOPS 15594 HAS SOUS 12856 HAS SOUPS 12856 WITH SCORE 12871.594
AT ITER 3619 NEW BEST:: SOT 94421 SOS 15572 HAS SOPS 15572 HAS SOUS 12841 HAS SOUPS 12841 WITH SCORE 12856.572
AT ITER 3643 NEW BEST:: SOT 94421 SOS 15554 HAS SOPS 15554 HAS SOUS 12835 HAS SOUPS 12835 WITH SCORE 12850.554
AT ITER 3661 NEW BEST:: SOT 94420 SOS 15603 HAS SOPS 15603 HAS SOUS 12834 HAS SOUPS 12834 WITH SCORE 12849.603
AT ITER 3712 NEW BEST:: SOT 94418 SOS 15601 HAS SOPS 15601 HAS SOUS 12832 HAS SOUPS 12832 WITH SCORE 12847.601
AT ITER 3746 NEW BEST:: SOT 94418 SOS 15584 HAS SOPS 15584 HAS SOUS 12815 HAS SOUPS 12815 WITH SCORE 12830.584
AT ITER 3755 NEW BEST:: SOT 94416 SOS 15582 HAS SOPS 15582 HAS SOUS 12811 HAS SOUPS 12811 WITH SCORE 12826.582
AT ITER 3854 NEW BEST:: SOT 94415 SOS 15581 HAS SOPS 15581 HAS SOUS 12811 HAS SOUPS 12811 WITH SCORE 12826.581
AT ITER 3858 NEW BEST:: SOT 94430 SOS 15570 HAS SOPS 15570 HAS SOUS 12801 HAS SOUPS 12801 WITH SCORE 12816.57
AT ITER 3898 NEW BEST:: SOT 94430 SOS 15544 HAS SOPS 15544 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12803.544
AT ITER 3916 NEW BEST:: SOT 94430 SOS 15542 HAS SOPS 15542 HAS SOUS 12786 HAS SOUPS 12786 WITH SCORE 12801.542
AT ITER 3985 NEW BEST:: SOT 94412 SOS 15524 HAS SOPS 15524 HAS SOUS 12768 HAS SOUPS 12768 WITH SCORE 12783.524
AT ITER 4009 NEW BEST:: SOT 94410 SOS 15522 HAS SOPS 15522 HAS SOUS 12766 HAS SOUPS 12766 WITH SCORE 12781.522
AT ITER 4092 NEW BEST:: SOT 94381 SOS 15374 HAS SOPS 15374 HAS SOUS 12708 HAS SOUPS 12708 WITH SCORE 12723.374
AT ITER 4164 NEW BEST:: SOT 94381 SOS 15362 HAS SOPS 15362 HAS SOUS 12702 HAS SOUPS 12702 WITH SCORE 12717.362
AT ITER 4275 NEW BEST:: SOT 94379 SOS 15358 HAS SOPS 15358 HAS SOUS 12699 HAS SOUPS 12699 WITH SCORE 12714.358
AT ITER 4424 NEW BEST:: SOT 94374 SOS 15345 HAS SOPS 15345 HAS SOUS 12691 HAS SOUPS 12691 WITH SCORE 12706.345
AT ITER 4430 NEW BEST:: SOT 94374 SOS 15335 HAS SOPS 15335 HAS SOUS 12686 HAS SOUPS 12686 WITH SCORE 12701.335
AT ITER 4453 NEW BEST:: SOT 94369 SOS 15330 HAS SOPS 15330 HAS SOUS 12677 HAS SOUPS 12677 WITH SCORE 12692.33
AT ITER 4558 NEW BEST:: SOT 94350 SOS 15291 HAS SOPS 15291 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12673.291
AT ITER 4564 NEW BEST:: SOT 94232 SOS 15150 HAS SOPS 15150 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12553.15
AT ITER 4590 NEW BEST:: SOT 94226 SOS 15138 HAS SOPS 15138 HAS SOUS 12526 HAS SOUPS 12526 WITH SCORE 12541.138
AT ITER 4643 NEW BEST:: SOT 94219 SOS 15128 HAS SOPS 15128 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12536.128
AT ITER 4686 NEW BEST:: SOT 94201 SOS 15040 HAS SOPS 15040 HAS SOUS 12449 HAS SOUPS 12449 WITH SCORE 12464.04
AT ITER 4761 NEW BEST:: SOT 94195 SOS 15044 HAS SOPS 15044 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12460.044
AT ITER 4773 NEW BEST:: SOT 94189 SOS 15038 HAS SOPS 15038 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12454.038
AT ITER 4780 NEW BEST:: SOT 94188 SOS 15037 HAS SOPS 15037 HAS SOUS 12438 HAS SOUPS 12438 WITH SCORE 12453.037
AT ITER 4789 NEW BEST:: SOT 94180 SOS 14997 HAS SOPS 14997 HAS SOUS 12432 HAS SOUPS 12432 WITH SCORE 12446.997
AT ITER 4797 NEW BEST:: SOT 94183 SOS 14994 HAS SOPS 14994 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12443.994
AT ITER 4820 NEW BEST:: SOT 94179 SOS 14995 HAS SOPS 14995 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12439.995
AT ITER 4892 NEW BEST:: SOT 94179 SOS 14995 HAS SOPS 14995 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12427.995
AT ITER 4940 NEW BEST:: SOT 94171 SOS 14977 HAS SOPS 14977 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12409.977
AT ITER 4947 NEW BEST:: SOT 94141 SOS 14989 HAS SOPS 14989 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12400.989
AT ITER 4951 NEW BEST:: SOT 94136 SOS 14984 HAS SOPS 14984 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12395.984
AT ITER 4975 NEW BEST:: SOT 94123 SOS 14971 HAS SOPS 14971 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12393.971
AT ITER 4993 NEW BEST:: SOT 94123 SOS 14968 HAS SOPS 14968 HAS SOUS 12376 HAS SOUPS 12376 WITH SCORE 12390.968
AT ITER 4995 NEW BEST:: SOT 94108 SOS 14958 HAS SOPS 14958 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12380.958
AT ITER 5017 NEW BEST:: SOT 94108 SOS 14955 HAS SOPS 14955 HAS SOUS 12363 HAS SOUPS 12363 WITH SCORE 12377.955
AT ITER 5039 NEW BEST:: SOT 94105 SOS 14952 HAS SOPS 14952 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12374.952
AT ITER 5082 NEW BEST:: SOT 94102 SOS 14951 HAS SOPS 14951 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12370.951
AT ITER 5121 NEW BEST:: SOT 94098 SOS 14965 HAS SOPS 14965 HAS SOUS 12350 HAS SOUPS 12350 WITH SCORE 12364.965
AT ITER 5137 NEW BEST:: SOT 94092 SOS 14963 HAS SOPS 14963 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12360.963
AT ITER 5272 NEW BEST:: SOT 94093 SOS 14960 HAS SOPS 14960 HAS SOUS 12343 HAS SOUPS 12343 WITH SCORE 12357.96
AT ITER 5277 NEW BEST:: SOT 94093 SOS 14959 HAS SOPS 14959 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12356.959
AT ITER 5282 NEW BEST:: SOT 94091 SOS 14944 HAS SOPS 14944 HAS SOUS 12329 HAS SOUPS 12329 WITH SCORE 12343.944
AT ITER 5298 NEW BEST:: SOT 94072 SOS 14945 HAS SOPS 14945 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12324.945
AT ITER 5381 NEW BEST:: SOT 94071 SOS 14944 HAS SOPS 14944 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12323.944
AT ITER 5390 NEW BEST:: SOT 94071 SOS 14943 HAS SOPS 14943 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12322.943
AT ITER 5416 NEW BEST:: SOT 94068 SOS 14937 HAS SOPS 14937 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12316.937
AT ITER 5426 NEW BEST:: SOT 94053 SOS 14907 HAS SOPS 14907 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12297.907
AT ITER 5435 NEW BEST:: SOT 94053 SOS 14899 HAS SOPS 14899 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12293.899
AT ITER 5491 NEW BEST:: SOT 94046 SOS 14892 HAS SOPS 14892 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12286.892
AT ITER 5513 NEW BEST:: SOT 94046 SOS 14875 HAS SOPS 14875 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12282.875
AT ITER 5518 NEW BEST:: SOT 94039 SOS 14859 HAS SOPS 14859 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12274.859
AT ITER 5526 NEW BEST:: SOT 93974 SOS 14849 HAS SOPS 14849 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12204.849
AT ITER 5576 NEW BEST:: SOT 93966 SOS 14841 HAS SOPS 14841 HAS SOUS 12182 HAS SOUPS 12182 WITH SCORE 12196.841
AT ITER 5657 NEW BEST:: SOT 93966 SOS 14841 HAS SOPS 14841 HAS SOUS 12179 HAS SOUPS 12179 WITH SCORE 12193.841
AT ITER 5687 NEW BEST:: SOT 93966 SOS 14840 HAS SOPS 14840 HAS SOUS 12178 HAS SOUPS 12178 WITH SCORE 12192.84
AT ITER 5778 NEW BEST:: SOT 93966 SOS 14845 HAS SOPS 14845 HAS SOUS 12173 HAS SOUPS 12173 WITH SCORE 12187.845
AT ITER 5782 NEW BEST:: SOT 93963 SOS 14847 HAS SOPS 14847 HAS SOUS 12171 HAS SOUPS 12171 WITH SCORE 12185.847
AT ITER 5785 NEW BEST:: SOT 93944 SOS 14744 HAS SOPS 14744 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12167.744
AT ITER 5831 NEW BEST:: SOT 93934 SOS 14748 HAS SOPS 14748 HAS SOUS 12148 HAS SOUPS 12148 WITH SCORE 12162.748
AT ITER 5838 NEW BEST:: SOT 93934 SOS 14744 HAS SOPS 14744 HAS SOUS 12144 HAS SOUPS 12144 WITH SCORE 12158.744
AT ITER 5875 NEW BEST:: SOT 93933 SOS 14742 HAS SOPS 14742 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12157.742
AT ITER 5932 NEW BEST:: SOT 93933 SOS 14736 HAS SOPS 14736 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12154.736
AT ITER 6017 NEW BEST:: SOT 93933 SOS 14736 HAS SOPS 14736 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12153.736
AT ITER 6093 NEW BEST:: SOT 93929 SOS 14736 HAS SOPS 14736 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12149.736
AT ITER 6185 NEW BEST:: SOT 93931 SOS 14746 HAS SOPS 14746 HAS SOUS 12130 HAS SOUPS 12130 WITH SCORE 12144.746
AT ITER 6192 NEW BEST:: SOT 93928 SOS 14742 HAS SOPS 14742 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12141.742
AT ITER 6221 NEW BEST:: SOT 93928 SOS 14729 HAS SOPS 14729 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12128.729
AT ITER 6240 NEW BEST:: SOT 93916 SOS 14679 HAS SOPS 14679 HAS SOUS 12091 HAS SOUPS 12091 WITH SCORE 12105.679
AT ITER 6265 NEW BEST:: SOT 93915 SOS 14679 HAS SOPS 14679 HAS SOUS 12089 HAS SOUPS 12089 WITH SCORE 12103.679
AT ITER 6300 NEW BEST:: SOT 93915 SOS 14681 HAS SOPS 14681 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12088.681
AT ITER 6350 NEW BEST:: SOT 93872 SOS 14649 HAS SOPS 14649 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12056.649
AT ITER 6411 NEW BEST:: SOT 93871 SOS 14647 HAS SOPS 14647 HAS SOUS 12041 HAS SOUPS 12041 WITH SCORE 12055.647
AT ITER 6509 NEW BEST:: SOT 93870 SOS 14643 HAS SOPS 14643 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12053.643
AT ITER 6670 NEW BEST:: SOT 93858 SOS 14631 HAS SOPS 14631 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12041.631
AT ITER 6692 NEW BEST:: SOT 93842 SOS 14623 HAS SOPS 14623 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12033.623
AT ITER 6693 NEW BEST:: SOT 93843 SOS 14622 HAS SOPS 14622 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12032.622
AT ITER 6697 NEW BEST:: SOT 93843 SOS 14621 HAS SOPS 14621 HAS SOUS 12017 HAS SOUPS 12017 WITH SCORE 12031.621
AT ITER 6711 NEW BEST:: SOT 93843 SOS 14605 HAS SOPS 14605 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12015.605
AT ITER 6796 NEW BEST:: SOT 93841 SOS 14585 HAS SOPS 14585 HAS SOUS 11986 HAS SOUPS 11986 WITH SCORE 12000.585
AT ITER 6822 NEW BEST:: SOT 93834 SOS 14571 HAS SOPS 14571 HAS SOUS 11979 HAS SOUPS 11979 WITH SCORE 11993.571
AT ITER 6884 NEW BEST:: SOT 93805 SOS 14557 HAS SOPS 14557 HAS SOUS 11950 HAS SOUPS 11950 WITH SCORE 11964.557
AT ITER 6945 NEW BEST:: SOT 93789 SOS 14539 HAS SOPS 14539 HAS SOUS 11933 HAS SOUPS 11933 WITH SCORE 11947.539
AT ITER 6984 NEW BEST:: SOT 93783 SOS 14509 HAS SOPS 14509 HAS SOUS 11933 HAS SOUPS 11933 WITH SCORE 11947.509
AT ITER 7003 NEW BEST:: SOT 93783 SOS 14509 HAS SOPS 14509 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11924.509
AT ITER 7065 NEW BEST:: SOT 93783 SOS 14506 HAS SOPS 14506 HAS SOUS 11907 HAS SOUPS 11907 WITH SCORE 11921.506
AT ITER 7107 NEW BEST:: SOT 93785 SOS 14514 HAS SOPS 14514 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11899.514
AT ITER 7161 NEW BEST:: SOT 93805 SOS 14505 HAS SOPS 14505 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11870.505
AT ITER 7204 NEW BEST:: SOT 93805 SOS 14504 HAS SOPS 14504 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11869.504
AT ITER 7218 NEW BEST:: SOT 93822 SOS 14515 HAS SOPS 14515 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11865.515
AT ITER 7306 NEW BEST:: SOT 93824 SOS 14451 HAS SOPS 14451 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11859.451
AT ITER 7383 NEW BEST:: SOT 93822 SOS 14448 HAS SOPS 14448 HAS SOUS 11833 HAS SOUPS 11833 WITH SCORE 11847.448
AT ITER 7432 NEW BEST:: SOT 93822 SOS 14445 HAS SOPS 14445 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11844.445
AT ITER 7501 NEW BEST:: SOT 93810 SOS 14425 HAS SOPS 14425 HAS SOUS 11802 HAS SOUPS 11802 WITH SCORE 11816.425
AT ITER 7524 NEW BEST:: SOT 93808 SOS 14422 HAS SOPS 14422 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11813.422
AT ITER 7572 NEW BEST:: SOT 93776 SOS 14390 HAS SOPS 14390 HAS SOUS 11767 HAS SOUPS 11767 WITH SCORE 11781.39
AT ITER 7619 NEW BEST:: SOT 93776 SOS 14386 HAS SOPS 14386 HAS SOUS 11763 HAS SOUPS 11763 WITH SCORE 11777.386
AT ITER 7661 NEW BEST:: SOT 93723 SOS 14351 HAS SOPS 14351 HAS SOUS 11728 HAS SOUPS 11728 WITH SCORE 11742.351
AT ITER 7737 NEW BEST:: SOT 93723 SOS 14300 HAS SOPS 14300 HAS SOUS 11728 HAS SOUPS 11728 WITH SCORE 11742.3
AT ITER 7770 NEW BEST:: SOT 93701 SOS 14256 HAS SOPS 14256 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11689.256
AT ITER 7856 NEW BEST:: SOT 93633 SOS 14150 HAS SOPS 14150 HAS SOUS 11607 HAS SOUPS 11607 WITH SCORE 11621.15
AT ITER 7877 NEW BEST:: SOT 93624 SOS 14108 HAS SOPS 14108 HAS SOUS 11601 HAS SOUPS 11601 WITH SCORE 11615.108
AT ITER 7900 NEW BEST:: SOT 93624 SOS 14100 HAS SOPS 14100 HAS SOUS 11601 HAS SOUPS 11601 WITH SCORE 11615.1
AT ITER 7902 NEW BEST:: SOT 93631 SOS 14125 HAS SOPS 14125 HAS SOUS 11597 HAS SOUPS 11597 WITH SCORE 11611.125
AT ITER 8029 NEW BEST:: SOT 93629 SOS 14109 HAS SOPS 14109 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11606.109
AT ITER 8095 NEW BEST:: SOT 93629 SOS 14093 HAS SOPS 14093 HAS SOUS 11584 HAS SOUPS 11584 WITH SCORE 11598.093
AT ITER 8096 NEW BEST:: SOT 93622 SOS 14080 HAS SOPS 14080 HAS SOUS 11577 HAS SOUPS 11577 WITH SCORE 11591.08
AT ITER 8137 NEW BEST:: SOT 93616 SOS 14050 HAS SOPS 14050 HAS SOUS 11565 HAS SOUPS 11565 WITH SCORE 11579.05
AT ITER 8152 NEW BEST:: SOT 93614 SOS 14046 HAS SOPS 14046 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11577.046
AT ITER 8204 NEW BEST:: SOT 93600 SOS 14032 HAS SOPS 14032 HAS SOUS 11549 HAS SOUPS 11549 WITH SCORE 11563.032
AT ITER 8238 NEW BEST:: SOT 93587 SOS 13993 HAS SOPS 13993 HAS SOUS 11523 HAS SOUPS 11523 WITH SCORE 11536.993
AT ITER 8254 NEW BEST:: SOT 93621 SOS 14019 HAS SOPS 14019 HAS SOUS 11472 HAS SOUPS 11472 WITH SCORE 11486.019
AT ITER 8334 NEW BEST:: SOT 93616 SOS 14015 HAS SOPS 14015 HAS SOUS 11468 HAS SOUPS 11468 WITH SCORE 11482.015
AT ITER 8347 NEW BEST:: SOT 93601 SOS 14009 HAS SOPS 14009 HAS SOUS 11462 HAS SOUPS 11462 WITH SCORE 11476.009
AT ITER 8364 NEW BEST:: SOT 93587 SOS 14014 HAS SOPS 14014 HAS SOUS 11448 HAS SOUPS 11448 WITH SCORE 11462.014
AT ITER 8576 NEW BEST:: SOT 93572 SOS 14043 HAS SOPS 14043 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11459.043
AT ITER 8621 NEW BEST:: SOT 93572 SOS 14042 HAS SOPS 14042 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11458.042
AT ITER 8677 NEW BEST:: SOT 93566 SOS 14075 HAS SOPS 14075 HAS SOUS 11443 HAS SOUPS 11443 WITH SCORE 11457.075
AT ITER 8750 NEW BEST:: SOT 93554 SOS 14044 HAS SOPS 14044 HAS SOUS 11431 HAS SOUPS 11431 WITH SCORE 11445.044
AT ITER 8834 NEW BEST:: SOT 93556 SOS 14037 HAS SOPS 14037 HAS SOUS 11424 HAS SOUPS 11424 WITH SCORE 11438.037
AT ITER 8850 NEW BEST:: SOT 93554 SOS 14037 HAS SOPS 14037 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11434.037
AT ITER 8889 NEW BEST:: SOT 93551 SOS 14017 HAS SOPS 14017 HAS SOUS 11408 HAS SOUPS 11408 WITH SCORE 11422.017
AT ITER 8917 NEW BEST:: SOT 93553 SOS 14018 HAS SOPS 14018 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11409.018
AT ITER 8992 NEW BEST:: SOT 93552 SOS 14024 HAS SOPS 14024 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11408.024
AT ITER 9027 NEW BEST:: SOT 93552 SOS 14013 HAS SOPS 14013 HAS SOUS 11383 HAS SOUPS 11383 WITH SCORE 11397.013
AT ITER 9036 NEW BEST:: SOT 93544 SOS 14001 HAS SOPS 14001 HAS SOUS 11371 HAS SOUPS 11371 WITH SCORE 11385.001
AT ITER 9043 NEW BEST:: SOT 93535 SOS 13995 HAS SOPS 13995 HAS SOUS 11365 HAS SOUPS 11365 WITH SCORE 11378.995
AT ITER 9067 NEW BEST:: SOT 93535 SOS 13983 HAS SOPS 13983 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11366.983
AT ITER 9076 NEW BEST:: SOT 93535 SOS 13978 HAS SOPS 13978 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11366.978
AT ITER 9078 NEW BEST:: SOT 93539 SOS 13982 HAS SOPS 13982 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11353.982
AT ITER 9094 NEW BEST:: SOT 93533 SOS 13976 HAS SOPS 13976 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11347.976
AT ITER 9113 NEW BEST:: SOT 93503 SOS 13916 HAS SOPS 13916 HAS SOUS 11274 HAS SOUPS 11274 WITH SCORE 11287.916
AT ITER 9253 NEW BEST:: SOT 93503 SOS 13914 HAS SOPS 13914 HAS SOUS 11272 HAS SOUPS 11272 WITH SCORE 11285.914
AT ITER 9257 NEW BEST:: SOT 93503 SOS 13907 HAS SOPS 13907 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11278.907
AT ITER 9273 NEW BEST:: SOT 93503 SOS 13906 HAS SOPS 13906 HAS SOUS 11264 HAS SOUPS 11264 WITH SCORE 11277.906
AT ITER 9302 NEW BEST:: SOT 93503 SOS 13901 HAS SOPS 13901 HAS SOUS 11264 HAS SOUPS 11264 WITH SCORE 11277.901
AT ITER 9381 NEW BEST:: SOT 93503 SOS 13893 HAS SOPS 13893 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11274.893
AT ITER 9427 NEW BEST:: SOT 93493 SOS 13905 HAS SOPS 13905 HAS SOUS 11256 HAS SOUPS 11256 WITH SCORE 11269.905
AT ITER 9447 NEW BEST:: SOT 93493 SOS 13904 HAS SOPS 13904 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11268.904
AT ITER 9501 NEW BEST:: SOT 93487 SOS 13892 HAS SOPS 13892 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11260.892
AT ITER 9528 NEW BEST:: SOT 93487 SOS 13889 HAS SOPS 13889 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11260.889
AT ITER 9645 NEW BEST:: SOT 93490 SOS 13771 HAS SOPS 13771 HAS SOUS 11228 HAS SOUPS 11228 WITH SCORE 11241.771
AT ITER 9808 NEW BEST:: SOT 93490 SOS 13761 HAS SOPS 13761 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11236.761
AT ITER 9927 NEW BEST:: SOT 93489 SOS 13760 HAS SOPS 13760 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11235.76

BK_STOP 1590454025336

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 472 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="ShieldRVs-PT-010B"
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"

# 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 ShieldRVs-PT-010B, 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 r207-tajo-159033470100840"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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