About the Execution of smart for DLCflexbar-PT-5a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.160 | 3460449.00 | 3460060.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 '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542100387.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-5a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100387
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.9M
-rw-r--r-- 1 mcc users 3.6K Mar 30 05:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 05:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 19:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 19:46 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.1K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 12:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 12:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 10:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 10:35 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 2.8M 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-5a-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-5a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589114953255
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 5a
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: 1415 places, 10593 transitions, 41484 arcs.
AT ITER 0 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567692 HAS SOUPS 243619 WITH SCORE 251147.787
AT ITER 11 NEW BEST:: SOT 8911691 SOS 7537046 HAS SOPS 3712849 HAS SOUS 566383 HAS SOUPS 242310 WITH SCORE 249847.046
AT ITER 53 NEW BEST:: SOT 8911491 SOS 7535962 HAS SOPS 3713361 HAS SOUS 565955 HAS SOUPS 242110 WITH SCORE 249645.962
AT ITER 56 NEW BEST:: SOT 8911242 SOS 7535464 HAS SOPS 3714424 HAS SOUS 565359 HAS SOUPS 241737 WITH SCORE 249272.464
AT ITER 72 NEW BEST:: SOT 8909565 SOS 7547114 HAS SOPS 3717737 HAS SOUS 565536 HAS SOUPS 241517 WITH SCORE 249064.114
AT ITER 82 NEW BEST:: SOT 8909565 SOS 7547114 HAS SOPS 3717737 HAS SOUS 565414 HAS SOUPS 241395 WITH SCORE 248942.114
AT ITER 106 NEW BEST:: SOT 8909565 SOS 7547114 HAS SOPS 3717737 HAS SOUS 565412 HAS SOUPS 241393 WITH SCORE 248940.114
AT ITER 112 NEW BEST:: SOT 8909325 SOS 7545842 HAS SOPS 3718313 HAS SOUS 564908 HAS SOUPS 241153 WITH SCORE 248698.842
AT ITER 115 NEW BEST:: SOT 8908287 SOS 7548842 HAS SOPS 3717323 HAS SOUS 564275 HAS SOUPS 240330 WITH SCORE 247878.842
AT ITER 127 NEW BEST:: SOT 8908065 SOS 7548398 HAS SOPS 3718573 HAS SOUS 563734 HAS SOUPS 240031 WITH SCORE 247579.398
AT ITER 133 NEW BEST:: SOT 8907813 SOS 7548794 HAS SOPS 3718213 HAS SOUS 563590 HAS SOUPS 239851 WITH SCORE 247399.794
AT ITER 135 NEW BEST:: SOT 8907675 SOS 7547741 HAS SOPS 3718973 HAS SOUS 563193 HAS SOUPS 239713 WITH SCORE 247260.741
AT ITER 140 NEW BEST:: SOT 8906436 SOS 7528181 HAS SOPS 3720328 HAS SOUS 562789 HAS SOUPS 239309 WITH SCORE 246837.181
AT ITER 144 NEW BEST:: SOT 8906295 SOS 7527392 HAS SOPS 3720722 HAS SOUS 562520 HAS SOUPS 239209 WITH SCORE 246736.392
AT ITER 155 NEW BEST:: SOT 8906295 SOS 7527392 HAS SOPS 3720722 HAS SOUS 562464 HAS SOUPS 239153 WITH SCORE 246680.392
AT ITER 182 NEW BEST:: SOT 8905236 SOS 7529619 HAS SOPS 3719022 HAS SOUS 561750 HAS SOUPS 238252 WITH SCORE 245781.619
AT ITER 184 NEW BEST:: SOT 8905137 SOS 7529421 HAS SOPS 3718824 HAS SOUS 561650 HAS SOUPS 238152 WITH SCORE 245681.421
AT ITER 187 NEW BEST:: SOT 8904011 SOS 7532455 HAS SOPS 3717574 HAS SOUS 560949 HAS SOUPS 237247 WITH SCORE 244779.455
AT ITER 201 NEW BEST:: SOT 8903396 SOS 7547108 HAS SOPS 3723218 HAS SOUS 560799 HAS SOUPS 236668 WITH SCORE 244215.108
AT ITER 217 NEW BEST:: SOT 8902713 SOS 7544412 HAS SOPS 3722384 HAS SOUS 559699 HAS SOUPS 235834 WITH SCORE 243378.412
AT ITER 230 NEW BEST:: SOT 8902086 SOS 7559377 HAS SOPS 3728151 HAS SOUS 559966 HAS SOUPS 235663 WITH SCORE 243222.377
AT ITER 249 NEW BEST:: SOT 8900523 SOS 7565368 HAS SOPS 3729592 HAS SOUS 558902 HAS SOUPS 234599 WITH SCORE 242164.368
AT ITER 263 NEW BEST:: SOT 8900414 SOS 7565150 HAS SOPS 3730137 HAS SOUS 558684 HAS SOUPS 234490 WITH SCORE 242055.15
AT ITER 295 NEW BEST:: SOT 8899685 SOS 7562252 HAS SOPS 3729255 HAS SOUS 557514 HAS SOUPS 233608 WITH SCORE 241170.252
AT ITER 308 NEW BEST:: SOT 8899752 SOS 7559945 HAS SOPS 3727886 HAS SOUS 557503 HAS SOUPS 233597 WITH SCORE 241156.945
AT ITER 318 NEW BEST:: SOT 8899542 SOS 7558325 HAS SOPS 3727676 HAS SOUS 557383 HAS SOUPS 233477 WITH SCORE 241035.325
AT ITER 326 NEW BEST:: SOT 8897193 SOS 7564246 HAS SOPS 3728599 HAS SOUS 555913 HAS SOUPS 232007 WITH SCORE 239571.246
AT ITER 345 NEW BEST:: SOT 8897193 SOS 7564246 HAS SOPS 3728599 HAS SOUS 555867 HAS SOUPS 231961 WITH SCORE 239525.246
AT ITER 364 NEW BEST:: SOT 8896093 SOS 7567831 HAS SOPS 3727858 HAS SOUS 555219 HAS SOUPS 231107 WITH SCORE 238674.831
AT ITER 376 NEW BEST:: SOT 8895432 SOS 7569757 HAS SOPS 3727432 HAS SOUS 554958 HAS SOUPS 230734 WITH SCORE 238303.757
AT ITER 385 NEW BEST:: SOT 8895277 SOS 7569447 HAS SOPS 3729159 HAS SOUS 554488 HAS SOUPS 230555 WITH SCORE 238124.447
AT ITER 400 NEW BEST:: SOT 8895277 SOS 7569447 HAS SOPS 3729159 HAS SOUS 554364 HAS SOUPS 230431 WITH SCORE 238000.447
AT ITER 410 NEW BEST:: SOT 8894219 SOS 7572276 HAS SOPS 3727956 HAS SOUS 553698 HAS SOUPS 229573 WITH SCORE 237145.276
AT ITER 421 NEW BEST:: SOT 8889878 SOS 7565119 HAS SOPS 3724975 HAS SOUS 553209 HAS SOUPS 229339 WITH SCORE 236904.119
AT ITER 430 NEW BEST:: SOT 8888408 SOS 7574726 HAS SOPS 3728954 HAS SOUS 552415 HAS SOUPS 228545 WITH SCORE 236119.726
AT ITER 468 NEW BEST:: SOT 8888408 SOS 7574439 HAS SOPS 3729276 HAS SOUS 552328 HAS SOUPS 228545 WITH SCORE 236119.439
AT ITER 476 NEW BEST:: SOT 8888408 SOS 7574439 HAS SOPS 3729276 HAS SOUS 552216 HAS SOUPS 228433 WITH SCORE 236007.439
AT ITER 502 NEW BEST:: SOT 8888408 SOS 7574439 HAS SOPS 3729276 HAS SOUS 552092 HAS SOUPS 228309 WITH SCORE 235883.439
AT ITER 506 NEW BEST:: SOT 8888290 SOS 7574203 HAS SOPS 3729453 HAS SOUS 551856 HAS SOUPS 228132 WITH SCORE 235706.203
AT ITER 508 NEW BEST:: SOT 8888120 SOS 7570983 HAS SOPS 3728753 HAS SOUS 550796 HAS SOUPS 227432 WITH SCORE 235002.983
AT ITER 515 NEW BEST:: SOT 8888120 SOS 7570983 HAS SOPS 3728753 HAS SOUS 550750 HAS SOUPS 227386 WITH SCORE 234956.983
AT ITER 521 NEW BEST:: SOT 8887727 SOS 7577073 HAS SOPS 3732169 HAS SOUS 550567 HAS SOUPS 227203 WITH SCORE 234780.073
AT ITER 526 NEW BEST:: SOT 8887118 SOS 7581435 HAS SOPS 3734361 HAS SOUS 550113 HAS SOUPS 226749 WITH SCORE 234330.435
AT ITER 527 NEW BEST:: SOT 8886991 SOS 7580293 HAS SOPS 3735291 HAS SOUS 549807 HAS SOUPS 226739 WITH SCORE 234319.293
AT ITER 532 NEW BEST:: SOT 8886991 SOS 7580293 HAS SOPS 3735291 HAS SOUS 549717 HAS SOUPS 226649 WITH SCORE 234229.293
AT ITER 539 NEW BEST:: SOT 8886788 SOS 7581712 HAS SOPS 3735177 HAS SOUS 549579 HAS SOUPS 226438 WITH SCORE 234019.712
AT ITER 549 NEW BEST:: SOT 8886678 SOS 7581492 HAS SOPS 3733914 HAS SOUS 549454 HAS SOUPS 226164 WITH SCORE 233745.492
AT ITER 565 NEW BEST:: SOT 8886678 SOS 7581492 HAS SOPS 3733914 HAS SOUS 549416 HAS SOUPS 226126 WITH SCORE 233707.492
AT ITER 584 NEW BEST:: SOT 8886293 SOS 7581932 HAS SOPS 3733584 HAS SOUS 549251 HAS SOUPS 225961 WITH SCORE 233542.932
AT ITER 585 NEW BEST:: SOT 8886293 SOS 7581932 HAS SOPS 3733584 HAS SOUS 549225 HAS SOUPS 225935 WITH SCORE 233516.932
AT ITER 596 NEW BEST:: SOT 8886153 SOS 7582000 HAS SOPS 3733652 HAS SOUS 549171 HAS SOUPS 225881 WITH SCORE 233463.0
AT ITER 598 NEW BEST:: SOT 8886153 SOS 7582000 HAS SOPS 3733652 HAS SOUS 549125 HAS SOUPS 225835 WITH SCORE 233417.0
AT ITER 606 NEW BEST:: SOT 8885911 SOS 7580452 HAS SOPS 3733168 HAS SOUS 548617 HAS SOUPS 225479 WITH SCORE 233059.452
AT ITER 614 NEW BEST:: SOT 8885731 SOS 7580592 HAS SOPS 3732888 HAS SOUS 548497 HAS SOUPS 225339 WITH SCORE 232919.592
AT ITER 620 NEW BEST:: SOT 8885690 SOS 7580510 HAS SOPS 3733828 HAS SOUS 548310 HAS SOUPS 225298 WITH SCORE 232878.51
AT ITER 626 NEW BEST:: SOT 8884343 SOS 7589660 HAS SOPS 3737882 HAS SOUS 547730 HAS SOUPS 224718 WITH SCORE 232307.66
AT ITER 632 NEW BEST:: SOT 8883294 SOS 7592117 HAS SOPS 3736412 HAS SOUS 547044 HAS SOUPS 223845 WITH SCORE 231437.117
AT ITER 637 NEW BEST:: SOT 8883268 SOS 7592065 HAS SOPS 3736360 HAS SOUS 547018 HAS SOUPS 223819 WITH SCORE 231411.065
AT ITER 651 NEW BEST:: SOT 8883116 SOS 7591761 HAS SOPS 3736588 HAS SOUS 546714 HAS SOUPS 223591 WITH SCORE 231182.761
AT ITER 660 NEW BEST:: SOT 8883076 SOS 7591681 HAS SOPS 3736508 HAS SOUS 546634 HAS SOUPS 223511 WITH SCORE 231102.681
AT ITER 670 NEW BEST:: SOT 8882684 SOS 7590897 HAS SOPS 3737348 HAS SOUS 545850 HAS SOUPS 222959 WITH SCORE 230549.897
AT ITER 678 NEW BEST:: SOT 8882576 SOS 7590681 HAS SOPS 3737510 HAS SOUS 545688 HAS SOUPS 222851 WITH SCORE 230441.681
AT ITER 698 NEW BEST:: SOT 8880685 SOS 7598585 HAS SOPS 3739982 HAS SOUS 544207 HAS SOUPS 221370 WITH SCORE 228968.585
AT ITER 701 NEW BEST:: SOT 8880685 SOS 7598585 HAS SOPS 3739982 HAS SOUS 544083 HAS SOUPS 221246 WITH SCORE 228844.585
AT ITER 713 NEW BEST:: SOT 8880685 SOS 7598585 HAS SOPS 3739982 HAS SOUS 543977 HAS SOUPS 221140 WITH SCORE 228738.585
AT ITER 736 NEW BEST:: SOT 8879933 SOS 7599655 HAS SOPS 3738595 HAS SOUS 543480 HAS SOUPS 220526 WITH SCORE 228125.655
AT ITER 746 NEW BEST:: SOT 8879933 SOS 7599655 HAS SOPS 3738595 HAS SOUS 543442 HAS SOUPS 220488 WITH SCORE 228087.655
AT ITER 751 NEW BEST:: SOT 8879986 SOS 7597853 HAS SOPS 3737535 HAS SOUS 543442 HAS SOUPS 220488 WITH SCORE 228085.853
AT ITER 763 NEW BEST:: SOT 8879922 SOS 7597725 HAS SOPS 3737407 HAS SOUS 543335 HAS SOUPS 220381 WITH SCORE 227978.725
AT ITER 766 NEW BEST:: SOT 8878150 SOS 7602454 HAS SOPS 3738132 HAS SOUS 542138 HAS SOUPS 219184 WITH SCORE 226786.454
AT ITER 786 NEW BEST:: SOT 8877404 SOS 7607033 HAS SOPS 3739939 HAS SOUS 541561 HAS SOUPS 218607 WITH SCORE 226214.033
AT ITER 787 NEW BEST:: SOT 8875724 SOS 7616493 HAS SOPS 3743967 HAS SOUS 540676 HAS SOUPS 217722 WITH SCORE 225338.493
AT ITER 797 NEW BEST:: SOT 8875687 SOS 7616518 HAS SOPS 3743761 HAS SOUS 540635 HAS SOUPS 217648 WITH SCORE 225264.518
AT ITER 798 NEW BEST:: SOT 8875525 SOS 7615627 HAS SOPS 3743437 HAS SOUS 540310 HAS SOUPS 217404 WITH SCORE 225019.627
AT ITER 806 NEW BEST:: SOT 8874735 SOS 7638537 HAS SOPS 3742252 HAS SOUS 539125 HAS SOUPS 216219 WITH SCORE 223857.537
AT ITER 839 NEW BEST:: SOT 8874735 SOS 7638537 HAS SOPS 3742252 HAS SOUS 539001 HAS SOUPS 216095 WITH SCORE 223733.537
AT ITER 850 NEW BEST:: SOT 8874635 SOS 7638337 HAS SOPS 3742052 HAS SOUS 538951 HAS SOUPS 216045 WITH SCORE 223683.337
AT ITER 866 NEW BEST:: SOT 8874080 SOS 7639273 HAS SOPS 3741035 HAS SOUS 538720 HAS SOUPS 215721 WITH SCORE 223360.273
AT ITER 894 NEW BEST:: SOT 8872587 SOS 7649854 HAS SOPS 3745820 HAS SOUS 538007 HAS SOUPS 215008 WITH SCORE 222657.854
AT ITER 895 NEW BEST:: SOT 8872567 SOS 7649814 HAS SOPS 3748342 HAS SOUS 537641 HAS SOUPS 215008 WITH SCORE 222657.814
AT ITER 897 NEW BEST:: SOT 8872369 SOS 7651468 HAS SOPS 3748274 HAS SOUS 537501 HAS SOUPS 214786 WITH SCORE 222437.468
AT ITER 899 NEW BEST:: SOT 8872366 SOS 7648150 HAS SOPS 3746244 HAS SOUS 537406 HAS SOUPS 214691 WITH SCORE 222339.15
AT ITER 916 NEW BEST:: SOT 8871138 SOS 7653820 HAS SOPS 3748302 HAS SOUS 536677 HAS SOUPS 213962 WITH SCORE 221615.82
AT ITER 931 NEW BEST:: SOT 8871036 SOS 7653616 HAS SOPS 3748098 HAS SOUS 536572 HAS SOUPS 213857 WITH SCORE 221510.616
AT ITER 949 NEW BEST:: SOT 8870065 SOS 7662377 HAS SOPS 3751959 HAS SOUS 536247 HAS SOUPS 213532 WITH SCORE 221194.377
AT ITER 960 NEW BEST:: SOT 8870065 SOS 7662377 HAS SOPS 3751959 HAS SOUS 536215 HAS SOUPS 213500 WITH SCORE 221162.377
AT ITER 961 NEW BEST:: SOT 8868692 SOS 7658596 HAS SOPS 3750593 HAS SOUS 535503 HAS SOUPS 213133 WITH SCORE 220791.596
AT ITER 962 NEW BEST:: SOT 8868128 SOS 7656796 HAS SOPS 3748793 HAS SOUS 534771 HAS SOUPS 212401 WITH SCORE 220057.796
AT ITER 969 NEW BEST:: SOT 8868012 SOS 7656564 HAS SOPS 3749373 HAS SOUS 534539 HAS SOUPS 212285 WITH SCORE 219941.564
AT ITER 986 NEW BEST:: SOT 8868012 SOS 7656564 HAS SOPS 3749373 HAS SOUS 534415 HAS SOUPS 212161 WITH SCORE 219817.564
AT ITER 990 NEW BEST:: SOT 8868012 SOS 7656564 HAS SOPS 3749373 HAS SOUS 534291 HAS SOUPS 212037 WITH SCORE 219693.564
AT ITER 1003 NEW BEST:: SOT 8868012 SOS 7656564 HAS SOPS 3749373 HAS SOUS 534195 HAS SOUPS 211941 WITH SCORE 219597.564
AT ITER 1022 NEW BEST:: SOT 8867824 SOS 7657288 HAS SOPS 3749173 HAS SOUS 534079 HAS SOUPS 211781 WITH SCORE 219438.288
AT ITER 1026 NEW BEST:: SOT 8867824 SOS 7657288 HAS SOPS 3749173 HAS SOUS 533965 HAS SOUPS 211667 WITH SCORE 219324.288
AT ITER 1035 NEW BEST:: SOT 8863867 SOS 7650684 HAS SOPS 3746703 HAS SOUS 533598 HAS SOUPS 211618 WITH SCORE 219268.684
AT ITER 1045 NEW BEST:: SOT 8863779 SOS 7650200 HAS SOPS 3746219 HAS SOUS 533465 HAS SOUPS 211485 WITH SCORE 219135.2
AT ITER 1055 NEW BEST:: SOT 8862745 SOS 7647421 HAS SOPS 3745099 HAS SOUS 532760 HAS SOUPS 211017 WITH SCORE 218664.421
AT ITER 1062 NEW BEST:: SOT 8862624 SOS 7636623 HAS SOPS 3745045 HAS SOUS 532503 HAS SOUPS 210918 WITH SCORE 218554.623
AT ITER 1074 NEW BEST:: SOT 8862483 SOS 7638213 HAS SOPS 3745907 HAS SOUS 532414 HAS SOUPS 210829 WITH SCORE 218467.213
AT ITER 1076 NEW BEST:: SOT 8862483 SOS 7638213 HAS SOPS 3745907 HAS SOUS 532290 HAS SOUPS 210705 WITH SCORE 218343.213
AT ITER 1093 NEW BEST:: SOT 8862393 SOS 7638033 HAS SOPS 3745412 HAS SOUS 532200 HAS SOUPS 210570 WITH SCORE 218208.033
AT ITER 1150 NEW BEST:: SOT 8862393 SOS 7638033 HAS SOPS 3745412 HAS SOUS 532090 HAS SOUPS 210460 WITH SCORE 218098.033
AT ITER 1162 NEW BEST:: SOT 8862203 SOS 7638037 HAS SOPS 3745416 HAS SOUS 531994 HAS SOUPS 210364 WITH SCORE 218002.037
AT ITER 1185 NEW BEST:: SOT 8862203 SOS 7637461 HAS SOPS 3746184 HAS SOUS 531802 HAS SOUPS 210364 WITH SCORE 218001.461
AT ITER 1190 NEW BEST:: SOT 8862203 SOS 7637461 HAS SOPS 3746184 HAS SOUS 531678 HAS SOUPS 210240 WITH SCORE 217877.461
AT ITER 1193 NEW BEST:: SOT 8862203 SOS 7637461 HAS SOPS 3746184 HAS SOUS 531554 HAS SOUPS 210116 WITH SCORE 217753.461
AT ITER 1194 NEW BEST:: SOT 8861117 SOS 7639117 HAS SOPS 3745404 HAS SOUS 531065 HAS SOUPS 209627 WITH SCORE 217266.117
AT ITER 1208 NEW BEST:: SOT 8861078 SOS 7638766 HAS SOPS 3745053 HAS SOUS 530987 HAS SOUPS 209549 WITH SCORE 217187.766
AT ITER 1218 NEW BEST:: SOT 8860011 SOS 7647980 HAS SOPS 3748863 HAS SOUS 530800 HAS SOUPS 209362 WITH SCORE 217009.98
AT ITER 1238 NEW BEST:: SOT 8860011 SOS 7647126 HAS SOPS 3748863 HAS SOUS 530598 HAS SOUPS 209282 WITH SCORE 216929.126
AT ITER 1258 NEW BEST:: SOT 8860011 SOS 7647126 HAS SOPS 3748863 HAS SOUS 530556 HAS SOUPS 209240 WITH SCORE 216887.126
AT ITER 1281 NEW BEST:: SOT 8859967 SOS 7647038 HAS SOPS 3749083 HAS SOUS 530468 HAS SOUPS 209196 WITH SCORE 216843.038
AT ITER 1297 NEW BEST:: SOT 8859967 SOS 7647038 HAS SOPS 3749083 HAS SOUS 530432 HAS SOUPS 209160 WITH SCORE 216807.038
AT ITER 1302 NEW BEST:: SOT 8859967 SOS 7647038 HAS SOPS 3749083 HAS SOUS 530308 HAS SOUPS 209036 WITH SCORE 216683.038
AT ITER 1306 NEW BEST:: SOT 8859718 SOS 7646065 HAS SOPS 3748110 HAS SOUS 529964 HAS SOUPS 208692 WITH SCORE 216338.065
AT ITER 1316 NEW BEST:: SOT 8859556 SOS 7644747 HAS SOPS 3748430 HAS SOUS 529541 HAS SOUPS 208503 WITH SCORE 216147.747
AT ITER 1326 NEW BEST:: SOT 8859504 SOS 7643628 HAS SOPS 3747311 HAS SOUS 529344 HAS SOUPS 208306 WITH SCORE 215949.628
AT ITER 1327 NEW BEST:: SOT 8858431 SOS 7647355 HAS SOPS 3747706 HAS SOUS 528455 HAS SOUPS 207417 WITH SCORE 215064.355
AT ITER 1382 NEW BEST:: SOT 8858431 SOS 7647355 HAS SOPS 3747706 HAS SOUS 528403 HAS SOUPS 207365 WITH SCORE 215012.355
AT ITER 1447 NEW BEST:: SOT 8858431 SOS 7647355 HAS SOPS 3747706 HAS SOUS 528279 HAS SOUPS 207241 WITH SCORE 214888.355
AT ITER 1451 NEW BEST:: SOT 8858431 SOS 7647355 HAS SOPS 3747706 HAS SOUS 528235 HAS SOUPS 207197 WITH SCORE 214844.355
AT ITER 1458 NEW BEST:: SOT 8857837 SOS 7620097 HAS SOPS 3747308 HAS SOUS 527826 HAS SOUPS 207183 WITH SCORE 214803.097
AT ITER 1464 NEW BEST:: SOT 8857790 SOS 7623897 HAS SOPS 3747937 HAS SOUS 527654 HAS SOUPS 206860 WITH SCORE 214483.897
AT ITER 1475 NEW BEST:: SOT 8857546 SOS 7624355 HAS SOPS 3747793 HAS SOUS 527639 HAS SOUPS 206845 WITH SCORE 214469.355
AT ITER 1534 NEW BEST:: SOT 8857366 SOS 7624079 HAS SOPS 3747607 HAS SOUS 527458 HAS SOUPS 206664 WITH SCORE 214288.079
AT ITER 1551 NEW BEST:: SOT 8857366 SOS 7624079 HAS SOPS 3747607 HAS SOUS 527454 HAS SOUPS 206660 WITH SCORE 214284.079
AT ITER 1555 NEW BEST:: SOT 8857303 SOS 7623953 HAS SOPS 3747173 HAS SOUS 527416 HAS SOUPS 206578 WITH SCORE 214201.953
AT ITER 1570 NEW BEST:: SOT 8857151 SOS 7622613 HAS SOPS 3748220 HAS SOUS 526829 HAS SOUPS 206332 WITH SCORE 213954.613
AT ITER 1579 NEW BEST:: SOT 8851204 SOS 7613319 HAS SOPS 3744179 HAS SOUS 526590 HAS SOUPS 206268 WITH SCORE 213881.319
AT ITER 1580 NEW BEST:: SOT 8851186 SOS 7613841 HAS SOPS 3744152 HAS SOUS 526563 HAS SOUPS 206241 WITH SCORE 213854.84100000001
AT ITER 1581 NEW BEST:: SOT 8849644 SOS 7619582 HAS SOPS 3745119 HAS SOUS 525478 HAS SOUPS 205156 WITH SCORE 212775.582
AT ITER 1586 NEW BEST:: SOT 8849644 SOS 7619582 HAS SOPS 3745119 HAS SOUS 525452 HAS SOUPS 205130 WITH SCORE 212749.582
AT ITER 1615 NEW BEST:: SOT 8849556 SOS 7619406 HAS SOPS 3744943 HAS SOUS 525364 HAS SOUPS 205042 WITH SCORE 212661.406
AT ITER 1649 NEW BEST:: SOT 8849556 SOS 7619406 HAS SOPS 3744943 HAS SOUS 525260 HAS SOUPS 204938 WITH SCORE 212557.406
AT ITER 1665 NEW BEST:: SOT 8849161 SOS 7618796 HAS SOPS 3744648 HAS SOUS 525225 HAS SOUPS 204903 WITH SCORE 212521.796
AT ITER 1672 NEW BEST:: SOT 8849161 SOS 7618796 HAS SOPS 3744648 HAS SOUS 525145 HAS SOUPS 204823 WITH SCORE 212441.796
AT ITER 1706 NEW BEST:: SOT 8848985 SOS 7617604 HAS SOPS 3745416 HAS SOUS 524689 HAS SOUPS 204647 WITH SCORE 212264.604
AT ITER 1719 NEW BEST:: SOT 8846838 SOS 7599489 HAS SOPS 3747464 HAS SOUS 523871 HAS SOUPS 203829 WITH SCORE 211428.489
AT ITER 1736 NEW BEST:: SOT 8846838 SOS 7598803 HAS SOPS 3747464 HAS SOUS 523773 HAS SOUPS 203829 WITH SCORE 211427.803
AT ITER 1741 NEW BEST:: SOT 8846838 SOS 7598803 HAS SOPS 3747464 HAS SOUS 523649 HAS SOUPS 203705 WITH SCORE 211303.803
AT ITER 1747 NEW BEST:: SOT 8847314 SOS 7601139 HAS SOPS 3749800 HAS SOUS 523449 HAS SOUPS 203505 WITH SCORE 211106.139
AT ITER 1755 NEW BEST:: SOT 8847314 SOS 7601139 HAS SOPS 3749800 HAS SOUS 523369 HAS SOUPS 203425 WITH SCORE 211026.139
AT ITER 1769 NEW BEST:: SOT 8847314 SOS 7601139 HAS SOPS 3749800 HAS SOUS 523245 HAS SOUPS 203301 WITH SCORE 210902.139
AT ITER 1836 NEW BEST:: SOT 8847286 SOS 7601055 HAS SOPS 3749744 HAS SOUS 523217 HAS SOUPS 203273 WITH SCORE 210874.055
AT ITER 1848 NEW BEST:: SOT 8847286 SOS 7601055 HAS SOPS 3749744 HAS SOUS 523147 HAS SOUPS 203203 WITH SCORE 210804.055
AT ITER 1879 NEW BEST:: SOT 8847183 SOS 7599043 HAS SOPS 3749538 HAS SOUS 522829 HAS SOUPS 203143 WITH SCORE 210742.043
AT ITER 1882 NEW BEST:: SOT 8847183 SOS 7599043 HAS SOPS 3749538 HAS SOUS 522807 HAS SOUPS 203121 WITH SCORE 210720.043
AT ITER 1892 NEW BEST:: SOT 8847183 SOS 7599043 HAS SOPS 3749538 HAS SOUS 522803 HAS SOUPS 203117 WITH SCORE 210716.043
AT ITER 1909 NEW BEST:: SOT 8845823 SOS 7608014 HAS SOPS 3753399 HAS SOUS 521767 HAS SOUPS 202081 WITH SCORE 209689.014
AT ITER 1910 NEW BEST:: SOT 8845750 SOS 7608379 HAS SOPS 3753764 HAS SOUS 521694 HAS SOUPS 202008 WITH SCORE 209616.379
AT ITER 1916 NEW BEST:: SOT 8845946 SOS 7608918 HAS SOPS 3753960 HAS SOUS 521694 HAS SOUPS 201959 WITH SCORE 209567.918
AT ITER 1919 NEW BEST:: SOT 8845841 SOS 7608708 HAS SOPS 3753750 HAS SOUS 521484 HAS SOUPS 201749 WITH SCORE 209357.708
AT ITER 1923 NEW BEST:: SOT 8845680 SOS 7608386 HAS SOPS 3753428 HAS SOUS 521060 HAS SOUPS 201325 WITH SCORE 208933.386
AT ITER 1935 NEW BEST:: SOT 8845680 SOS 7608386 HAS SOPS 3753428 HAS SOUS 520942 HAS SOUPS 201207 WITH SCORE 208815.386
AT ITER 1940 NEW BEST:: SOT 8845680 SOS 7608386 HAS SOPS 3753428 HAS SOUS 520822 HAS SOUPS 201087 WITH SCORE 208695.386
AT ITER 1954 NEW BEST:: SOT 8845652 SOS 7608330 HAS SOPS 3753372 HAS SOUS 520780 HAS SOUPS 201045 WITH SCORE 208653.33
AT ITER 1970 NEW BEST:: SOT 8845652 SOS 7608471 HAS SOPS 3753184 HAS SOUS 520733 HAS SOUPS 200951 WITH SCORE 208559.471
AT ITER 2011 NEW BEST:: SOT 8845334 SOS 7610123 HAS SOPS 3752652 HAS SOUS 520616 HAS SOUPS 200730 WITH SCORE 208340.123
AT ITER 2024 NEW BEST:: SOT 8845334 SOS 7610123 HAS SOPS 3752652 HAS SOUS 520546 HAS SOUPS 200660 WITH SCORE 208270.123
AT ITER 2031 NEW BEST:: SOT 8845334 SOS 7610123 HAS SOPS 3752652 HAS SOUS 520440 HAS SOUPS 200554 WITH SCORE 208164.123
AT ITER 2033 NEW BEST:: SOT 8845260 SOS 7611899 HAS SOPS 3750950 HAS SOUS 520218 HAS SOUPS 200332 WITH SCORE 207943.899
AT ITER 2069 NEW BEST:: SOT 8842533 SOS 7607884 HAS SOPS 3748213 HAS SOUS 520102 HAS SOUPS 200216 WITH SCORE 207823.884
AT ITER 2075 NEW BEST:: SOT 8842417 SOS 7607652 HAS SOPS 3748387 HAS SOUS 519870 HAS SOUPS 200042 WITH SCORE 207649.652
AT ITER 2105 NEW BEST:: SOT 8841334 SOS 7604592 HAS SOPS 3747413 HAS SOUS 519290 HAS SOUPS 199760 WITH SCORE 207364.592
AT ITER 2130 NEW BEST:: SOT 8841334 SOS 7604130 HAS SOPS 3747413 HAS SOUS 519224 HAS SOUPS 199760 WITH SCORE 207364.13
AT ITER 2178 NEW BEST:: SOT 8840499 SOS 7606521 HAS SOPS 3746843 HAS SOUS 518805 HAS SOUPS 199200 WITH SCORE 206806.521
AT ITER 2197 NEW BEST:: SOT 8840499 SOS 7606521 HAS SOPS 3746843 HAS SOUS 518681 HAS SOUPS 199076 WITH SCORE 206682.521
AT ITER 2204 NEW BEST:: SOT 8840499 SOS 7606521 HAS SOPS 3746843 HAS SOUS 518561 HAS SOUPS 198956 WITH SCORE 206562.521
AT ITER 2232 NEW BEST:: SOT 8834997 SOS 7597749 HAS SOPS 3743189 HAS SOUS 518048 HAS SOUPS 198734 WITH SCORE 206331.749
AT ITER 2259 NEW BEST:: SOT 8835025 SOS 7597742 HAS SOPS 3744610 HAS SOUS 518020 HAS SOUPS 198727 WITH SCORE 206324.742
AT ITER 2272 NEW BEST:: SOT 8835025 SOS 7597742 HAS SOPS 3744610 HAS SOUS 518002 HAS SOUPS 198709 WITH SCORE 206306.742
AT ITER 2282 NEW BEST:: SOT 8834885 SOS 7598274 HAS SOPS 3744750 HAS SOUS 517890 HAS SOUPS 198597 WITH SCORE 206195.274
AT ITER 2290 NEW BEST:: SOT 8834273 SOS 7596744 HAS SOPS 3743934 HAS SOUS 517380 HAS SOUPS 198189 WITH SCORE 205785.744
AT ITER 2302 NEW BEST:: SOT 8834182 SOS 7596562 HAS SOPS 3744781 HAS SOUS 517054 HAS SOUPS 198010 WITH SCORE 205606.562
AT ITER 2310 NEW BEST:: SOT 8833486 SOS 7601039 HAS SOPS 3745310 HAS SOUS 517037 HAS SOUPS 197805 WITH SCORE 205406.039
AT ITER 2311 NEW BEST:: SOT 8833486 SOS 7601039 HAS SOPS 3745310 HAS SOUS 516913 HAS SOUPS 197681 WITH SCORE 205282.039
AT ITER 2312 NEW BEST:: SOT 8833099 SOS 7598519 HAS SOPS 3744547 HAS SOUS 516128 HAS SOUPS 197147 WITH SCORE 204745.519
AT ITER 2315 NEW BEST:: SOT 8833099 SOS 7598519 HAS SOPS 3744547 HAS SOUS 516014 HAS SOUPS 197033 WITH SCORE 204631.519
AT ITER 2371 NEW BEST:: SOT 8832925 SOS 7598171 HAS SOPS 3744199 HAS SOUS 515840 HAS SOUPS 196859 WITH SCORE 204457.171
AT ITER 2388 NEW BEST:: SOT 8832597 SOS 7603419 HAS SOPS 3746003 HAS SOUS 515930 HAS SOUPS 196785 WITH SCORE 204388.419
AT ITER 2397 NEW BEST:: SOT 8831648 SOS 7612305 HAS SOPS 3749835 HAS SOUS 515546 HAS SOUPS 196401 WITH SCORE 204013.305
AT ITER 2427 NEW BEST:: SOT 8831648 SOS 7612513 HAS SOPS 3749667 HAS SOUS 515530 HAS SOUPS 196385 WITH SCORE 203997.513
AT ITER 2451 NEW BEST:: SOT 8831546 SOS 7611862 HAS SOPS 3750059 HAS SOUS 515297 HAS SOUPS 196301 WITH SCORE 203912.862
AT ITER 2477 NEW BEST:: SOT 8830601 SOS 7609333 HAS SOPS 3749021 HAS SOUS 514638 HAS SOUPS 195855 WITH SCORE 203464.333
AT ITER 2491 NEW BEST:: SOT 8830548 SOS 7609031 HAS SOPS 3748915 HAS SOUS 514532 HAS SOUPS 195777 WITH SCORE 203386.031
AT ITER 2502 NEW BEST:: SOT 8830548 SOS 7609031 HAS SOPS 3748915 HAS SOUS 514435 HAS SOUPS 195680 WITH SCORE 203289.031
AT ITER 2504 NEW BEST:: SOT 8825775 SOS 7602798 HAS SOPS 3744651 HAS SOUS 514404 HAS SOUPS 195570 WITH SCORE 203172.798
AT ITER 2520 NEW BEST:: SOT 8824072 SOS 7600018 HAS SOPS 3743522 HAS SOUS 514162 HAS SOUPS 195455 WITH SCORE 203055.018
AT ITER 2542 NEW BEST:: SOT 8823822 SOS 7599636 HAS SOPS 3743140 HAS SOUS 514104 HAS SOUPS 195397 WITH SCORE 202996.636
AT ITER 2578 NEW BEST:: SOT 8823822 SOS 7599636 HAS SOPS 3743140 HAS SOUS 514088 HAS SOUPS 195381 WITH SCORE 202980.636
AT ITER 2627 NEW BEST:: SOT 8823746 SOS 7599484 HAS SOPS 3742988 HAS SOUS 513974 HAS SOUPS 195267 WITH SCORE 202866.484
AT ITER 2629 NEW BEST:: SOT 8823746 SOS 7599484 HAS SOPS 3742988 HAS SOUS 513930 HAS SOUPS 195223 WITH SCORE 202822.484
AT ITER 2631 NEW BEST:: SOT 8823560 SOS 7601022 HAS SOPS 3743224 HAS SOUS 513868 HAS SOUPS 195099 WITH SCORE 202700.022
AT ITER 2644 NEW BEST:: SOT 8822985 SOS 7607167 HAS SOPS 3746023 HAS SOUS 513532 HAS SOUPS 194763 WITH SCORE 202370.167
AT ITER 2645 NEW BEST:: SOT 8822985 SOS 7607242 HAS SOPS 3745923 HAS SOUS 513532 HAS SOUPS 194738 WITH SCORE 202345.242
AT ITER 2664 NEW BEST:: SOT 8822985 SOS 7607200 HAS SOPS 3745881 HAS SOUS 513526 HAS SOUPS 194732 WITH SCORE 202339.2
AT ITER 2673 NEW BEST:: SOT 8822871 SOS 7606972 HAS SOPS 3745653 HAS SOUS 513411 HAS SOUPS 194617 WITH SCORE 202223.972
AT ITER 2695 NEW BEST:: SOT 8822877 SOS 7606984 HAS SOPS 3745665 HAS SOUS 513406 HAS SOUPS 194612 WITH SCORE 202218.984
AT ITER 2698 NEW BEST:: SOT 8822595 SOS 7607897 HAS SOPS 3745101 HAS SOUS 513204 HAS SOUPS 194199 WITH SCORE 201806.897
AT ITER 2716 NEW BEST:: SOT 8822567 SOS 7608177 HAS SOPS 3745381 HAS SOUS 513175 HAS SOUPS 194170 WITH SCORE 201778.177
AT ITER 2736 NEW BEST:: SOT 8822660 SOS 7607370 HAS SOPS 3744574 HAS SOUS 512937 HAS SOUPS 193932 WITH SCORE 201539.37
AT ITER 2776 NEW BEST:: SOT 8822554 SOS 7606416 HAS SOPS 3744362 HAS SOUS 512725 HAS SOUPS 193826 WITH SCORE 201432.416
AT ITER 2785 NEW BEST:: SOT 8822161 SOS 7612254 HAS SOPS 3747624 HAS SOUS 512530 HAS SOUPS 193631 WITH SCORE 201243.254
AT ITER 2787 NEW BEST:: SOT 8821626 SOS 7615157 HAS SOPS 3747650 HAS SOUS 512612 HAS SOUPS 193576 WITH SCORE 201191.157
AT ITER 2794 NEW BEST:: SOT 8821116 SOS 7622076 HAS SOPS 3751223 HAS SOUS 512341 HAS SOUPS 193305 WITH SCORE 200927.076
AT ITER 2799 NEW BEST:: SOT 8821339 SOS 7603985 HAS SOPS 3751628 HAS SOUS 511916 HAS SOUPS 193152 WITH SCORE 200755.985
AT ITER 2813 NEW BEST:: SOT 8819453 SOS 7600963 HAS SOPS 3750262 HAS SOUS 511754 HAS SOUPS 193038 WITH SCORE 200638.963
AT ITER 2825 NEW BEST:: SOT 8819357 SOS 7600771 HAS SOPS 3750070 HAS SOUS 511658 HAS SOUPS 192942 WITH SCORE 200542.771
AT ITER 2831 NEW BEST:: SOT 8819192 SOS 7599272 HAS SOPS 3749740 HAS SOUS 511278 HAS SOUPS 192729 WITH SCORE 200328.272
AT ITER 2844 NEW BEST:: SOT 8818328 SOS 7598044 HAS SOPS 3748944 HAS SOUS 511278 HAS SOUPS 192729 WITH SCORE 200327.044
AT ITER 2865 NEW BEST:: SOT 8818247 SOS 7597818 HAS SOPS 3749230 HAS SOUS 511157 HAS SOUPS 192672 WITH SCORE 200269.818
AT ITER 2932 NEW BEST:: SOT 8817474 SOS 7601300 HAS SOPS 3750234 HAS SOUS 510903 HAS SOUPS 192418 WITH SCORE 200019.3
AT ITER 2943 NEW BEST:: SOT 8817124 SOS 7600880 HAS SOPS 3749814 HAS SOUS 510799 HAS SOUPS 192314 WITH SCORE 199914.88
AT ITER 3002 NEW BEST:: SOT 8817034 SOS 7600950 HAS SOPS 3749674 HAS SOUS 510739 HAS SOUPS 192244 WITH SCORE 199844.95
AT ITER 3003 NEW BEST:: SOT 8814334 SOS 7582725 HAS SOPS 3748099 HAS SOUS 510341 HAS SOUPS 192071 WITH SCORE 199653.725
AT ITER 3016 NEW BEST:: SOT 8814154 SOS 7582438 HAS SOPS 3747829 HAS SOUS 510340 HAS SOUPS 192052 WITH SCORE 199634.438
AT ITER 3050 NEW BEST:: SOT 8814302 SOS 7582574 HAS SOPS 3747965 HAS SOUS 510328 HAS SOUPS 192040 WITH SCORE 199622.574
AT ITER 3052 NEW BEST:: SOT 8814302 SOS 7581965 HAS SOPS 3747965 HAS SOUS 510241 HAS SOUPS 192040 WITH SCORE 199621.965
AT ITER 3077 NEW BEST:: SOT 8814211 SOS 7581924 HAS SOPS 3747595 HAS SOUS 510197 HAS SOUPS 191949 WITH SCORE 199530.924
AT ITER 3088 NEW BEST:: SOT 8814211 SOS 7581924 HAS SOPS 3747595 HAS SOUS 510073 HAS SOUPS 191825 WITH SCORE 199406.924
AT ITER 3100 NEW BEST:: SOT 8814013 SOS 7580923 HAS SOPS 3746594 HAS SOUS 509996 HAS SOUPS 191748 WITH SCORE 199328.923
AT ITER 3128 NEW BEST:: SOT 8813064 SOS 7578107 HAS SOPS 3745920 HAS SOUS 509459 HAS SOUPS 191517 WITH SCORE 199095.107
AT ITER 3137 NEW BEST:: SOT 8812568 SOS 7577899 HAS SOPS 3743577 HAS SOUS 508997 HAS SOUPS 190750 WITH SCORE 198327.899
AT ITER 3158 NEW BEST:: SOT 8813663 SOS 7579638 HAS SOPS 3744120 HAS SOUS 508896 HAS SOUPS 190557 WITH SCORE 198136.638
AT ITER 3208 NEW BEST:: SOT 8812106 SOS 7582277 HAS SOPS 3743637 HAS SOUS 508124 HAS SOUPS 189785 WITH SCORE 197367.277
AT ITER 3225 NEW BEST:: SOT 8812106 SOS 7582277 HAS SOPS 3743637 HAS SOUS 508004 HAS SOUPS 189665 WITH SCORE 197247.277
AT ITER 3230 NEW BEST:: SOT 8811986 SOS 7582037 HAS SOPS 3743397 HAS SOUS 507764 HAS SOUPS 189425 WITH SCORE 197007.037
AT ITER 3237 NEW BEST:: SOT 8811966 SOS 7582007 HAS SOPS 3743381 HAS SOUS 507760 HAS SOUPS 189421 WITH SCORE 197003.007
AT ITER 3251 NEW BEST:: SOT 8811472 SOS 7579975 HAS SOPS 3742567 HAS SOUS 507468 HAS SOUPS 189303 WITH SCORE 196882.975
AT ITER 3262 NEW BEST:: SOT 8811392 SOS 7579815 HAS SOPS 3742407 HAS SOUS 507347 HAS SOUPS 189182 WITH SCORE 196761.815
AT ITER 3268 NEW BEST:: SOT 8811154 SOS 7572943 HAS SOPS 3738979 HAS SOUS 507066 HAS SOUPS 189065 WITH SCORE 196637.943
AT ITER 3269 NEW BEST:: SOT 8810955 SOS 7576562 HAS SOPS 3740435 HAS SOUS 507073 HAS SOUPS 188969 WITH SCORE 196545.562
AT ITER 3288 NEW BEST:: SOT 8810951 SOS 7576554 HAS SOPS 3740427 HAS SOUS 507065 HAS SOUPS 188961 WITH SCORE 196537.554
AT ITER 3300 NEW BEST:: SOT 8810629 SOS 7577679 HAS SOPS 3741003 HAS SOUS 506926 HAS SOUPS 188883 WITH SCORE 196460.679
AT ITER 3314 NEW BEST:: SOT 8810546 SOS 7577513 HAS SOPS 3740837 HAS SOUS 506829 HAS SOUPS 188786 WITH SCORE 196363.513
AT ITER 3315 NEW BEST:: SOT 8810511 SOS 7577688 HAS SOPS 3741012 HAS SOUS 506759 HAS SOUPS 188716 WITH SCORE 196293.688
AT ITER 3329 NEW BEST:: SOT 8810511 SOS 7577688 HAS SOPS 3741012 HAS SOUS 506635 HAS SOUPS 188592 WITH SCORE 196169.688
AT ITER 3375 NEW BEST:: SOT 8810485 SOS 7577636 HAS SOPS 3740960 HAS SOUS 506609 HAS SOUPS 188566 WITH SCORE 196143.636
AT ITER 3394 NEW BEST:: SOT 8810493 SOS 7577852 HAS SOPS 3741008 HAS SOUS 506609 HAS SOUPS 188558 WITH SCORE 196135.852
AT ITER 3399 NEW BEST:: SOT 8810493 SOS 7577852 HAS SOPS 3741008 HAS SOUS 506573 HAS SOUPS 188522 WITH SCORE 196099.852
AT ITER 3407 NEW BEST:: SOT 8810493 SOS 7577852 HAS SOPS 3741008 HAS SOUS 506501 HAS SOUPS 188450 WITH SCORE 196027.852
AT ITER 3414 NEW BEST:: SOT 8809915 SOS 7579567 HAS SOPS 3740644 HAS SOUS 506359 HAS SOUPS 188209 WITH SCORE 195788.567
AT ITER 3428 NEW BEST:: SOT 8807037 SOS 7575659 HAS SOPS 3738048 HAS SOUS 506336 HAS SOUPS 188186 WITH SCORE 195761.659
AT ITER 3441 NEW BEST:: SOT 8807043 SOS 7575575 HAS SOPS 3738012 HAS SOUS 506336 HAS SOUPS 188186 WITH SCORE 195761.575
AT ITER 3455 NEW BEST:: SOT 8807043 SOS 7575575 HAS SOPS 3738012 HAS SOUS 506212 HAS SOUPS 188062 WITH SCORE 195637.575
AT ITER 3484 NEW BEST:: SOT 8806265 SOS 7549212 HAS SOPS 3736605 HAS SOUS 505606 HAS SOUPS 187823 WITH SCORE 195372.212
AT ITER 3528 NEW BEST:: SOT 8806200 SOS 7561540 HAS SOPS 3741667 HAS SOUS 505783 HAS SOUPS 187654 WITH SCORE 195215.54
AT ITER 3531 NEW BEST:: SOT 8803138 SOS 7557102 HAS SOPS 3738639 HAS SOUS 505618 HAS SOUPS 187489 WITH SCORE 195046.102
AT ITER 3551 NEW BEST:: SOT 8803138 SOS 7557102 HAS SOPS 3738639 HAS SOUS 505494 HAS SOUPS 187365 WITH SCORE 194922.102
AT ITER 3561 NEW BEST:: SOT 8803206 SOS 7557455 HAS SOPS 3737641 HAS SOUS 505667 HAS SOUPS 187345 WITH SCORE 194902.455
AT ITER 3619 NEW BEST:: SOT 8801959 SOS 7555091 HAS SOPS 3737014 HAS SOUS 505215 HAS SOUPS 187215 WITH SCORE 194770.09100000001
AT ITER 3632 NEW BEST:: SOT 8801628 SOS 7554697 HAS SOPS 3736620 HAS SOUS 505042 HAS SOUPS 187042 WITH SCORE 194596.697
AT ITER 3656 NEW BEST:: SOT 8799595 SOS 7552086 HAS SOPS 3735215 HAS SOUS 505010 HAS SOUPS 187010 WITH SCORE 194562.086
AT ITER 3675 NEW BEST:: SOT 8799073 SOS 7549762 HAS SOPS 3734816 HAS SOUS 504335 HAS SOUPS 186610 WITH SCORE 194159.762
AT ITER 3677 NEW BEST:: SOT 8798693 SOS 7547467 HAS SOPS 3734670 HAS SOUS 503987 HAS SOUPS 186569 WITH SCORE 194116.467
AT ITER 3705 NEW BEST:: SOT 8798693 SOS 7547467 HAS SOPS 3734670 HAS SOUS 503879 HAS SOUPS 186461 WITH SCORE 194008.467
AT ITER 3734 NEW BEST:: SOT 8798303 SOS 7550138 HAS SOPS 3734842 HAS SOUS 503855 HAS SOUPS 186318 WITH SCORE 193868.138
AT ITER 3739 NEW BEST:: SOT 8798176 SOS 7550011 HAS SOPS 3734715 HAS SOUS 503766 HAS SOUPS 186229 WITH SCORE 193779.011
AT ITER 3751 NEW BEST:: SOT 8798028 SOS 7550401 HAS SOPS 3735105 HAS SOUS 503616 HAS SOUPS 186079 WITH SCORE 193629.401
AT ITER 3753 NEW BEST:: SOT 8798011 SOS 7550384 HAS SOPS 3734952 HAS SOUS 503599 HAS SOUPS 186045 WITH SCORE 193595.384
AT ITER 3758 NEW BEST:: SOT 8797905 SOS 7549907 HAS SOPS 3734846 HAS SOUS 503387 HAS SOUPS 185886 WITH SCORE 193435.907
AT ITER 3771 NEW BEST:: SOT 8797873 SOS 7549843 HAS SOPS 3734782 HAS SOUS 503355 HAS SOUPS 185854 WITH SCORE 193403.843
AT ITER 3778 NEW BEST:: SOT 8796948 SOS 7554582 HAS SOPS 3735867 HAS SOUS 502714 HAS SOUPS 185213 WITH SCORE 192767.582
AT ITER 3780 NEW BEST:: SOT 8796828 SOS 7554211 HAS SOPS 3735496 HAS SOUS 502594 HAS SOUPS 185093 WITH SCORE 192647.211
AT ITER 3798 NEW BEST:: SOT 8796720 SOS 7553995 HAS SOPS 3735280 HAS SOUS 502432 HAS SOUPS 184931 WITH SCORE 192484.995
AT ITER 3813 NEW BEST:: SOT 8796720 SOS 7553995 HAS SOPS 3735280 HAS SOUS 502308 HAS SOUPS 184807 WITH SCORE 192360.995
AT ITER 3850 NEW BEST:: SOT 8796704 SOS 7553963 HAS SOPS 3735248 HAS SOUS 502273 HAS SOUPS 184772 WITH SCORE 192325.963
AT ITER 3874 NEW BEST:: SOT 8796538 SOS 7552980 HAS SOPS 3734916 HAS SOUS 501939 HAS SOUPS 184531 WITH SCORE 192083.98
AT ITER 3928 NEW BEST:: SOT 8795849 SOS 7552500 HAS SOPS 3734436 HAS SOUS 501459 HAS SOUPS 184051 WITH SCORE 191603.5
AT ITER 3935 NEW BEST:: SOT 8795849 SOS 7552500 HAS SOPS 3734436 HAS SOUS 501335 HAS SOUPS 183927 WITH SCORE 191479.5
AT ITER 3941 NEW BEST:: SOT 8795849 SOS 7552500 HAS SOPS 3734436 HAS SOUS 501307 HAS SOUPS 183899 WITH SCORE 191451.5
AT ITER 3953 NEW BEST:: SOT 8795849 SOS 7552500 HAS SOPS 3734436 HAS SOUS 501259 HAS SOUPS 183851 WITH SCORE 191403.5
AT ITER 3972 NEW BEST:: SOT 8795849 SOS 7551912 HAS SOPS 3734436 HAS SOUS 501135 HAS SOUPS 183811 WITH SCORE 191362.912
AT ITER 4032 NEW BEST:: SOT 8795639 SOS 7558737 HAS SOPS 3734121 HAS SOUS 501081 HAS SOUPS 183652 WITH SCORE 191210.737
AT ITER 4105 NEW BEST:: SOT 8795639 SOS 7558737 HAS SOPS 3734121 HAS SOUS 500976 HAS SOUPS 183547 WITH SCORE 191105.737
AT ITER 4128 NEW BEST:: SOT 8795437 SOS 7558105 HAS SOPS 3734021 HAS SOUS 500886 HAS SOUPS 183533 WITH SCORE 191091.105
AT ITER 4134 NEW BEST:: SOT 8794889 SOS 7555091 HAS SOPS 3732925 HAS SOUS 499903 HAS SOUPS 182824 WITH SCORE 190379.09100000001
AT ITER 4139 NEW BEST:: SOT 8790525 SOS 7549606 HAS SOPS 3729037 HAS SOUS 499878 HAS SOUPS 182649 WITH SCORE 190198.606
AT ITER 4151 NEW BEST:: SOT 8790525 SOS 7549606 HAS SOPS 3729037 HAS SOUS 499826 HAS SOUPS 182597 WITH SCORE 190146.606
AT ITER 4156 NEW BEST:: SOT 8790525 SOS 7549606 HAS SOPS 3729037 HAS SOUS 499702 HAS SOUPS 182473 WITH SCORE 190022.606
AT ITER 4158 NEW BEST:: SOT 8790525 SOS 7549606 HAS SOPS 3729037 HAS SOUS 499634 HAS SOUPS 182405 WITH SCORE 189954.606
AT ITER 4168 NEW BEST:: SOT 8790525 SOS 7549606 HAS SOPS 3729037 HAS SOUS 499510 HAS SOUPS 182281 WITH SCORE 189830.606
AT ITER 4189 NEW BEST:: SOT 8790622 SOS 7552225 HAS SOPS 3729619 HAS SOUS 499510 HAS SOUPS 182184 WITH SCORE 189736.225
AT ITER 4195 NEW BEST:: SOT 8790342 SOS 7551665 HAS SOPS 3729059 HAS SOUS 499370 HAS SOUPS 182044 WITH SCORE 189595.665
AT ITER 4223 NEW BEST:: SOT 8791395 SOS 7552747 HAS SOPS 3729762 HAS SOUS 499177 HAS SOUPS 181930 WITH SCORE 189482.747
AT ITER 4260 NEW BEST:: SOT 8791328 SOS 7552613 HAS SOPS 3729628 HAS SOUS 499043 HAS SOUPS 181796 WITH SCORE 189348.613
AT ITER 4266 NEW BEST:: SOT 8791075 SOS 7552107 HAS SOPS 3727736 HAS SOUS 498775 HAS SOUPS 181330 WITH SCORE 188882.107
AT ITER 4267 NEW BEST:: SOT 8791102 SOS 7552161 HAS SOPS 3727790 HAS SOUS 498658 HAS SOUPS 181213 WITH SCORE 188765.161
AT ITER 4306 NEW BEST:: SOT 8791056 SOS 7552069 HAS SOPS 3727936 HAS SOUS 498566 HAS SOUPS 181155 WITH SCORE 188707.069
AT ITER 4319 NEW BEST:: SOT 8791056 SOS 7552069 HAS SOPS 3727936 HAS SOUS 498536 HAS SOUPS 181125 WITH SCORE 188677.069
AT ITER 4363 NEW BEST:: SOT 8791056 SOS 7551684 HAS SOPS 3727936 HAS SOUS 498481 HAS SOUPS 181125 WITH SCORE 188676.684
AT ITER 4373 NEW BEST:: SOT 8791047 SOS 7551666 HAS SOPS 3727981 HAS SOUS 498454 HAS SOUPS 181107 WITH SCORE 188658.666
AT ITER 4400 NEW BEST:: SOT 8789291 SOS 7549434 HAS SOPS 3726709 HAS SOUS 498436 HAS SOUPS 181089 WITH SCORE 188638.434
AT ITER 4409 NEW BEST:: SOT 8788966 SOS 7554977 HAS SOPS 3729830 HAS SOUS 498334 HAS SOUPS 180987 WITH SCORE 188541.977
AT ITER 4419 NEW BEST:: SOT 8789124 SOS 7555494 HAS SOPS 3729878 HAS SOUS 498384 HAS SOUPS 180970 WITH SCORE 188525.494
AT ITER 4449 NEW BEST:: SOT 8789124 SOS 7555494 HAS SOPS 3729878 HAS SOUS 498358 HAS SOUPS 180944 WITH SCORE 188499.494
AT ITER 4534 NEW BEST:: SOT 8789640 SOS 7534552 HAS SOPS 3706094 HAS SOUS 498734 HAS SOUPS 180914 WITH SCORE 188448.552
AT ITER 4562 NEW BEST:: SOT 8789484 SOS 7534084 HAS SOPS 3705990 HAS SOUS 498644 HAS SOUPS 180876 WITH SCORE 188410.084
AT ITER 4578 NEW BEST:: SOT 8788703 SOS 7531955 HAS SOPS 3705184 HAS SOUS 498241 HAS SOUPS 180662 WITH SCORE 188193.955
AT ITER 4586 NEW BEST:: SOT 8788691 SOS 7531919 HAS SOPS 3705148 HAS SOUS 498241 HAS SOUPS 180662 WITH SCORE 188193.919
AT ITER 4607 NEW BEST:: SOT 8788537 SOS 7531666 HAS SOPS 3705038 HAS SOUS 498208 HAS SOUPS 180640 WITH SCORE 188171.666
AT ITER 4630 NEW BEST:: SOT 8788072 SOS 7530464 HAS SOPS 3703836 HAS SOUS 498209 HAS SOUPS 180641 WITH SCORE 188171.464
AT ITER 4650 NEW BEST:: SOT 8788072 SOS 7530464 HAS SOPS 3703836 HAS SOUS 498207 HAS SOUPS 180639 WITH SCORE 188169.464
AT ITER 4657 NEW BEST:: SOT 8788378 SOS 7486673 HAS SOPS 3668402 HAS SOUS 498244 HAS SOUPS 180676 WITH SCORE 188162.673
AT ITER 4661 NEW BEST:: SOT 8788378 SOS 7486673 HAS SOPS 3668402 HAS SOUS 498240 HAS SOUPS 180672 WITH SCORE 188158.673
AT ITER 4667 NEW BEST:: SOT 8787680 SOS 7484569 HAS SOPS 3667950 HAS SOUS 497789 HAS SOUPS 180457 WITH SCORE 187941.569
AT ITER 4780 NEW BEST:: SOT 8786868 SOS 7487712 HAS SOPS 3668251 HAS SOUS 497223 HAS SOUPS 179891 WITH SCORE 187378.712
AT ITER 4784 NEW BEST:: SOT 8786868 SOS 7487712 HAS SOPS 3668251 HAS SOUS 497221 HAS SOUPS 179889 WITH SCORE 187376.712
AT ITER 4798 NEW BEST:: SOT 8786611 SOS 7486134 HAS SOPS 3666673 HAS SOUS 496828 HAS SOUPS 179496 WITH SCORE 186982.134
AT ITER 4810 NEW BEST:: SOT 8786611 SOS 7486134 HAS SOPS 3666673 HAS SOUS 496826 HAS SOUPS 179494 WITH SCORE 186980.134
AT ITER 4844 NEW BEST:: SOT 8786611 SOS 7486134 HAS SOPS 3666673 HAS SOUS 496820 HAS SOUPS 179488 WITH SCORE 186974.134
AT ITER 4851 NEW BEST:: SOT 8781204 SOS 7479429 HAS SOPS 3662064 HAS SOUS 496652 HAS SOUPS 179214 WITH SCORE 186693.429
AT ITER 4872 NEW BEST:: SOT 8781204 SOS 7479429 HAS SOPS 3662064 HAS SOUS 496528 HAS SOUPS 179090 WITH SCORE 186569.429
AT ITER 4877 NEW BEST:: SOT 8781138 SOS 7477974 HAS SOPS 3661932 HAS SOUS 496160 HAS SOUPS 178911 WITH SCORE 186388.974
AT ITER 4878 NEW BEST:: SOT 8781078 SOS 7477914 HAS SOPS 3661872 HAS SOUS 496160 HAS SOUPS 178911 WITH SCORE 186388.914
AT ITER 4906 NEW BEST:: SOT 8781078 SOS 7477914 HAS SOPS 3661872 HAS SOUS 496142 HAS SOUPS 178893 WITH SCORE 186370.914
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-00 (EU( ( potential( (tk(P1146)) <= (tk(P675)) ) | ( potential( (tk(P1371)) <= (tk(P408)) ) & potential( ( 1 ) <= (tk(P1380)) ) ) ),( ( potential( ( 2 ) <= (tk(P392)) ) & potential( (tk(P1126)) <= (tk(P932)) ) ) | ( potential( ( 1 ) <= (tk(P156)) ) & potential( (tk(P22)) <= (tk(P795)) ) ) ) ))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-01 (EX( ( (! ( potential( (tk(P312)) <= (tk(P772)) ) & potential( ( 3 ) <= (tk(P1227)) ) )) & (EG( potential( ( 1 ) <= (tk(P561)) ))) )))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-02 (EG( ( potential( (tk(P527)) <= (tk(P654)) ) & potential( (tk(P350)) <= (tk(P1030)) ) )))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-03 (AU( (AX( potential( ( 2 ) <= (tk(P1337)) ))),(EG( potential( (tk(P413)) <= (tk(P477)) ))) ))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-04 ( (AG( (AX( potential( (tk(P1075)) <= (tk(P928)) ))))) & ( (AX( ( potential( ( 2 ) <= (tk(P855)) ) & potential( ( 2 ) <= (tk(P471)) ) ))) | (AX( ( potential( ( 1 ) <= (tk(P59)) ) | potential( (tk(P179)) <= (tk(P1307)) ) ))) ) )
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-05 (AU( (! ( potential( ( 3 ) <= (tk(P403)) ) | potential( ( 3 ) <= (tk(P892)) ) )),( ( potential( (tk(P738)) <= (tk(P688)) ) & potential( ( 3 ) <= (tk(P452)) ) ) & ( potential( ( 3 ) <= (tk(P1022)) ) | potential( (tk(P1276)) <= (tk(P877)) ) ) ) ))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-06 ( ( potential( ( 2 ) <= (tk(P293)) ) | (AX( (! potential( ( 3 ) <= (tk(P368)) )))) ) & ( (AG( ( potential( (tk(P291)) <= (tk(P721)) ) | potential( ( 3 ) <= (tk(P199)) ) ))) | ( (! (! potential( ( 3 ) <= (tk(P543)) ))) & (EG( potential( ( 3 ) <= (tk(P343)) ))) ) ) )
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-07 (AU( (AG( potential( (tk(P1126)) <= (tk(P1013)) ))),(EG( potential( ( 1 ) <= (tk(P829)) ))) ))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-08 (! (EU( ( potential( (tk(P1118)) <= (tk(P178)) ) | potential( (tk(P131)) <= (tk(P1349)) ) ),potential( ( 3 ) <= (tk(P1192)) ) )))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-09 (AG( ( (EF(potential( ( 2 ) <= (tk(P465)) ))) | (AX( potential( (tk(P469)) <= (tk(P1107)) ))) )))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-10 (AG( ( ( potential( (tk(P176)) <= (tk(P1093)) ) | ( potential( ( 2 ) <= (tk(P906)) ) | potential( ( 3 ) <= (tk(P833)) ) ) ) & (! potential( ( 2 ) <= (tk(P28)) )) )))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-11 (AG( (AF(potential( ( 3 ) <= (tk(P416)) )))))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-12 ( (EG( (AX( potential( (tk(P1228)) <= (tk(P791)) ))))) & (EU( (! potential( (tk(P1101)) <= (tk(P130)) )),( potential( (tk(P973)) <= (tk(P68)) ) & potential( (tk(P1233)) <= (tk(P799)) ) ) )) )
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-13 (EF((! (EG( potential( (tk(P441)) <= (tk(P354)) ))))))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-14 (EG( (AF(( potential( ( 3 ) <= (tk(P1001)) ) | potential( (tk(P961)) <= (tk(P585)) ) )))))
PROPERTY: DLCflexbar-PT-5a-CTLCardinality-15 (AG( ( (AX( potential( ( 3 ) <= (tk(P517)) ))) | (! potential( ( 1 ) <= (tk(P14)) )) )))
BK_STOP 1589118413704
--------------------
content from stderr:
terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 488 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-5a"
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-5a, 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-158902542100387"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-5a.tgz
mv DLCflexbar-PT-5a execution
cd execution
if [ "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 '
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 ;