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-158902542100371.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 DLCflexbar-PT-4a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100371
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.1K Mar 30 03:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 03:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 18:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 18:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 10:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 10:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 09:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 09:25 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.7M 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 DLCflexbar-PT-4a-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-4a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589114131320

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 4a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 927 places, 6615 transitions, 25705 arcs.
AT ITER 0 NEW BEST:: SOT 3762309 SOS 3120198 HAS SOPS 1567339 HAS SOUS 274322 HAS SOUPS 123224 WITH SCORE 126344.198
AT ITER 1 NEW BEST:: SOT 3761842 SOS 3121280 HAS SOPS 1566675 HAS SOUS 274160 HAS SOUPS 122965 WITH SCORE 126086.28
AT ITER 12 NEW BEST:: SOT 3761842 SOS 3121280 HAS SOPS 1566675 HAS SOUS 274072 HAS SOUPS 122877 WITH SCORE 125998.28
AT ITER 14 NEW BEST:: SOT 3761838 SOS 3121272 HAS SOPS 1566667 HAS SOUS 274066 HAS SOUPS 122871 WITH SCORE 125992.272
AT ITER 48 NEW BEST:: SOT 3761838 SOS 3121272 HAS SOPS 1566667 HAS SOUS 273978 HAS SOUPS 122783 WITH SCORE 125904.272
AT ITER 61 NEW BEST:: SOT 3760925 SOS 3112695 HAS SOPS 1567545 HAS SOUS 273636 HAS SOUPS 122441 WITH SCORE 125553.695
AT ITER 65 NEW BEST:: SOT 3760890 SOS 3112735 HAS SOPS 1567495 HAS SOUS 273616 HAS SOUPS 122416 WITH SCORE 125528.735
AT ITER 77 NEW BEST:: SOT 3760710 SOS 3112375 HAS SOPS 1567675 HAS SOUS 273256 HAS SOUPS 122146 WITH SCORE 125258.375
AT ITER 82 NEW BEST:: SOT 3759719 SOS 3114127 HAS SOPS 1567471 HAS SOUS 272471 HAS SOUPS 121361 WITH SCORE 124475.127
AT ITER 97 NEW BEST:: SOT 3759526 SOS 3113741 HAS SOPS 1567775 HAS SOUS 272067 HAS SOUPS 121072 WITH SCORE 124185.741
AT ITER 119 NEW BEST:: SOT 3759396 SOS 3112997 HAS SOPS 1568483 HAS SOUS 271695 HAS SOUPS 120942 WITH SCORE 124054.997
AT ITER 130 NEW BEST:: SOT 3758784 SOS 3111547 HAS SOPS 1567711 HAS SOUS 271196 HAS SOUPS 120556 WITH SCORE 123667.547
AT ITER 131 NEW BEST:: SOT 3758616 SOS 3110815 HAS SOPS 1566979 HAS SOUS 271074 HAS SOUPS 120434 WITH SCORE 123544.815
AT ITER 133 NEW BEST:: SOT 3758531 SOS 3110303 HAS SOPS 1567493 HAS SOUS 270879 HAS SOUPS 120410 WITH SCORE 123520.303
AT ITER 173 NEW BEST:: SOT 3758333 SOS 3109907 HAS SOPS 1567877 HAS SOUS 270460 HAS SOUPS 120121 WITH SCORE 123230.907
AT ITER 177 NEW BEST:: SOT 3758243 SOS 3109637 HAS SOPS 1567607 HAS SOUS 270370 HAS SOUPS 120031 WITH SCORE 123140.637
AT ITER 178 NEW BEST:: SOT 3757680 SOS 3111493 HAS SOPS 1567141 HAS SOUS 270065 HAS SOUPS 119597 WITH SCORE 122708.493
AT ITER 183 NEW BEST:: SOT 3756549 SOS 3115373 HAS SOPS 1568441 HAS SOUS 269389 HAS SOUPS 118921 WITH SCORE 122036.373
AT ITER 196 NEW BEST:: SOT 3755641 SOS 3117573 HAS SOPS 1568685 HAS SOUS 268707 HAS SOUPS 118239 WITH SCORE 121356.573
AT ITER 198 NEW BEST:: SOT 3755580 SOS 3117451 HAS SOPS 1568563 HAS SOUS 268585 HAS SOUPS 118117 WITH SCORE 121234.451
AT ITER 201 NEW BEST:: SOT 3755563 SOS 3117417 HAS SOPS 1568757 HAS SOUS 268522 HAS SOUPS 118092 WITH SCORE 121209.417
AT ITER 205 NEW BEST:: SOT 3755153 SOS 3116513 HAS SOPS 1569473 HAS SOUS 267872 HAS SOUPS 117712 WITH SCORE 120828.513
AT ITER 212 NEW BEST:: SOT 3754269 SOS 3118793 HAS SOPS 1569713 HAS SOUS 267209 HAS SOUPS 117049 WITH SCORE 120167.793
AT ITER 233 NEW BEST:: SOT 3753160 SOS 3123961 HAS SOPS 1571857 HAS SOUS 266601 HAS SOUPS 116441 WITH SCORE 119564.961
AT ITER 247 NEW BEST:: SOT 3753058 SOS 3123361 HAS SOPS 1572445 HAS SOUS 266375 HAS SOUPS 116413 WITH SCORE 119536.361
AT ITER 248 NEW BEST:: SOT 3753058 SOS 3132515 HAS SOPS 1571848 HAS SOUS 266375 HAS SOUPS 116214 WITH SCORE 119346.515
AT ITER 250 NEW BEST:: SOT 3753058 SOS 3132515 HAS SOPS 1571848 HAS SOUS 266297 HAS SOUPS 116136 WITH SCORE 119268.515
AT ITER 311 NEW BEST:: SOT 3753142 SOS 3132515 HAS SOPS 1571848 HAS SOUS 266213 HAS SOUPS 116052 WITH SCORE 119184.515
AT ITER 319 NEW BEST:: SOT 3752914 SOS 3131755 HAS SOPS 1571088 HAS SOUS 265909 HAS SOUPS 115748 WITH SCORE 118879.755
AT ITER 327 NEW BEST:: SOT 3752435 SOS 3130001 HAS SOPS 1570528 HAS SOUS 265150 HAS SOUPS 115188 WITH SCORE 118318.001
AT ITER 329 NEW BEST:: SOT 3752435 SOS 3130001 HAS SOPS 1570528 HAS SOUS 265074 HAS SOUPS 115112 WITH SCORE 118242.001
AT ITER 331 NEW BEST:: SOT 3751784 SOS 3131589 HAS SOPS 1570082 HAS SOUS 264726 HAS SOUPS 114651 WITH SCORE 117782.589
AT ITER 346 NEW BEST:: SOT 3751602 SOS 3131225 HAS SOPS 1570612 HAS SOUS 264320 HAS SOUPS 114394 WITH SCORE 117525.225
AT ITER 364 NEW BEST:: SOT 3751552 SOS 3130951 HAS SOPS 1570338 HAS SOUS 264283 HAS SOUPS 114357 WITH SCORE 117487.951
AT ITER 396 NEW BEST:: SOT 3751449 SOS 3130721 HAS SOPS 1570726 HAS SOUS 264075 HAS SOUPS 114252 WITH SCORE 117382.721
AT ITER 400 NEW BEST:: SOT 3751247 SOS 3131021 HAS SOPS 1570450 HAS SOUS 263991 HAS SOUPS 114136 WITH SCORE 117267.021
AT ITER 402 NEW BEST:: SOT 3751137 SOS 3130691 HAS SOPS 1570120 HAS SOUS 263881 HAS SOUPS 114026 WITH SCORE 117156.691
AT ITER 405 NEW BEST:: SOT 3750780 SOS 3128411 HAS SOPS 1569466 HAS SOUS 262998 HAS SOUPS 113414 WITH SCORE 116542.411
AT ITER 407 NEW BEST:: SOT 3750684 SOS 3127775 HAS SOPS 1570162 HAS SOUS 262680 HAS SOUPS 113318 WITH SCORE 116445.775
AT ITER 421 NEW BEST:: SOT 3749808 SOS 3133847 HAS SOPS 1572958 HAS SOUS 262310 HAS SOUPS 112948 WITH SCORE 116081.847
AT ITER 427 NEW BEST:: SOT 3749808 SOS 3133847 HAS SOPS 1572958 HAS SOUS 262244 HAS SOUPS 112882 WITH SCORE 116015.847
AT ITER 443 NEW BEST:: SOT 3749041 SOS 3136067 HAS SOPS 1573246 HAS SOUS 261707 HAS SOUPS 112345 WITH SCORE 115481.067
AT ITER 466 NEW BEST:: SOT 3749023 SOS 3136031 HAS SOPS 1573210 HAS SOUS 261675 HAS SOUPS 112313 WITH SCORE 115449.031
AT ITER 473 NEW BEST:: SOT 3748971 SOS 3135927 HAS SOPS 1573418 HAS SOUS 261571 HAS SOUPS 112261 WITH SCORE 115396.927
AT ITER 498 NEW BEST:: SOT 3748971 SOS 3135927 HAS SOPS 1573418 HAS SOUS 261483 HAS SOUPS 112173 WITH SCORE 115308.927
AT ITER 504 NEW BEST:: SOT 3748334 SOS 3136473 HAS SOPS 1572326 HAS SOUS 261210 HAS SOUPS 111809 WITH SCORE 114945.473
AT ITER 536 NEW BEST:: SOT 3748350 SOS 3136587 HAS SOPS 1572194 HAS SOUS 261189 HAS SOUPS 111747 WITH SCORE 114883.587
AT ITER 544 NEW BEST:: SOT 3747857 SOS 3130394 HAS SOPS 1575766 HAS SOUS 260923 HAS SOUPS 111481 WITH SCORE 114611.394
AT ITER 546 NEW BEST:: SOT 3747857 SOS 3130796 HAS SOPS 1575658 HAS SOUS 260962 HAS SOUPS 111435 WITH SCORE 114565.796
AT ITER 548 NEW BEST:: SOT 3746866 SOS 3134860 HAS SOPS 1576926 HAS SOUS 260336 HAS SOUPS 110809 WITH SCORE 113943.86
AT ITER 550 NEW BEST:: SOT 3746866 SOS 3134860 HAS SOPS 1576926 HAS SOUS 260250 HAS SOUPS 110723 WITH SCORE 113857.86
AT ITER 555 NEW BEST:: SOT 3746842 SOS 3134812 HAS SOPS 1577610 HAS SOUS 260104 HAS SOUPS 110699 WITH SCORE 113833.812
AT ITER 557 NEW BEST:: SOT 3746842 SOS 3134812 HAS SOPS 1577610 HAS SOUS 260030 HAS SOUPS 110625 WITH SCORE 113759.812
AT ITER 561 NEW BEST:: SOT 3746767 SOS 3134662 HAS SOPS 1577460 HAS SOUS 259940 HAS SOUPS 110535 WITH SCORE 113669.662
AT ITER 566 NEW BEST:: SOT 3746767 SOS 3134662 HAS SOPS 1577460 HAS SOUS 259852 HAS SOUPS 110447 WITH SCORE 113581.662
AT ITER 574 NEW BEST:: SOT 3746705 SOS 3134268 HAS SOPS 1577546 HAS SOUS 259647 HAS SOUPS 110322 WITH SCORE 113456.268
AT ITER 579 NEW BEST:: SOT 3746655 SOS 3134388 HAS SOPS 1577486 HAS SOUS 259647 HAS SOUPS 110312 WITH SCORE 113446.388
AT ITER 593 NEW BEST:: SOT 3746650 SOS 3134264 HAS SOPS 1577362 HAS SOUS 259559 HAS SOUPS 110224 WITH SCORE 113358.264
AT ITER 604 NEW BEST:: SOT 3746650 SOS 3134426 HAS SOPS 1577524 HAS SOUS 259247 HAS SOUPS 109912 WITH SCORE 113046.426
AT ITER 616 NEW BEST:: SOT 3746611 SOS 3134348 HAS SOPS 1577446 HAS SOUS 259239 HAS SOUPS 109904 WITH SCORE 113038.348
AT ITER 624 NEW BEST:: SOT 3745864 SOS 3135408 HAS SOPS 1577510 HAS SOUS 258741 HAS SOUPS 109406 WITH SCORE 112541.408
AT ITER 640 NEW BEST:: SOT 3745864 SOS 3135408 HAS SOPS 1577510 HAS SOUS 258653 HAS SOUPS 109318 WITH SCORE 112453.408
AT ITER 688 NEW BEST:: SOT 3745138 SOS 3137662 HAS SOPS 1577796 HAS SOUS 258165 HAS SOUPS 108830 WITH SCORE 111967.662
AT ITER 691 NEW BEST:: SOT 3744643 SOS 3141728 HAS SOPS 1579426 HAS SOUS 257986 HAS SOUPS 108651 WITH SCORE 111792.728
AT ITER 694 NEW BEST:: SOT 3744169 SOS 3141096 HAS SOPS 1578794 HAS SOUS 257736 HAS SOUPS 108401 WITH SCORE 111542.096
AT ITER 702 NEW BEST:: SOT 3744095 SOS 3140948 HAS SOPS 1579078 HAS SOUS 257588 HAS SOUPS 108325 WITH SCORE 111465.948
AT ITER 724 NEW BEST:: SOT 3743876 SOS 3140145 HAS SOPS 1578713 HAS SOUS 257359 HAS SOUPS 108169 WITH SCORE 111309.145
AT ITER 744 NEW BEST:: SOT 3743830 SOS 3139915 HAS SOPS 1578483 HAS SOUS 257289 HAS SOUPS 108099 WITH SCORE 111238.915
AT ITER 755 NEW BEST:: SOT 3744056 SOS 3124180 HAS SOPS 1578428 HAS SOUS 256913 HAS SOUPS 108043 WITH SCORE 111167.18
AT ITER 780 NEW BEST:: SOT 3744056 SOS 3124180 HAS SOPS 1578428 HAS SOUS 256839 HAS SOUPS 107969 WITH SCORE 111093.18
AT ITER 792 NEW BEST:: SOT 3743948 SOS 3123928 HAS SOPS 1578284 HAS SOUS 256749 HAS SOUPS 107897 WITH SCORE 111020.928
AT ITER 794 NEW BEST:: SOT 3743948 SOS 3123928 HAS SOPS 1578284 HAS SOUS 256661 HAS SOUPS 107809 WITH SCORE 110932.928
AT ITER 795 NEW BEST:: SOT 3743948 SOS 3123928 HAS SOPS 1578284 HAS SOUS 256607 HAS SOUPS 107755 WITH SCORE 110878.928
AT ITER 801 NEW BEST:: SOT 3743948 SOS 3123928 HAS SOPS 1578284 HAS SOUS 256519 HAS SOUPS 107667 WITH SCORE 110790.928
AT ITER 822 NEW BEST:: SOT 3743948 SOS 3123836 HAS SOPS 1578192 HAS SOUS 256519 HAS SOUPS 107667 WITH SCORE 110790.836
AT ITER 842 NEW BEST:: SOT 3743893 SOS 3123726 HAS SOPS 1578082 HAS SOUS 256409 HAS SOUPS 107557 WITH SCORE 110680.726
AT ITER 857 NEW BEST:: SOT 3743843 SOS 3123626 HAS SOPS 1578234 HAS SOUS 256309 HAS SOUPS 107499 WITH SCORE 110622.626
AT ITER 868 NEW BEST:: SOT 3743897 SOS 3123668 HAS SOPS 1578276 HAS SOUS 256307 HAS SOUPS 107497 WITH SCORE 110620.668
AT ITER 873 NEW BEST:: SOT 3743611 SOS 3124636 HAS SOPS 1577984 HAS SOUS 256106 HAS SOUPS 107226 WITH SCORE 110350.636
AT ITER 877 NEW BEST:: SOT 3743295 SOS 3123638 HAS SOPS 1578084 HAS SOUS 255694 HAS SOUPS 106997 WITH SCORE 110120.638
AT ITER 878 NEW BEST:: SOT 3743093 SOS 3125296 HAS SOPS 1578890 HAS SOUS 255587 HAS SOUPS 106890 WITH SCORE 110015.296
AT ITER 885 NEW BEST:: SOT 3742634 SOS 3124080 HAS SOPS 1578568 HAS SOUS 255369 HAS SOUPS 106821 WITH SCORE 109945.08
AT ITER 892 NEW BEST:: SOT 3742595 SOS 3124288 HAS SOPS 1578542 HAS SOUS 255339 HAS SOUPS 106778 WITH SCORE 109902.288
AT ITER 928 NEW BEST:: SOT 3742595 SOS 3124288 HAS SOPS 1578542 HAS SOUS 255337 HAS SOUPS 106776 WITH SCORE 109900.288
AT ITER 940 NEW BEST:: SOT 3742595 SOS 3124288 HAS SOPS 1578542 HAS SOUS 255323 HAS SOUPS 106762 WITH SCORE 109886.288
AT ITER 947 NEW BEST:: SOT 3742196 SOS 3127386 HAS SOPS 1579246 HAS SOUS 255255 HAS SOUPS 106561 WITH SCORE 109688.386
AT ITER 953 NEW BEST:: SOT 3742216 SOS 3127238 HAS SOPS 1579098 HAS SOUS 255197 HAS SOUPS 106503 WITH SCORE 109630.238
AT ITER 975 NEW BEST:: SOT 3741542 SOS 3131436 HAS SOPS 1580836 HAS SOUS 254985 HAS SOUPS 106291 WITH SCORE 109422.436
AT ITER 1000 NEW BEST:: SOT 3741542 SOS 3131436 HAS SOPS 1580836 HAS SOUS 254971 HAS SOUPS 106277 WITH SCORE 109408.436
AT ITER 1009 NEW BEST:: SOT 3741542 SOS 3131436 HAS SOPS 1580836 HAS SOUS 254901 HAS SOUPS 106207 WITH SCORE 109338.436
AT ITER 1046 NEW BEST:: SOT 3740847 SOS 3133530 HAS SOPS 1580842 HAS SOUS 254603 HAS SOUPS 105793 WITH SCORE 108926.53
AT ITER 1057 NEW BEST:: SOT 3740419 SOS 3131770 HAS SOPS 1580438 HAS SOUS 254193 HAS SOUPS 105609 WITH SCORE 108740.77
AT ITER 1070 NEW BEST:: SOT 3740347 SOS 3131626 HAS SOPS 1580294 HAS SOUS 254138 HAS SOUPS 105554 WITH SCORE 108685.626
AT ITER 1087 NEW BEST:: SOT 3740209 SOS 3131070 HAS SOPS 1580578 HAS SOUS 253896 HAS SOUPS 105452 WITH SCORE 108583.07
AT ITER 1090 NEW BEST:: SOT 3740209 SOS 3131070 HAS SOPS 1580578 HAS SOUS 253824 HAS SOUPS 105380 WITH SCORE 108511.07
AT ITER 1096 NEW BEST:: SOT 3740121 SOS 3130894 HAS SOPS 1580930 HAS SOUS 253648 HAS SOUPS 105292 WITH SCORE 108422.894
AT ITER 1141 NEW BEST:: SOT 3739523 SOS 3129472 HAS SOPS 1580186 HAS SOUS 253163 HAS SOUPS 104920 WITH SCORE 108049.472
AT ITER 1145 NEW BEST:: SOT 3739523 SOS 3129142 HAS SOPS 1580342 HAS SOUS 253080 HAS SOUPS 104918 WITH SCORE 108047.142
AT ITER 1178 NEW BEST:: SOT 3739489 SOS 3129154 HAS SOPS 1580306 HAS SOUS 253056 HAS SOUPS 104894 WITH SCORE 108023.154
AT ITER 1197 NEW BEST:: SOT 3739489 SOS 3129154 HAS SOPS 1580306 HAS SOUS 252968 HAS SOUPS 104806 WITH SCORE 107935.154
AT ITER 1198 NEW BEST:: SOT 3736730 SOS 3124936 HAS SOPS 1578365 HAS SOUS 252881 HAS SOUPS 104801 WITH SCORE 107925.936
AT ITER 1203 NEW BEST:: SOT 3736510 SOS 3124496 HAS SOPS 1577925 HAS SOUS 252579 HAS SOUPS 104499 WITH SCORE 107623.496
AT ITER 1236 NEW BEST:: SOT 3735158 SOS 3127874 HAS SOPS 1578543 HAS SOUS 251539 HAS SOUPS 103459 WITH SCORE 106586.874
AT ITER 1249 NEW BEST:: SOT 3734868 SOS 3127566 HAS SOPS 1578235 HAS SOUS 251453 HAS SOUPS 103373 WITH SCORE 106500.566
AT ITER 1277 NEW BEST:: SOT 3734249 SOS 3120506 HAS SOPS 1581715 HAS SOUS 251299 HAS SOUPS 103219 WITH SCORE 106339.506
AT ITER 1279 NEW BEST:: SOT 3734219 SOS 3120446 HAS SOPS 1581655 HAS SOUS 251269 HAS SOUPS 103189 WITH SCORE 106309.446
AT ITER 1282 NEW BEST:: SOT 3734204 SOS 3120515 HAS SOPS 1581667 HAS SOUS 251257 HAS SOUPS 103174 WITH SCORE 106294.515
AT ITER 1285 NEW BEST:: SOT 3734204 SOS 3120515 HAS SOPS 1581667 HAS SOUS 251169 HAS SOUPS 103086 WITH SCORE 106206.515
AT ITER 1332 NEW BEST:: SOT 3734123 SOS 3120353 HAS SOPS 1581991 HAS SOUS 251007 HAS SOUPS 103005 WITH SCORE 106125.353
AT ITER 1352 NEW BEST:: SOT 3732051 SOS 3117577 HAS SOPS 1580211 HAS SOUS 250994 HAS SOUPS 102992 WITH SCORE 106109.577
AT ITER 1376 NEW BEST:: SOT 3732015 SOS 3115741 HAS SOPS 1579551 HAS SOUS 250964 HAS SOUPS 102986 WITH SCORE 106101.741
AT ITER 1386 NEW BEST:: SOT 3731294 SOS 3116457 HAS SOPS 1578773 HAS SOUS 250601 HAS SOUPS 102540 WITH SCORE 105656.457
AT ITER 1415 NEW BEST:: SOT 3731000 SOS 3116961 HAS SOPS 1578521 HAS SOUS 250517 HAS SOUPS 102414 WITH SCORE 105530.961
AT ITER 1430 NEW BEST:: SOT 3730921 SOS 3116803 HAS SOPS 1578363 HAS SOUS 250359 HAS SOUPS 102256 WITH SCORE 105372.803
AT ITER 1438 NEW BEST:: SOT 3730921 SOS 3116803 HAS SOPS 1578363 HAS SOUS 250299 HAS SOUPS 102196 WITH SCORE 105312.803
AT ITER 1459 NEW BEST:: SOT 3730257 SOS 3117969 HAS SOPS 1577441 HAS SOUS 249865 HAS SOUPS 101646 WITH SCORE 104763.969
AT ITER 1463 NEW BEST:: SOT 3730257 SOS 3117969 HAS SOPS 1577441 HAS SOUS 249863 HAS SOUPS 101644 WITH SCORE 104761.969
AT ITER 1465 NEW BEST:: SOT 3730257 SOS 3117969 HAS SOPS 1577441 HAS SOUS 249827 HAS SOUPS 101608 WITH SCORE 104725.969
AT ITER 1476 NEW BEST:: SOT 3730278 SOS 3118025 HAS SOPS 1577455 HAS SOUS 249827 HAS SOUPS 101601 WITH SCORE 104719.025
AT ITER 1487 NEW BEST:: SOT 3729367 SOS 3121493 HAS SOPS 1578523 HAS SOUS 249319 HAS SOUPS 101093 WITH SCORE 104214.493
AT ITER 1507 NEW BEST:: SOT 3729314 SOS 3121387 HAS SOPS 1578417 HAS SOUS 249266 HAS SOUPS 101040 WITH SCORE 104161.387
AT ITER 1512 NEW BEST:: SOT 3729314 SOS 3121387 HAS SOPS 1578417 HAS SOUS 249238 HAS SOUPS 101012 WITH SCORE 104133.387
AT ITER 1514 NEW BEST:: SOT 3729314 SOS 3121387 HAS SOPS 1578417 HAS SOUS 249226 HAS SOUPS 101000 WITH SCORE 104121.387
AT ITER 1550 NEW BEST:: SOT 3729314 SOS 3121387 HAS SOPS 1578417 HAS SOUS 249200 HAS SOUPS 100974 WITH SCORE 104095.387
AT ITER 1566 NEW BEST:: SOT 3728857 SOS 3120185 HAS SOPS 1577215 HAS SOUS 249175 HAS SOUPS 100949 WITH SCORE 104069.185
AT ITER 1579 NEW BEST:: SOT 3728717 SOS 3119839 HAS SOPS 1576869 HAS SOUS 249101 HAS SOUPS 100875 WITH SCORE 103994.839
AT ITER 1593 NEW BEST:: SOT 3728381 SOS 3121987 HAS SOPS 1576533 HAS SOUS 248951 HAS SOUPS 100587 WITH SCORE 103708.987
AT ITER 1601 NEW BEST:: SOT 3728381 SOS 3121987 HAS SOPS 1576533 HAS SOUS 248879 HAS SOUPS 100515 WITH SCORE 103636.987
AT ITER 1608 NEW BEST:: SOT 3728389 SOS 3122003 HAS SOPS 1576549 HAS SOUS 248863 HAS SOUPS 100499 WITH SCORE 103621.003
AT ITER 1614 NEW BEST:: SOT 3728359 SOS 3121973 HAS SOPS 1576519 HAS SOUS 248833 HAS SOUPS 100469 WITH SCORE 103590.973
AT ITER 1616 NEW BEST:: SOT 3728301 SOS 3122205 HAS SOPS 1576403 HAS SOUS 248833 HAS SOUPS 100411 WITH SCORE 103533.205
AT ITER 1623 NEW BEST:: SOT 3728275 SOS 3122075 HAS SOPS 1576351 HAS SOUS 248780 HAS SOUPS 100371 WITH SCORE 103493.075
AT ITER 1628 NEW BEST:: SOT 3728267 SOS 3122059 HAS SOPS 1576335 HAS SOUS 248764 HAS SOUPS 100355 WITH SCORE 103477.059
AT ITER 1636 NEW BEST:: SOT 3728198 SOS 3122383 HAS SOPS 1576393 HAS SOUS 248709 HAS SOUPS 100286 WITH SCORE 103408.383
AT ITER 1638 NEW BEST:: SOT 3728128 SOS 3122607 HAS SOPS 1576365 HAS SOUS 248666 HAS SOUPS 100229 WITH SCORE 103351.607
AT ITER 1640 NEW BEST:: SOT 3728051 SOS 3122453 HAS SOPS 1576211 HAS SOUS 248589 HAS SOUPS 100152 WITH SCORE 103274.453
AT ITER 1642 NEW BEST:: SOT 3728051 SOS 3122453 HAS SOPS 1576211 HAS SOUS 248501 HAS SOUPS 100064 WITH SCORE 103186.453
AT ITER 1664 NEW BEST:: SOT 3728051 SOS 3122453 HAS SOPS 1576211 HAS SOUS 248457 HAS SOUPS 100020 WITH SCORE 103142.453
AT ITER 1702 NEW BEST:: SOT 3727983 SOS 3122155 HAS SOPS 1576399 HAS SOUS 248359 HAS SOUPS 100003 WITH SCORE 103125.155
AT ITER 1703 NEW BEST:: SOT 3727983 SOS 3121867 HAS SOPS 1576219 HAS SOUS 248350 HAS SOUPS 99994 WITH SCORE 103115.867
AT ITER 1721 NEW BEST:: SOT 3728025 SOS 3121951 HAS SOPS 1576303 HAS SOUS 248296 HAS SOUPS 99940 WITH SCORE 103061.951
AT ITER 1722 NEW BEST:: SOT 3728013 SOS 3121927 HAS SOPS 1575733 HAS SOUS 248361 HAS SOUPS 99914 WITH SCORE 103035.927
AT ITER 1765 NEW BEST:: SOT 3728013 SOS 3121909 HAS SOPS 1575715 HAS SOUS 248289 HAS SOUPS 99842 WITH SCORE 102963.909
AT ITER 1767 NEW BEST:: SOT 3728013 SOS 3121909 HAS SOPS 1575715 HAS SOUS 248271 HAS SOUPS 99824 WITH SCORE 102945.909
AT ITER 1801 NEW BEST:: SOT 3728013 SOS 3121909 HAS SOPS 1575715 HAS SOUS 248183 HAS SOUPS 99736 WITH SCORE 102857.909
AT ITER 1819 NEW BEST:: SOT 3727967 SOS 3121817 HAS SOPS 1575761 HAS SOUS 248091 HAS SOUPS 99667 WITH SCORE 102788.817
AT ITER 1830 NEW BEST:: SOT 3727967 SOS 3121817 HAS SOPS 1575761 HAS SOUS 248041 HAS SOUPS 99617 WITH SCORE 102738.817
AT ITER 1840 NEW BEST:: SOT 3727952 SOS 3121013 HAS SOPS 1575731 HAS SOUS 247800 HAS SOUPS 99505 WITH SCORE 102626.013
AT ITER 1849 NEW BEST:: SOT 3727963 SOS 3120429 HAS SOPS 1575753 HAS SOUS 247631 HAS SOUPS 99437 WITH SCORE 102557.429
AT ITER 1855 NEW BEST:: SOT 3727859 SOS 3120221 HAS SOPS 1575545 HAS SOUS 247475 HAS SOUPS 99281 WITH SCORE 102401.221
AT ITER 1859 NEW BEST:: SOT 3727829 SOS 3120161 HAS SOPS 1575485 HAS SOUS 247445 HAS SOUPS 99251 WITH SCORE 102371.161
AT ITER 1864 NEW BEST:: SOT 3727765 SOS 3119355 HAS SOPS 1575357 HAS SOUS 247239 HAS SOUPS 99158 WITH SCORE 102277.355
AT ITER 1883 NEW BEST:: SOT 3727551 SOS 3118927 HAS SOPS 1574929 HAS SOUS 246911 HAS SOUPS 98830 WITH SCORE 101948.927
AT ITER 1925 NEW BEST:: SOT 3727510 SOS 3119573 HAS SOPS 1575239 HAS SOUS 246898 HAS SOUPS 98817 WITH SCORE 101936.573
AT ITER 1957 NEW BEST:: SOT 3727526 SOS 3119129 HAS SOPS 1574627 HAS SOUS 246917 HAS SOUPS 98808 WITH SCORE 101927.129
AT ITER 1961 NEW BEST:: SOT 3726854 SOS 3117533 HAS SOPS 1573787 HAS SOUS 246371 HAS SOUPS 98388 WITH SCORE 101505.533
AT ITER 1963 NEW BEST:: SOT 3726809 SOS 3117443 HAS SOPS 1573697 HAS SOUS 246311 HAS SOUPS 98328 WITH SCORE 101445.443
AT ITER 1976 NEW BEST:: SOT 3726809 SOS 3117443 HAS SOPS 1573697 HAS SOUS 246223 HAS SOUPS 98240 WITH SCORE 101357.443
AT ITER 2057 NEW BEST:: SOT 3726657 SOS 3117139 HAS SOPS 1573393 HAS SOUS 246071 HAS SOUPS 98088 WITH SCORE 101205.139
AT ITER 2058 NEW BEST:: SOT 3726657 SOS 3117139 HAS SOPS 1573393 HAS SOUS 245933 HAS SOUPS 97950 WITH SCORE 101067.139
AT ITER 2076 NEW BEST:: SOT 3726399 SOS 3116164 HAS SOPS 1573132 HAS SOUS 245541 HAS SOUPS 97677 WITH SCORE 100793.164
AT ITER 2083 NEW BEST:: SOT 3726399 SOS 3116164 HAS SOPS 1573132 HAS SOUS 245471 HAS SOUPS 97607 WITH SCORE 100723.164
AT ITER 2094 NEW BEST:: SOT 3725751 SOS 3118788 HAS SOPS 1573656 HAS SOUS 245396 HAS SOUPS 97532 WITH SCORE 100650.788
AT ITER 2102 NEW BEST:: SOT 3725745 SOS 3118776 HAS SOPS 1573662 HAS SOUS 245384 HAS SOUPS 97523 WITH SCORE 100641.776
AT ITER 2194 NEW BEST:: SOT 3725675 SOS 3118636 HAS SOPS 1573732 HAS SOUS 245244 HAS SOUPS 97418 WITH SCORE 100536.636
AT ITER 2218 NEW BEST:: SOT 3725940 SOS 3114704 HAS SOPS 1571840 HAS SOUS 245212 HAS SOUPS 97386 WITH SCORE 100500.704
AT ITER 2226 NEW BEST:: SOT 3725525 SOS 3103847 HAS SOPS 1570881 HAS SOUS 244950 HAS SOUPS 97326 WITH SCORE 100429.847
AT ITER 2227 NEW BEST:: SOT 3724467 SOS 3095637 HAS SOPS 1572157 HAS SOUS 244638 HAS SOUPS 97014 WITH SCORE 100109.637
AT ITER 2243 NEW BEST:: SOT 3724343 SOS 3104481 HAS SOPS 1570956 HAS SOUS 244607 HAS SOUPS 96778 WITH SCORE 99882.481
AT ITER 2250 NEW BEST:: SOT 3724156 SOS 3110619 HAS SOPS 1570730 HAS SOUS 244529 HAS SOUPS 96700 WITH SCORE 99810.619
AT ITER 2266 NEW BEST:: SOT 3723913 SOS 3111641 HAS SOPS 1571056 HAS SOUS 244387 HAS SOUPS 96558 WITH SCORE 99669.641
AT ITER 2274 NEW BEST:: SOT 3723811 SOS 3111403 HAS SOPS 1570920 HAS SOUS 244319 HAS SOUPS 96507 WITH SCORE 99618.403
AT ITER 2294 NEW BEST:: SOT 3723739 SOS 3111571 HAS SOPS 1570872 HAS SOUS 244307 HAS SOUPS 96483 WITH SCORE 99594.571
AT ITER 2302 NEW BEST:: SOT 3722800 SOS 3117681 HAS SOPS 1573730 HAS SOUS 244026 HAS SOUPS 96202 WITH SCORE 99319.681
AT ITER 2326 NEW BEST:: SOT 3722760 SOS 3117835 HAS SOPS 1572966 HAS SOUS 244123 HAS SOUPS 96146 WITH SCORE 99263.835
AT ITER 2329 NEW BEST:: SOT 3722760 SOS 3117835 HAS SOPS 1572966 HAS SOUS 244093 HAS SOUPS 96116 WITH SCORE 99233.835
AT ITER 2380 NEW BEST:: SOT 3722716 SOS 3117723 HAS SOPS 1572854 HAS SOUS 244027 HAS SOUPS 96050 WITH SCORE 99167.723
AT ITER 2394 NEW BEST:: SOT 3722716 SOS 3117723 HAS SOPS 1572854 HAS SOUS 243939 HAS SOUPS 95962 WITH SCORE 99079.723
AT ITER 2414 NEW BEST:: SOT 3722457 SOS 3118025 HAS SOPS 1572664 HAS SOUS 243823 HAS SOUPS 95846 WITH SCORE 98964.025
AT ITER 2428 NEW BEST:: SOT 3722366 SOS 3110739 HAS SOPS 1572630 HAS SOUS 243585 HAS SOUPS 95756 WITH SCORE 98866.739
AT ITER 2430 NEW BEST:: SOT 3722360 SOS 3110727 HAS SOPS 1572618 HAS SOUS 243575 HAS SOUPS 95746 WITH SCORE 98856.727
AT ITER 2451 NEW BEST:: SOT 3722195 SOS 3110303 HAS SOPS 1572194 HAS SOUS 243504 HAS SOUPS 95675 WITH SCORE 98785.303
AT ITER 2464 NEW BEST:: SOT 3722183 SOS 3110203 HAS SOPS 1572322 HAS SOUS 243460 HAS SOUPS 95669 WITH SCORE 98779.203
AT ITER 2485 NEW BEST:: SOT 3719667 SOS 3106460 HAS SOPS 1570620 HAS SOUS 243267 HAS SOUPS 95569 WITH SCORE 98675.46
AT ITER 2498 NEW BEST:: SOT 3719667 SOS 3106460 HAS SOPS 1570620 HAS SOUS 243179 HAS SOUPS 95481 WITH SCORE 98587.46
AT ITER 2563 NEW BEST:: SOT 3719150 SOS 3100643 HAS SOPS 1574692 HAS SOUS 242766 HAS SOUPS 95068 WITH SCORE 98168.643
AT ITER 2593 NEW BEST:: SOT 3718858 SOS 3101685 HAS SOPS 1575014 HAS SOUS 242534 HAS SOUPS 94836 WITH SCORE 97937.685
AT ITER 2600 NEW BEST:: SOT 3718821 SOS 3101509 HAS SOPS 1574838 HAS SOUS 242496 HAS SOUPS 94798 WITH SCORE 97899.509
AT ITER 2620 NEW BEST:: SOT 3718679 SOS 3101859 HAS SOPS 1574912 HAS SOUS 242465 HAS SOUPS 94767 WITH SCORE 97868.859
AT ITER 2627 NEW BEST:: SOT 3718385 SOS 3101471 HAS SOPS 1574524 HAS SOUS 242321 HAS SOUPS 94623 WITH SCORE 97724.471
AT ITER 2660 NEW BEST:: SOT 3717227 SOS 3104901 HAS SOPS 1575230 HAS SOUS 241687 HAS SOUPS 93989 WITH SCORE 97093.901
AT ITER 2687 NEW BEST:: SOT 3717227 SOS 3104901 HAS SOPS 1575230 HAS SOUS 241599 HAS SOUPS 93901 WITH SCORE 97005.901
AT ITER 2708 NEW BEST:: SOT 3717227 SOS 3104901 HAS SOPS 1575230 HAS SOUS 241511 HAS SOUPS 93813 WITH SCORE 96917.901
AT ITER 2719 NEW BEST:: SOT 3717227 SOS 3104901 HAS SOPS 1575230 HAS SOUS 241495 HAS SOUPS 93797 WITH SCORE 96901.901
AT ITER 2722 NEW BEST:: SOT 3717194 SOS 3104835 HAS SOPS 1575164 HAS SOUS 241398 HAS SOUPS 93700 WITH SCORE 96804.835
AT ITER 2750 NEW BEST:: SOT 3716983 SOS 3092898 HAS SOPS 1563227 HAS SOUS 241106 HAS SOUPS 93408 WITH SCORE 96500.898
AT ITER 2775 NEW BEST:: SOT 3716975 SOS 3092882 HAS SOPS 1563211 HAS SOUS 241098 HAS SOUPS 93400 WITH SCORE 96492.882
AT ITER 2780 NEW BEST:: SOT 3716975 SOS 3092882 HAS SOPS 1563211 HAS SOUS 241010 HAS SOUPS 93312 WITH SCORE 96404.882
AT ITER 2796 NEW BEST:: SOT 3716975 SOS 3092882 HAS SOPS 1563211 HAS SOUS 241000 HAS SOUPS 93302 WITH SCORE 96394.882
AT ITER 2799 NEW BEST:: SOT 3716989 SOS 3091638 HAS SOPS 1563239 HAS SOUS 240674 HAS SOUPS 93188 WITH SCORE 96279.638
AT ITER 2852 NEW BEST:: SOT 3716987 SOS 3091832 HAS SOPS 1563235 HAS SOUS 240672 HAS SOUPS 93153 WITH SCORE 96244.832
AT ITER 2861 NEW BEST:: SOT 3716852 SOS 3090992 HAS SOPS 1562965 HAS SOUS 240307 HAS SOUPS 92883 WITH SCORE 95973.992
AT ITER 2865 NEW BEST:: SOT 3716852 SOS 3090508 HAS SOPS 1563020 HAS SOUS 240296 HAS SOUPS 92883 WITH SCORE 95973.508
AT ITER 2868 NEW BEST:: SOT 3716852 SOS 3090508 HAS SOPS 1563020 HAS SOUS 240262 HAS SOUPS 92849 WITH SCORE 95939.508
AT ITER 2875 NEW BEST:: SOT 3716562 SOS 3089058 HAS SOPS 1562440 HAS SOUS 239672 HAS SOUPS 92404 WITH SCORE 95493.058
AT ITER 2878 NEW BEST:: SOT 3716526 SOS 3089034 HAS SOPS 1562416 HAS SOUS 239676 HAS SOUPS 92404 WITH SCORE 95493.034
AT ITER 2892 NEW BEST:: SOT 3716496 SOS 3088974 HAS SOPS 1562692 HAS SOUS 239616 HAS SOUPS 92400 WITH SCORE 95488.974
AT ITER 2934 NEW BEST:: SOT 3716496 SOS 3088782 HAS SOPS 1562500 HAS SOUS 239616 HAS SOUPS 92400 WITH SCORE 95488.782
AT ITER 2942 NEW BEST:: SOT 3716562 SOS 3086802 HAS SOPS 1561312 HAS SOUS 239616 HAS SOUPS 92400 WITH SCORE 95486.802
AT ITER 2943 NEW BEST:: SOT 3716562 SOS 3086802 HAS SOPS 1561312 HAS SOUS 239534 HAS SOUPS 92318 WITH SCORE 95404.802
AT ITER 2944 NEW BEST:: SOT 3716808 SOS 3087130 HAS SOPS 1561640 HAS SOUS 239468 HAS SOUPS 92252 WITH SCORE 95339.13
AT ITER 2946 NEW BEST:: SOT 3716038 SOS 3085894 HAS SOPS 1560404 HAS SOUS 239409 HAS SOUPS 92193 WITH SCORE 95278.894
AT ITER 2969 NEW BEST:: SOT 3716013 SOS 3085894 HAS SOPS 1560254 HAS SOUS 239384 HAS SOUPS 92143 WITH SCORE 95228.894
AT ITER 2984 NEW BEST:: SOT 3716013 SOS 3085894 HAS SOPS 1560254 HAS SOUS 239366 HAS SOUPS 92125 WITH SCORE 95210.894
AT ITER 2994 NEW BEST:: SOT 3715937 SOS 3084932 HAS SOPS 1560684 HAS SOUS 239010 HAS SOUPS 92001 WITH SCORE 95085.932
AT ITER 3000 NEW BEST:: SOT 3715937 SOS 3084764 HAS SOPS 1560642 HAS SOUS 238989 HAS SOUPS 91987 WITH SCORE 95071.764
AT ITER 3010 NEW BEST:: SOT 3715504 SOS 3086188 HAS SOPS 1560212 HAS SOUS 238720 HAS SOUPS 91615 WITH SCORE 94701.188
AT ITER 3025 NEW BEST:: SOT 3714934 SOS 3087990 HAS SOPS 1561251 HAS SOUS 238590 HAS SOUPS 91596 WITH SCORE 94683.99
AT ITER 3035 NEW BEST:: SOT 3714422 SOS 3090300 HAS SOPS 1561365 HAS SOUS 238555 HAS SOUPS 91439 WITH SCORE 94529.3
AT ITER 3037 NEW BEST:: SOT 3712540 SOS 3088234 HAS SOPS 1560163 HAS SOUS 238544 HAS SOUPS 91428 WITH SCORE 94516.234
AT ITER 3050 NEW BEST:: SOT 3712540 SOS 3088234 HAS SOPS 1560163 HAS SOUS 238530 HAS SOUPS 91414 WITH SCORE 94502.234
AT ITER 3067 NEW BEST:: SOT 3712536 SOS 3088226 HAS SOPS 1560155 HAS SOUS 238526 HAS SOUPS 91410 WITH SCORE 94498.226
AT ITER 3072 NEW BEST:: SOT 3712536 SOS 3088226 HAS SOPS 1560155 HAS SOUS 238506 HAS SOUPS 91390 WITH SCORE 94478.226
AT ITER 3076 NEW BEST:: SOT 3712354 SOS 3087648 HAS SOPS 1560219 HAS SOUS 238335 HAS SOUPS 91326 WITH SCORE 94413.648
AT ITER 3116 NEW BEST:: SOT 3712393 SOS 3087692 HAS SOPS 1560263 HAS SOUS 238328 HAS SOUPS 91319 WITH SCORE 94406.692
AT ITER 3129 NEW BEST:: SOT 3712364 SOS 3087634 HAS SOPS 1560205 HAS SOUS 238219 HAS SOUPS 91210 WITH SCORE 94297.634
AT ITER 3157 NEW BEST:: SOT 3712321 SOS 3087375 HAS SOPS 1560792 HAS SOUS 238128 HAS SOUPS 91166 WITH SCORE 94253.375
AT ITER 3162 NEW BEST:: SOT 3712321 SOS 3087375 HAS SOPS 1560792 HAS SOUS 238118 HAS SOUPS 91156 WITH SCORE 94243.375
AT ITER 3166 NEW BEST:: SOT 3712074 SOS 3089505 HAS SOPS 1561938 HAS SOUS 237953 HAS SOUPS 90991 WITH SCORE 94080.505
AT ITER 3179 NEW BEST:: SOT 3712046 SOS 3089439 HAS SOPS 1561902 HAS SOUS 237932 HAS SOUPS 90975 WITH SCORE 94064.439
AT ITER 3180 NEW BEST:: SOT 3711778 SOS 3089122 HAS SOPS 1561585 HAS SOUS 237907 HAS SOUPS 90950 WITH SCORE 94039.122
AT ITER 3187 NEW BEST:: SOT 3711778 SOS 3089122 HAS SOPS 1561585 HAS SOUS 237893 HAS SOUPS 90936 WITH SCORE 94025.122
AT ITER 3189 NEW BEST:: SOT 3711922 SOS 3089338 HAS SOPS 1561657 HAS SOUS 237881 HAS SOUPS 90912 WITH SCORE 94001.338
AT ITER 3191 NEW BEST:: SOT 3711852 SOS 3089458 HAS SOPS 1561657 HAS SOUS 237851 HAS SOUPS 90882 WITH SCORE 93971.458
AT ITER 3198 NEW BEST:: SOT 3711837 SOS 3089600 HAS SOPS 1561334 HAS SOUS 237834 HAS SOUPS 90865 WITH SCORE 93954.6
AT ITER 3218 NEW BEST:: SOT 3711814 SOS 3089554 HAS SOPS 1561288 HAS SOUS 237811 HAS SOUPS 90842 WITH SCORE 93931.554
AT ITER 3223 NEW BEST:: SOT 3711605 SOS 3089136 HAS SOPS 1560870 HAS SOUS 237776 HAS SOUPS 90807 WITH SCORE 93896.136
AT ITER 3238 NEW BEST:: SOT 3711618 SOS 3089490 HAS SOPS 1560240 HAS SOUS 237937 HAS SOUPS 90804 WITH SCORE 93893.49
AT ITER 3263 NEW BEST:: SOT 3711514 SOS 3089282 HAS SOPS 1560032 HAS SOUS 237833 HAS SOUPS 90700 WITH SCORE 93789.282
AT ITER 3312 NEW BEST:: SOT 3711514 SOS 3089282 HAS SOPS 1560032 HAS SOUS 237807 HAS SOUPS 90674 WITH SCORE 93763.282
AT ITER 3330 NEW BEST:: SOT 3711232 SOS 3092254 HAS SOPS 1561132 HAS SOUS 237733 HAS SOUPS 90496 WITH SCORE 93588.254
AT ITER 3343 NEW BEST:: SOT 3711232 SOS 3092254 HAS SOPS 1561132 HAS SOUS 237725 HAS SOUPS 90488 WITH SCORE 93580.254
AT ITER 3359 NEW BEST:: SOT 3711232 SOS 3092176 HAS SOPS 1561132 HAS SOUS 237712 HAS SOUPS 90488 WITH SCORE 93580.176
AT ITER 3368 NEW BEST:: SOT 3711232 SOS 3092176 HAS SOPS 1561132 HAS SOUS 237690 HAS SOUPS 90466 WITH SCORE 93558.176
AT ITER 3417 NEW BEST:: SOT 3711619 SOS 3094091 HAS SOPS 1563047 HAS SOUS 237686 HAS SOUPS 90462 WITH SCORE 93556.091
AT ITER 3436 NEW BEST:: SOT 3711640 SOS 3094133 HAS SOPS 1563089 HAS SOUS 237448 HAS SOUPS 90224 WITH SCORE 93318.133
AT ITER 3454 NEW BEST:: SOT 3711612 SOS 3094077 HAS SOPS 1563033 HAS SOUS 237420 HAS SOUPS 90196 WITH SCORE 93290.077
AT ITER 3482 NEW BEST:: SOT 3711418 SOS 3093114 HAS SOPS 1562070 HAS SOUS 237393 HAS SOUPS 90169 WITH SCORE 93262.114
AT ITER 3488 NEW BEST:: SOT 3711401 SOS 3093080 HAS SOPS 1562036 HAS SOUS 237376 HAS SOUPS 90152 WITH SCORE 93245.08
AT ITER 3497 NEW BEST:: SOT 3711251 SOS 3092650 HAS SOPS 1561606 HAS SOUS 237346 HAS SOUPS 90122 WITH SCORE 93214.65
AT ITER 3498 NEW BEST:: SOT 3711151 SOS 3092450 HAS SOPS 1561406 HAS SOUS 237217 HAS SOUPS 89993 WITH SCORE 93085.45
AT ITER 3537 NEW BEST:: SOT 3711151 SOS 3092450 HAS SOPS 1561406 HAS SOUS 237173 HAS SOUPS 89949 WITH SCORE 93041.45
AT ITER 3566 NEW BEST:: SOT 3711205 SOS 3089772 HAS SOPS 1558350 HAS SOUS 237158 HAS SOUPS 89871 WITH SCORE 92960.772
AT ITER 3573 NEW BEST:: SOT 3711213 SOS 3089788 HAS SOPS 1558366 HAS SOUS 237123 HAS SOUPS 89836 WITH SCORE 92925.788
AT ITER 3575 NEW BEST:: SOT 3711201 SOS 3089770 HAS SOPS 1558360 HAS SOUS 237122 HAS SOUPS 89836 WITH SCORE 92925.77
AT ITER 3607 NEW BEST:: SOT 3711425 SOS 3090183 HAS SOPS 1558463 HAS SOUS 237143 HAS SOUPS 89789 WITH SCORE 92879.183
AT ITER 3617 NEW BEST:: SOT 3711285 SOS 3089849 HAS SOPS 1558291 HAS SOUS 237030 HAS SOUPS 89703 WITH SCORE 92792.849
AT ITER 3623 NEW BEST:: SOT 3711285 SOS 3089849 HAS SOPS 1558291 HAS SOUS 237024 HAS SOUPS 89697 WITH SCORE 92786.849
AT ITER 3637 NEW BEST:: SOT 3711285 SOS 3089849 HAS SOPS 1558291 HAS SOUS 236936 HAS SOUPS 89609 WITH SCORE 92698.849
AT ITER 3647 NEW BEST:: SOT 3711263 SOS 3089607 HAS SOPS 1558247 HAS SOUS 236881 HAS SOUPS 89587 WITH SCORE 92676.607
AT ITER 3667 NEW BEST:: SOT 3711263 SOS 3089607 HAS SOPS 1558247 HAS SOUS 236879 HAS SOUPS 89585 WITH SCORE 92674.607
AT ITER 3687 NEW BEST:: SOT 3710849 SOS 3091769 HAS SOPS 1559029 HAS SOUS 236692 HAS SOUPS 89398 WITH SCORE 92489.769
AT ITER 3688 NEW BEST:: SOT 3710849 SOS 3086357 HAS SOPS 1558906 HAS SOUS 236663 HAS SOUPS 89369 WITH SCORE 92455.357
AT ITER 3705 NEW BEST:: SOT 3710813 SOS 3086285 HAS SOPS 1558834 HAS SOUS 236509 HAS SOUPS 89215 WITH SCORE 92301.285
AT ITER 3732 NEW BEST:: SOT 3710813 SOS 3086215 HAS SOPS 1558974 HAS SOUS 236474 HAS SOUPS 89215 WITH SCORE 92301.215
AT ITER 3736 NEW BEST:: SOT 3710689 SOS 3085925 HAS SOPS 1558684 HAS SOUS 236392 HAS SOUPS 89133 WITH SCORE 92218.925
AT ITER 3753 NEW BEST:: SOT 3710535 SOS 3085155 HAS SOPS 1558376 HAS SOUS 236161 HAS SOUPS 88979 WITH SCORE 92064.155
AT ITER 3821 NEW BEST:: SOT 3710531 SOS 3084787 HAS SOPS 1558368 HAS SOUS 236097 HAS SOUPS 88975 WITH SCORE 92059.787
AT ITER 3844 NEW BEST:: SOT 3710531 SOS 3084901 HAS SOPS 1558368 HAS SOUS 236097 HAS SOUPS 88956 WITH SCORE 92040.901
AT ITER 3860 NEW BEST:: SOT 3710517 SOS 3085647 HAS SOPS 1558340 HAS SOUS 236106 HAS SOUPS 88836 WITH SCORE 91921.647
AT ITER 3864 NEW BEST:: SOT 3710517 SOS 3085647 HAS SOPS 1558340 HAS SOUS 236094 HAS SOUPS 88824 WITH SCORE 91909.647
AT ITER 3911 NEW BEST:: SOT 3710517 SOS 3085647 HAS SOPS 1558628 HAS SOUS 235998 HAS SOUPS 88776 WITH SCORE 91861.647
AT ITER 3924 NEW BEST:: SOT 3710437 SOS 3085487 HAS SOPS 1558468 HAS SOUS 235882 HAS SOUPS 88660 WITH SCORE 91745.487
AT ITER 3935 NEW BEST:: SOT 3708218 SOS 3082466 HAS SOPS 1556467 HAS SOUS 235709 HAS SOUPS 88487 WITH SCORE 91569.466
AT ITER 3987 NEW BEST:: SOT 3708218 SOS 3077266 HAS SOPS 1556363 HAS SOUS 235545 HAS SOUPS 88427 WITH SCORE 91504.266
AT ITER 3999 NEW BEST:: SOT 3709042 SOS 3072678 HAS SOPS 1555411 HAS SOUS 235253 HAS SOUPS 88337 WITH SCORE 91409.678
AT ITER 4048 NEW BEST:: SOT 3709042 SOS 3072678 HAS SOPS 1555411 HAS SOUS 235241 HAS SOUPS 88325 WITH SCORE 91397.678
AT ITER 4078 NEW BEST:: SOT 3709042 SOS 3072678 HAS SOPS 1555411 HAS SOUS 235155 HAS SOUPS 88239 WITH SCORE 91311.678
AT ITER 4119 NEW BEST:: SOT 3708635 SOS 3075298 HAS SOPS 1556543 HAS SOUS 234875 HAS SOUPS 87959 WITH SCORE 91034.298
AT ITER 4200 NEW BEST:: SOT 3708635 SOS 3075298 HAS SOPS 1556543 HAS SOUS 234853 HAS SOUPS 87937 WITH SCORE 91012.298
AT ITER 4213 NEW BEST:: SOT 3708635 SOS 3075298 HAS SOPS 1556543 HAS SOUS 234799 HAS SOUPS 87883 WITH SCORE 90958.298
AT ITER 4269 NEW BEST:: SOT 3708611 SOS 3075274 HAS SOPS 1556519 HAS SOUS 234793 HAS SOUPS 87877 WITH SCORE 90952.274
AT ITER 4279 NEW BEST:: SOT 3708575 SOS 3075238 HAS SOPS 1556483 HAS SOUS 234757 HAS SOUPS 87841 WITH SCORE 90916.238
AT ITER 4312 NEW BEST:: SOT 3708554 SOS 3075292 HAS SOPS 1556501 HAS SOUS 234748 HAS SOUPS 87832 WITH SCORE 90907.292
AT ITER 4376 NEW BEST:: SOT 3708502 SOS 3075012 HAS SOPS 1556221 HAS SOUS 234678 HAS SOUPS 87762 WITH SCORE 90837.012
AT ITER 4384 NEW BEST:: SOT 3708409 SOS 3074838 HAS SOPS 1556141 HAS SOUS 234590 HAS SOUPS 87688 WITH SCORE 90762.838
AT ITER 4422 NEW BEST:: SOT 3708409 SOS 3074808 HAS SOPS 1556111 HAS SOUS 234579 HAS SOUPS 87677 WITH SCORE 90751.808
AT ITER 4426 NEW BEST:: SOT 3708409 SOS 3074808 HAS SOPS 1556111 HAS SOUS 234569 HAS SOUPS 87667 WITH SCORE 90741.808
AT ITER 4506 NEW BEST:: SOT 3707303 SOS 3073361 HAS SOPS 1555200 HAS SOUS 234519 HAS SOUPS 87579 WITH SCORE 90652.361
AT ITER 4520 NEW BEST:: SOT 3707335 SOS 3073569 HAS SOPS 1555160 HAS SOUS 234511 HAS SOUPS 87571 WITH SCORE 90644.569
AT ITER 4531 NEW BEST:: SOT 3707360 SOS 3073619 HAS SOPS 1555210 HAS SOUS 234346 HAS SOUPS 87406 WITH SCORE 90479.619
AT ITER 4560 NEW BEST:: SOT 3707360 SOS 3073619 HAS SOPS 1555210 HAS SOUS 234340 HAS SOUPS 87400 WITH SCORE 90473.619
AT ITER 4570 NEW BEST:: SOT 3707337 SOS 3073573 HAS SOPS 1555164 HAS SOUS 234317 HAS SOUPS 87377 WITH SCORE 90450.573
AT ITER 4574 NEW BEST:: SOT 3707278 SOS 3074575 HAS SOPS 1555746 HAS SOUS 234306 HAS SOUPS 87366 WITH SCORE 90440.575
AT ITER 4596 NEW BEST:: SOT 3706557 SOS 3072675 HAS SOPS 1555220 HAS SOUS 234044 HAS SOUPS 87333 WITH SCORE 90405.675
AT ITER 4683 NEW BEST:: SOT 3706616 SOS 3072841 HAS SOPS 1555386 HAS SOUS 234042 HAS SOUPS 87331 WITH SCORE 90403.841
AT ITER 4687 NEW BEST:: SOT 3706611 SOS 3072836 HAS SOPS 1555381 HAS SOUS 234037 HAS SOUPS 87326 WITH SCORE 90398.836
AT ITER 4694 NEW BEST:: SOT 3706608 SOS 3072080 HAS SOPS 1554625 HAS SOUS 234037 HAS SOUPS 87326 WITH SCORE 90398.08
AT ITER 4695 NEW BEST:: SOT 3706608 SOS 3072080 HAS SOPS 1554625 HAS SOUS 234031 HAS SOUPS 87320 WITH SCORE 90392.08
AT ITER 4776 NEW BEST:: SOT 3706608 SOS 3072080 HAS SOPS 1554625 HAS SOUS 233969 HAS SOUPS 87258 WITH SCORE 90330.08
AT ITER 4778 NEW BEST:: SOT 3706695 SOS 3068036 HAS SOPS 1552579 HAS SOUS 233741 HAS SOUPS 87141 WITH SCORE 90209.036
AT ITER 4789 NEW BEST:: SOT 3706695 SOS 3067982 HAS SOPS 1552525 HAS SOUS 233732 HAS SOUPS 87132 WITH SCORE 90199.982
AT ITER 4814 NEW BEST:: SOT 3706656 SOS 3068276 HAS SOPS 1552447 HAS SOUS 233755 HAS SOUPS 87093 WITH SCORE 90161.276
AT ITER 4835 NEW BEST:: SOT 3706536 SOS 3068116 HAS SOPS 1552347 HAS SOUS 233755 HAS SOUPS 87093 WITH SCORE 90161.116
AT ITER 4838 NEW BEST:: SOT 3706524 SOS 3068092 HAS SOPS 1552323 HAS SOUS 233743 HAS SOUPS 87081 WITH SCORE 90149.092
AT ITER 4854 NEW BEST:: SOT 3702120 SOS 3061366 HAS SOPS 1549497 HAS SOUS 233452 HAS SOUPS 87063 WITH SCORE 90124.366
AT ITER 4882 NEW BEST:: SOT 3702052 SOS 3060880 HAS SOPS 1550061 HAS SOUS 233209 HAS SOUPS 86995 WITH SCORE 90055.88
AT ITER 4889 NEW BEST:: SOT 3702052 SOS 3060880 HAS SOPS 1550061 HAS SOUS 233203 HAS SOUPS 86989 WITH SCORE 90049.88
AT ITER 4913 NEW BEST:: SOT 3701974 SOS 3060424 HAS SOPS 1549605 HAS SOUS 233075 HAS SOUPS 86861 WITH SCORE 89921.424
AT ITER 4923 NEW BEST:: SOT 3701974 SOS 3060424 HAS SOPS 1549605 HAS SOUS 233067 HAS SOUPS 86853 WITH SCORE 89913.424
AT ITER 4997 NEW BEST:: SOT 3701974 SOS 3060424 HAS SOPS 1549605 HAS SOUS 233031 HAS SOUPS 86817 WITH SCORE 89877.424
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-00 (EU( (EF(potential( ( 3 ) <= (tk(P541)) ))),(EF(potential( ( 2 ) <= (tk(P84)) ))) ))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-01 (EG( (AG( ( potential( (tk(P842)) <= (tk(P497)) ) | potential( (tk(P543)) <= (tk(P307)) ) )))))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-02 (AF(( ( ( potential( ( 3 ) <= (tk(P374)) ) | potential( ( 3 ) <= (tk(P547)) ) ) | potential( ( 1 ) <= (tk(P81)) ) ) | (AG( potential( (tk(P626)) <= (tk(P407)) ))) )))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-03 (! (AU( ( potential( ( 2 ) <= (tk(P195)) ) | potential( (tk(P341)) <= (tk(P771)) ) ),potential( ( 3 ) <= (tk(P238)) ) )))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-04 (! (AG( ( ( potential( ( 2 ) <= (tk(P599)) ) & potential( ( 2 ) <= (tk(P426)) ) ) | ( potential( (tk(P378)) <= (tk(P804)) ) | potential( ( 2 ) <= (tk(P287)) ) ) ))))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-05 (AF(potential( ( 2 ) <= (tk(P575)) )))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-06 (AF((EG( ( potential( (tk(P330)) <= (tk(P208)) ) & potential( (tk(P671)) <= (tk(P493)) ) )))))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-07 (AF((EF(( potential( ( 1 ) <= (tk(P116)) ) & potential( ( 3 ) <= (tk(P673)) ) )))))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-08 ( (EX( (! potential( (tk(P186)) <= (tk(P14)) )))) | (! ( (AG( potential( (tk(P337)) <= (tk(P754)) ))) & ( potential( (tk(P632)) <= (tk(P594)) ) | ( potential( ( 3 ) <= (tk(P400)) ) & potential( ( 3 ) <= (tk(P55)) ) ) ) )) )
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-09 (! (AF((! potential( (tk(P885)) <= (tk(P504)) )))))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-10 ( ( ( (! ( potential( ( 2 ) <= (tk(P752)) ) & potential( ( 3 ) <= (tk(P43)) ) )) | (AF(potential( ( 3 ) <= (tk(P110)) ))) ) & (AF((! potential( (tk(P469)) <= (tk(P839)) )))) ) & (EF((! potential( ( 1 ) <= (tk(P144)) )))) )
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-11 (! ( (EG( (! potential( ( 2 ) <= (tk(P895)) )))) | (AX( (! potential( (tk(P190)) <= (tk(P499)) )))) ))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-12 (! (EF(( (! potential( (tk(P392)) <= (tk(P505)) )) & ( potential( (tk(P791)) <= (tk(P847)) ) | potential( (tk(P137)) <= (tk(P516)) ) ) ))))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-13 (AG( (EX( (! potential( ( 1 ) <= (tk(P249)) ))))))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-14 (! (! (EG( potential( (tk(P805)) <= (tk(P624)) )))))
PROPERTY: DLCflexbar-PT-4a-CTLCardinality-15 (EU( (EG( potential( (tk(P647)) <= (tk(P652)) ))),( ( potential( ( 2 ) <= (tk(P119)) ) | potential( ( 1 ) <= (tk(P114)) ) ) & potential( (tk(P562)) <= (tk(P127)) ) ) ))

BK_STOP 1589117321249

--------------------
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: 484 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="DLCflexbar-PT-4a"
export BK_EXAMINATION="CTLCardinality"
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 DLCflexbar-PT-4a, examination is CTLCardinality"
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-158902542100371"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-4a.tgz
mv DLCflexbar-PT-4a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;