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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.9K Mar 30 20:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 20:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 10:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 10:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 28 06:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 28 06:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 00:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 00:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 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 DLCround-PT-11b-CTLFireability-00
FORMULA_NAME DLCround-PT-11b-CTLFireability-01
FORMULA_NAME DLCround-PT-11b-CTLFireability-02
FORMULA_NAME DLCround-PT-11b-CTLFireability-03
FORMULA_NAME DLCround-PT-11b-CTLFireability-04
FORMULA_NAME DLCround-PT-11b-CTLFireability-05
FORMULA_NAME DLCround-PT-11b-CTLFireability-06
FORMULA_NAME DLCround-PT-11b-CTLFireability-07
FORMULA_NAME DLCround-PT-11b-CTLFireability-08
FORMULA_NAME DLCround-PT-11b-CTLFireability-09
FORMULA_NAME DLCround-PT-11b-CTLFireability-10
FORMULA_NAME DLCround-PT-11b-CTLFireability-11
FORMULA_NAME DLCround-PT-11b-CTLFireability-12
FORMULA_NAME DLCround-PT-11b-CTLFireability-13
FORMULA_NAME DLCround-PT-11b-CTLFireability-14
FORMULA_NAME DLCround-PT-11b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869271369

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 11b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 4375 places, 6991 transitions, 19673 arcs.
AT ITER 0 NEW BEST:: SOT 19786153 SOS 4759696 HAS SOPS 4759696 HAS SOUS 2593398 HAS SOUPS 2593398 WITH SCORE 2598157.696
AT ITER 15 NEW BEST:: SOT 19786108 SOS 4759606 HAS SOPS 4759606 HAS SOUS 2593308 HAS SOUPS 2593308 WITH SCORE 2598067.606
AT ITER 18 NEW BEST:: SOT 19786008 SOS 4759706 HAS SOPS 4759706 HAS SOUS 2593208 HAS SOUPS 2593208 WITH SCORE 2597967.706
AT ITER 25 NEW BEST:: SOT 19786120 SOS 4759930 HAS SOPS 4759930 HAS SOUS 2592852 HAS SOUPS 2592852 WITH SCORE 2597611.93
AT ITER 64 NEW BEST:: SOT 19786120 SOS 4758340 HAS SOPS 4758340 HAS SOUS 2592852 HAS SOUPS 2592852 WITH SCORE 2597610.34
AT ITER 66 NEW BEST:: SOT 19785911 SOS 4758986 HAS SOPS 4758986 HAS SOUS 2592642 HAS SOUPS 2592642 WITH SCORE 2597400.986
AT ITER 95 NEW BEST:: SOT 19785911 SOS 4759298 HAS SOPS 4759298 HAS SOUS 2592640 HAS SOUPS 2592640 WITH SCORE 2597399.298
AT ITER 100 NEW BEST:: SOT 19785387 SOS 4759001 HAS SOPS 4759001 HAS SOUS 2592343 HAS SOUPS 2592343 WITH SCORE 2597102.001
AT ITER 128 NEW BEST:: SOT 19784167 SOS 4757771 HAS SOPS 4757771 HAS SOUS 2591122 HAS SOUPS 2591122 WITH SCORE 2595879.771
AT ITER 140 NEW BEST:: SOT 19782705 SOS 4755578 HAS SOPS 4755578 HAS SOUS 2588929 HAS SOUPS 2588929 WITH SCORE 2593684.578
AT ITER 149 NEW BEST:: SOT 19782705 SOS 4755322 HAS SOPS 4755322 HAS SOUS 2588801 HAS SOUPS 2588801 WITH SCORE 2593556.322
AT ITER 169 NEW BEST:: SOT 19782632 SOS 4755249 HAS SOPS 4755249 HAS SOUS 2588728 HAS SOUPS 2588728 WITH SCORE 2593483.249
AT ITER 201 NEW BEST:: SOT 19781695 SOS 4755712 HAS SOPS 4755712 HAS SOUS 2586853 HAS SOUPS 2586853 WITH SCORE 2591608.712
AT ITER 211 NEW BEST:: SOT 19781695 SOS 4755712 HAS SOPS 4755712 HAS SOUS 2586852 HAS SOUPS 2586852 WITH SCORE 2591607.712
AT ITER 242 NEW BEST:: SOT 19780543 SOS 4754550 HAS SOPS 4754550 HAS SOUS 2585699 HAS SOUPS 2585699 WITH SCORE 2590453.55
AT ITER 274 NEW BEST:: SOT 19780992 SOS 4755448 HAS SOPS 4755448 HAS SOUS 2585385 HAS SOUPS 2585385 WITH SCORE 2590140.448
AT ITER 287 NEW BEST:: SOT 19780992 SOS 4755091 HAS SOPS 4755091 HAS SOUS 2585028 HAS SOUPS 2585028 WITH SCORE 2589783.091
AT ITER 326 NEW BEST:: SOT 19780300 SOS 4754570 HAS SOPS 4754570 HAS SOUS 2584441 HAS SOUPS 2584441 WITH SCORE 2589195.57
AT ITER 348 NEW BEST:: SOT 19780299 SOS 4754568 HAS SOPS 4754568 HAS SOUS 2584439 HAS SOUPS 2584439 WITH SCORE 2589193.568
AT ITER 360 NEW BEST:: SOT 19780091 SOS 4754464 HAS SOPS 4754464 HAS SOUS 2584335 HAS SOUPS 2584335 WITH SCORE 2589089.464
AT ITER 389 NEW BEST:: SOT 19780203 SOS 4754342 HAS SOPS 4754342 HAS SOUS 2584335 HAS SOUPS 2584335 WITH SCORE 2589089.342
AT ITER 414 NEW BEST:: SOT 19777716 SOS 4751979 HAS SOPS 4751979 HAS SOUS 2581972 HAS SOUPS 2581972 WITH SCORE 2586723.979
AT ITER 415 NEW BEST:: SOT 19777256 SOS 4751704 HAS SOPS 4751704 HAS SOUS 2581700 HAS SOUPS 2581700 WITH SCORE 2586451.704
AT ITER 423 NEW BEST:: SOT 19777073 SOS 4751701 HAS SOPS 4751701 HAS SOUS 2581699 HAS SOUPS 2581699 WITH SCORE 2586450.701
AT ITER 447 NEW BEST:: SOT 19777073 SOS 4752219 HAS SOPS 4752219 HAS SOUS 2581698 HAS SOUPS 2581698 WITH SCORE 2586450.219
AT ITER 448 NEW BEST:: SOT 19777072 SOS 4752105 HAS SOPS 4752105 HAS SOUS 2581584 HAS SOUPS 2581584 WITH SCORE 2586336.105
AT ITER 450 NEW BEST:: SOT 19776458 SOS 4751851 HAS SOPS 4751851 HAS SOUS 2581330 HAS SOUPS 2581330 WITH SCORE 2586081.851
AT ITER 460 NEW BEST:: SOT 19776458 SOS 4752471 HAS SOPS 4752471 HAS SOUS 2581328 HAS SOUPS 2581328 WITH SCORE 2586080.471
AT ITER 462 NEW BEST:: SOT 19775772 SOS 4751785 HAS SOPS 4751785 HAS SOUS 2580642 HAS SOUPS 2580642 WITH SCORE 2585393.785
AT ITER 474 NEW BEST:: SOT 19775552 SOS 4750021 HAS SOPS 4750021 HAS SOUS 2580201 HAS SOUPS 2580201 WITH SCORE 2584951.021
AT ITER 484 NEW BEST:: SOT 19773420 SOS 4747206 HAS SOPS 4747206 HAS SOUS 2578069 HAS SOUPS 2578069 WITH SCORE 2582816.206
AT ITER 515 NEW BEST:: SOT 19772810 SOS 4746938 HAS SOPS 4746938 HAS SOUS 2577801 HAS SOUPS 2577801 WITH SCORE 2582547.938
AT ITER 526 NEW BEST:: SOT 19772700 SOS 4746850 HAS SOPS 4746850 HAS SOUS 2577713 HAS SOUPS 2577713 WITH SCORE 2582459.85
AT ITER 534 NEW BEST:: SOT 19772489 SOS 4747184 HAS SOPS 4747184 HAS SOUS 2577502 HAS SOUPS 2577502 WITH SCORE 2582249.184
AT ITER 543 NEW BEST:: SOT 19772938 SOS 4747182 HAS SOPS 4747182 HAS SOUS 2577501 HAS SOUPS 2577501 WITH SCORE 2582248.182
AT ITER 550 NEW BEST:: SOT 19772938 SOS 4747709 HAS SOPS 4747709 HAS SOUS 2577500 HAS SOUPS 2577500 WITH SCORE 2582247.709
AT ITER 556 NEW BEST:: SOT 19772938 SOS 4747277 HAS SOPS 4747277 HAS SOUS 2577499 HAS SOUPS 2577499 WITH SCORE 2582246.277
AT ITER 585 NEW BEST:: SOT 19772513 SOS 4747702 HAS SOPS 4747702 HAS SOUS 2577074 HAS SOUPS 2577074 WITH SCORE 2581821.702
AT ITER 603 NEW BEST:: SOT 19772484 SOS 4747644 HAS SOPS 4747644 HAS SOUS 2577016 HAS SOUPS 2577016 WITH SCORE 2581763.644
AT ITER 607 NEW BEST:: SOT 19772275 SOS 4747888 HAS SOPS 4747888 HAS SOUS 2576807 HAS SOUPS 2576807 WITH SCORE 2581554.888
AT ITER 629 NEW BEST:: SOT 19772198 SOS 4747965 HAS SOPS 4747965 HAS SOUS 2576730 HAS SOUPS 2576730 WITH SCORE 2581477.965
AT ITER 644 NEW BEST:: SOT 19772198 SOS 4746309 HAS SOPS 4746309 HAS SOUS 2576730 HAS SOUPS 2576730 WITH SCORE 2581476.309
AT ITER 645 NEW BEST:: SOT 19771761 SOS 4746742 HAS SOPS 4746742 HAS SOUS 2575855 HAS SOUPS 2575855 WITH SCORE 2580601.742
AT ITER 649 NEW BEST:: SOT 19771023 SOS 4747396 HAS SOPS 4747396 HAS SOUS 2575827 HAS SOUPS 2575827 WITH SCORE 2580574.396
AT ITER 656 NEW BEST:: SOT 19770115 SOS 4745580 HAS SOPS 4745580 HAS SOUS 2574011 HAS SOUPS 2574011 WITH SCORE 2578756.58
AT ITER 682 NEW BEST:: SOT 19770115 SOS 4748349 HAS SOPS 4748349 HAS SOUS 2573835 HAS SOUPS 2573835 WITH SCORE 2578583.349
AT ITER 705 NEW BEST:: SOT 19770114 SOS 4748347 HAS SOPS 4748347 HAS SOUS 2573833 HAS SOUPS 2573833 WITH SCORE 2578581.347
AT ITER 718 NEW BEST:: SOT 19770114 SOS 4747330 HAS SOPS 4747330 HAS SOUS 2573832 HAS SOUPS 2573832 WITH SCORE 2578579.33
AT ITER 730 NEW BEST:: SOT 19769326 SOS 4746846 HAS SOPS 4746846 HAS SOUS 2573348 HAS SOUPS 2573348 WITH SCORE 2578094.846
AT ITER 745 NEW BEST:: SOT 19768106 SOS 4746531 HAS SOPS 4746531 HAS SOUS 2571598 HAS SOUPS 2571598 WITH SCORE 2576344.531
AT ITER 751 NEW BEST:: SOT 19768055 SOS 4746480 HAS SOPS 4746480 HAS SOUS 2571598 HAS SOUPS 2571598 WITH SCORE 2576344.48
AT ITER 767 NEW BEST:: SOT 19767637 SOS 4746476 HAS SOPS 4746476 HAS SOUS 2571597 HAS SOUPS 2571597 WITH SCORE 2576343.476
AT ITER 790 NEW BEST:: SOT 19767637 SOS 4746381 HAS SOPS 4746381 HAS SOUS 2571502 HAS SOUPS 2571502 WITH SCORE 2576248.381
AT ITER 799 NEW BEST:: SOT 19767177 SOS 4746151 HAS SOPS 4746151 HAS SOUS 2571272 HAS SOUPS 2571272 WITH SCORE 2576018.151
AT ITER 800 NEW BEST:: SOT 19767110 SOS 4746018 HAS SOPS 4746018 HAS SOUS 2571139 HAS SOUPS 2571139 WITH SCORE 2575885.018
AT ITER 809 NEW BEST:: SOT 19767109 SOS 4747167 HAS SOPS 4747167 HAS SOUS 2571136 HAS SOUPS 2571136 WITH SCORE 2575883.167
AT ITER 824 NEW BEST:: SOT 19766029 SOS 4740687 HAS SOPS 4740687 HAS SOUS 2569516 HAS SOUPS 2569516 WITH SCORE 2574256.687
AT ITER 836 NEW BEST:: SOT 19765951 SOS 4740531 HAS SOPS 4740531 HAS SOUS 2569438 HAS SOUPS 2569438 WITH SCORE 2574178.531
AT ITER 843 NEW BEST:: SOT 19765951 SOS 4740109 HAS SOPS 4740109 HAS SOUS 2569438 HAS SOUPS 2569438 WITH SCORE 2574178.109
AT ITER 876 NEW BEST:: SOT 19765019 SOS 4739643 HAS SOPS 4739643 HAS SOUS 2568972 HAS SOUPS 2568972 WITH SCORE 2573711.643
AT ITER 888 NEW BEST:: SOT 19764104 SOS 4738976 HAS SOPS 4738976 HAS SOUS 2568289 HAS SOUPS 2568289 WITH SCORE 2573027.976
AT ITER 901 NEW BEST:: SOT 19763636 SOS 4738972 HAS SOPS 4738972 HAS SOUS 2568288 HAS SOUPS 2568288 WITH SCORE 2573026.972
AT ITER 908 NEW BEST:: SOT 19763586 SOS 4739352 HAS SOPS 4739352 HAS SOUS 2568236 HAS SOUPS 2568236 WITH SCORE 2572975.352
AT ITER 930 NEW BEST:: SOT 19763586 SOS 4739352 HAS SOPS 4739352 HAS SOUS 2568134 HAS SOUPS 2568134 WITH SCORE 2572873.352
AT ITER 947 NEW BEST:: SOT 19763116 SOS 4737472 HAS SOPS 4737472 HAS SOUS 2567194 HAS SOUPS 2567194 WITH SCORE 2571931.472
AT ITER 961 NEW BEST:: SOT 19763116 SOS 4738108 HAS SOPS 4738108 HAS SOUS 2567193 HAS SOUPS 2567193 WITH SCORE 2571931.108
AT ITER 966 NEW BEST:: SOT 19762564 SOS 4738660 HAS SOPS 4738660 HAS SOUS 2566931 HAS SOUPS 2566931 WITH SCORE 2571669.66
AT ITER 971 NEW BEST:: SOT 19762089 SOS 4739122 HAS SOPS 4739122 HAS SOUS 2566454 HAS SOUPS 2566454 WITH SCORE 2571193.122
AT ITER 972 NEW BEST:: SOT 19762088 SOS 4739120 HAS SOPS 4739120 HAS SOUS 2566452 HAS SOUPS 2566452 WITH SCORE 2571191.12
AT ITER 980 NEW BEST:: SOT 19762088 SOS 4739120 HAS SOPS 4739120 HAS SOUS 2566451 HAS SOUPS 2566451 WITH SCORE 2571190.12
AT ITER 999 NEW BEST:: SOT 19761679 SOS 4738752 HAS SOPS 4738752 HAS SOUS 2566083 HAS SOUPS 2566083 WITH SCORE 2570821.752
AT ITER 1024 NEW BEST:: SOT 19761679 SOS 4738636 HAS SOPS 4738636 HAS SOUS 2566083 HAS SOUPS 2566083 WITH SCORE 2570821.636
AT ITER 1032 NEW BEST:: SOT 19761029 SOS 4734655 HAS SOPS 4734655 HAS SOUS 2565549 HAS SOUPS 2565549 WITH SCORE 2570283.655
AT ITER 1057 NEW BEST:: SOT 19760283 SOS 4734652 HAS SOPS 4734652 HAS SOUS 2564056 HAS SOUPS 2564056 WITH SCORE 2568790.652
AT ITER 1059 NEW BEST:: SOT 19760547 SOS 4735180 HAS SOPS 4735180 HAS SOUS 2563855 HAS SOUPS 2563855 WITH SCORE 2568590.18
AT ITER 1061 NEW BEST:: SOT 19760547 SOS 4733581 HAS SOPS 4733581 HAS SOUS 2563854 HAS SOUPS 2563854 WITH SCORE 2568587.581
AT ITER 1072 NEW BEST:: SOT 19759585 SOS 4732619 HAS SOPS 4732619 HAS SOUS 2562892 HAS SOUPS 2562892 WITH SCORE 2567624.619
AT ITER 1092 NEW BEST:: SOT 19759004 SOS 4732441 HAS SOPS 4732441 HAS SOUS 2562557 HAS SOUPS 2562557 WITH SCORE 2567289.441
AT ITER 1094 NEW BEST:: SOT 19758662 SOS 4732267 HAS SOPS 4732267 HAS SOUS 2562383 HAS SOUPS 2562383 WITH SCORE 2567115.267
AT ITER 1097 NEW BEST:: SOT 19758580 SOS 4732427 HAS SOPS 4732427 HAS SOUS 2562300 HAS SOUPS 2562300 WITH SCORE 2567032.427
AT ITER 1119 NEW BEST:: SOT 19758579 SOS 4732425 HAS SOPS 4732425 HAS SOUS 2562298 HAS SOUPS 2562298 WITH SCORE 2567030.425
AT ITER 1123 NEW BEST:: SOT 19757629 SOS 4731950 HAS SOPS 4731950 HAS SOUS 2561823 HAS SOUPS 2561823 WITH SCORE 2566554.95
AT ITER 1132 NEW BEST:: SOT 19755666 SOS 4734700 HAS SOPS 4734700 HAS SOUS 2560440 HAS SOUPS 2560440 WITH SCORE 2565174.7
AT ITER 1161 NEW BEST:: SOT 19755516 SOS 4734400 HAS SOPS 4734400 HAS SOUS 2560290 HAS SOUPS 2560290 WITH SCORE 2565024.4
AT ITER 1176 NEW BEST:: SOT 19755516 SOS 4735006 HAS SOPS 4735006 HAS SOUS 2560288 HAS SOUPS 2560288 WITH SCORE 2565023.006
AT ITER 1213 NEW BEST:: SOT 19755516 SOS 4736266 HAS SOPS 4736266 HAS SOUS 2560042 HAS SOUPS 2560042 WITH SCORE 2564778.266
AT ITER 1231 NEW BEST:: SOT 19754457 SOS 4736002 HAS SOPS 4736002 HAS SOUS 2559714 HAS SOUPS 2559714 WITH SCORE 2564450.002
AT ITER 1249 NEW BEST:: SOT 19753777 SOS 4734642 HAS SOPS 4734642 HAS SOUS 2559034 HAS SOUPS 2559034 WITH SCORE 2563768.642
AT ITER 1255 NEW BEST:: SOT 19754054 SOS 4737647 HAS SOPS 4737647 HAS SOUS 2558360 HAS SOUPS 2558360 WITH SCORE 2563097.647
AT ITER 1278 NEW BEST:: SOT 19753060 SOS 4737150 HAS SOPS 4737150 HAS SOUS 2557863 HAS SOUPS 2557863 WITH SCORE 2562600.15
AT ITER 1293 NEW BEST:: SOT 19753060 SOS 4739670 HAS SOPS 4739670 HAS SOUS 2557649 HAS SOUPS 2557649 WITH SCORE 2562388.67
AT ITER 1296 NEW BEST:: SOT 19753038 SOS 4739648 HAS SOPS 4739648 HAS SOUS 2557627 HAS SOUPS 2557627 WITH SCORE 2562366.648
AT ITER 1356 NEW BEST:: SOT 19752935 SOS 4737998 HAS SOPS 4737998 HAS SOUS 2556240 HAS SOUPS 2556240 WITH SCORE 2560977.998
AT ITER 1359 NEW BEST:: SOT 19752794 SOS 4737976 HAS SOPS 4737976 HAS SOUS 2556161 HAS SOUPS 2556161 WITH SCORE 2560898.976
AT ITER 1369 NEW BEST:: SOT 19753493 SOS 4739374 HAS SOPS 4739374 HAS SOUS 2556095 HAS SOUPS 2556095 WITH SCORE 2560834.374
AT ITER 1399 NEW BEST:: SOT 19753617 SOS 4739619 HAS SOPS 4739619 HAS SOUS 2555225 HAS SOUPS 2555225 WITH SCORE 2559964.619
AT ITER 1403 NEW BEST:: SOT 19753430 SOS 4739472 HAS SOPS 4739472 HAS SOUS 2555060 HAS SOUPS 2555060 WITH SCORE 2559799.472
AT ITER 1409 NEW BEST:: SOT 19753173 SOS 4739729 HAS SOPS 4739729 HAS SOUS 2554803 HAS SOUPS 2554803 WITH SCORE 2559542.729
AT ITER 1430 NEW BEST:: SOT 19753173 SOS 4739728 HAS SOPS 4739728 HAS SOUS 2554802 HAS SOUPS 2554802 WITH SCORE 2559541.728
AT ITER 1463 NEW BEST:: SOT 19753173 SOS 4738846 HAS SOPS 4738846 HAS SOUS 2554508 HAS SOUPS 2554508 WITH SCORE 2559246.846
AT ITER 1471 NEW BEST:: SOT 19753185 SOS 4738870 HAS SOPS 4738870 HAS SOUS 2554504 HAS SOUPS 2554504 WITH SCORE 2559242.87
AT ITER 1484 NEW BEST:: SOT 19753069 SOS 4739778 HAS SOPS 4739778 HAS SOUS 2554386 HAS SOUPS 2554386 WITH SCORE 2559125.778
AT ITER 1517 NEW BEST:: SOT 19752741 SOS 4738954 HAS SOPS 4738954 HAS SOUS 2553562 HAS SOUPS 2553562 WITH SCORE 2558300.954
AT ITER 1543 NEW BEST:: SOT 19752297 SOS 4738066 HAS SOPS 4738066 HAS SOUS 2553118 HAS SOUPS 2553118 WITH SCORE 2557856.066
AT ITER 1565 NEW BEST:: SOT 19752297 SOS 4737914 HAS SOPS 4737914 HAS SOUS 2553118 HAS SOUPS 2553118 WITH SCORE 2557855.914
AT ITER 1577 NEW BEST:: SOT 19751838 SOS 4744150 HAS SOPS 4744150 HAS SOUS 2552199 HAS SOUPS 2552199 WITH SCORE 2556943.15
AT ITER 1601 NEW BEST:: SOT 19751665 SOS 4744042 HAS SOPS 4744042 HAS SOUS 2552091 HAS SOUPS 2552091 WITH SCORE 2556835.042
AT ITER 1604 NEW BEST:: SOT 19750707 SOS 4743080 HAS SOPS 4743080 HAS SOUS 2551132 HAS SOUPS 2551132 WITH SCORE 2555875.08
AT ITER 1608 NEW BEST:: SOT 19750707 SOS 4743010 HAS SOPS 4743010 HAS SOUS 2551062 HAS SOUPS 2551062 WITH SCORE 2555805.01
AT ITER 1631 NEW BEST:: SOT 19748247 SOS 4740611 HAS SOPS 4740611 HAS SOUS 2548663 HAS SOUPS 2548663 WITH SCORE 2553403.611
AT ITER 1660 NEW BEST:: SOT 19745807 SOS 4740023 HAS SOPS 4740023 HAS SOUS 2547608 HAS SOUPS 2547608 WITH SCORE 2552348.023
AT ITER 1662 NEW BEST:: SOT 19745691 SOS 4739791 HAS SOPS 4739791 HAS SOUS 2547376 HAS SOUPS 2547376 WITH SCORE 2552115.791
AT ITER 1680 NEW BEST:: SOT 19745364 SOS 4739464 HAS SOPS 4739464 HAS SOUS 2546940 HAS SOUPS 2546940 WITH SCORE 2551679.464
AT ITER 1767 NEW BEST:: SOT 19744799 SOS 4739464 HAS SOPS 4739464 HAS SOUS 2545810 HAS SOUPS 2545810 WITH SCORE 2550549.464
AT ITER 1787 NEW BEST:: SOT 19744581 SOS 4739896 HAS SOPS 4739896 HAS SOUS 2545591 HAS SOUPS 2545591 WITH SCORE 2550330.896
AT ITER 1801 NEW BEST:: SOT 19744581 SOS 4739896 HAS SOPS 4739896 HAS SOUS 2545590 HAS SOUPS 2545590 WITH SCORE 2550329.896
AT ITER 1814 NEW BEST:: SOT 19744159 SOS 4735380 HAS SOPS 4735380 HAS SOUS 2544058 HAS SOUPS 2544058 WITH SCORE 2548793.38
AT ITER 1844 NEW BEST:: SOT 19744150 SOS 4735443 HAS SOPS 4735443 HAS SOUS 2544049 HAS SOUPS 2544049 WITH SCORE 2548784.443
AT ITER 1847 NEW BEST:: SOT 19743635 SOS 4734413 HAS SOPS 4734413 HAS SOUS 2543019 HAS SOUPS 2543019 WITH SCORE 2547753.413
AT ITER 1853 NEW BEST:: SOT 19743439 SOS 4734217 HAS SOPS 4734217 HAS SOUS 2542823 HAS SOUPS 2542823 WITH SCORE 2547557.217
AT ITER 1874 NEW BEST:: SOT 19743439 SOS 4734214 HAS SOPS 4734214 HAS SOUS 2542822 HAS SOUPS 2542822 WITH SCORE 2547556.214
AT ITER 1941 NEW BEST:: SOT 19742842 SOS 4734214 HAS SOPS 4734214 HAS SOUS 2541787 HAS SOUPS 2541787 WITH SCORE 2546521.214
AT ITER 1946 NEW BEST:: SOT 19742841 SOS 4734212 HAS SOPS 4734212 HAS SOUS 2541785 HAS SOUPS 2541785 WITH SCORE 2546519.212
AT ITER 1957 NEW BEST:: SOT 19742337 SOS 4734212 HAS SOPS 4734212 HAS SOUS 2541631 HAS SOUPS 2541631 WITH SCORE 2546365.212
AT ITER 1973 NEW BEST:: SOT 19742258 SOS 4734285 HAS SOPS 4734285 HAS SOUS 2541550 HAS SOUPS 2541550 WITH SCORE 2546284.285
AT ITER 1974 NEW BEST:: SOT 19741598 SOS 4734285 HAS SOPS 4734285 HAS SOUS 2540678 HAS SOUPS 2540678 WITH SCORE 2545412.285
AT ITER 1989 NEW BEST:: SOT 19741598 SOS 4734651 HAS SOPS 4734651 HAS SOUS 2540677 HAS SOUPS 2540677 WITH SCORE 2545411.651
AT ITER 2018 NEW BEST:: SOT 19741598 SOS 4734651 HAS SOPS 4734651 HAS SOUS 2540676 HAS SOUPS 2540676 WITH SCORE 2545410.651
AT ITER 2020 NEW BEST:: SOT 19741597 SOS 4734649 HAS SOPS 4734649 HAS SOUS 2540674 HAS SOUPS 2540674 WITH SCORE 2545408.649
AT ITER 2059 NEW BEST:: SOT 19740843 SOS 4734639 HAS SOPS 4734639 HAS SOUS 2540208 HAS SOUPS 2540208 WITH SCORE 2544942.639
AT ITER 2074 NEW BEST:: SOT 19740401 SOS 4735077 HAS SOPS 4735077 HAS SOUS 2539323 HAS SOUPS 2539323 WITH SCORE 2544058.077
AT ITER 2090 NEW BEST:: SOT 19740847 SOS 4735969 HAS SOPS 4735969 HAS SOUS 2539008 HAS SOUPS 2539008 WITH SCORE 2543743.969
AT ITER 2099 NEW BEST:: SOT 19740908 SOS 4735011 HAS SOPS 4735011 HAS SOUS 2538739 HAS SOUPS 2538739 WITH SCORE 2543474.011
AT ITER 2101 NEW BEST:: SOT 19740908 SOS 4734885 HAS SOPS 4734885 HAS SOUS 2538739 HAS SOUPS 2538739 WITH SCORE 2543473.885
AT ITER 2102 NEW BEST:: SOT 19740364 SOS 4734613 HAS SOPS 4734613 HAS SOUS 2538467 HAS SOUPS 2538467 WITH SCORE 2543201.613
AT ITER 2113 NEW BEST:: SOT 19738558 SOS 4736430 HAS SOPS 4736430 HAS SOUS 2537527 HAS SOUPS 2537527 WITH SCORE 2542263.43
AT ITER 2114 NEW BEST:: SOT 19738470 SOS 4736254 HAS SOPS 4736254 HAS SOUS 2537351 HAS SOUPS 2537351 WITH SCORE 2542087.254
AT ITER 2142 NEW BEST:: SOT 19738489 SOS 4736292 HAS SOPS 4736292 HAS SOUS 2537157 HAS SOUPS 2537157 WITH SCORE 2541893.292
AT ITER 2146 NEW BEST:: SOT 19738489 SOS 4736497 HAS SOPS 4736497 HAS SOUS 2537156 HAS SOUPS 2537156 WITH SCORE 2541892.497
AT ITER 2149 NEW BEST:: SOT 19738488 SOS 4736495 HAS SOPS 4736495 HAS SOUS 2537155 HAS SOUPS 2537155 WITH SCORE 2541891.495
AT ITER 2152 NEW BEST:: SOT 19738480 SOS 4736479 HAS SOPS 4736479 HAS SOUS 2536921 HAS SOUPS 2536921 WITH SCORE 2541657.479
AT ITER 2172 NEW BEST:: SOT 19738381 SOS 4736578 HAS SOPS 4736578 HAS SOUS 2536822 HAS SOUPS 2536822 WITH SCORE 2541558.578
AT ITER 2195 NEW BEST:: SOT 19738668 SOS 4737152 HAS SOPS 4737152 HAS SOUS 2536782 HAS SOUPS 2536782 WITH SCORE 2541519.152
AT ITER 2258 NEW BEST:: SOT 19737399 SOS 4735882 HAS SOPS 4735882 HAS SOUS 2535512 HAS SOUPS 2535512 WITH SCORE 2540247.882
AT ITER 2259 NEW BEST:: SOT 19737399 SOS 4735882 HAS SOPS 4735882 HAS SOUS 2535511 HAS SOUPS 2535511 WITH SCORE 2540246.882
AT ITER 2322 NEW BEST:: SOT 19736257 SOS 4735311 HAS SOPS 4735311 HAS SOUS 2534369 HAS SOUPS 2534369 WITH SCORE 2539104.311
AT ITER 2334 NEW BEST:: SOT 19735379 SOS 4741457 HAS SOPS 4741457 HAS SOUS 2533491 HAS SOUPS 2533491 WITH SCORE 2538232.457
AT ITER 2348 NEW BEST:: SOT 19735007 SOS 4740713 HAS SOPS 4740713 HAS SOUS 2532747 HAS SOUPS 2532747 WITH SCORE 2537487.713
AT ITER 2357 NEW BEST:: SOT 19733703 SOS 4739409 HAS SOPS 4739409 HAS SOUS 2531443 HAS SOUPS 2531443 WITH SCORE 2536182.409
AT ITER 2362 NEW BEST:: SOT 19733689 SOS 4739381 HAS SOPS 4739381 HAS SOUS 2531415 HAS SOUPS 2531415 WITH SCORE 2536154.381
AT ITER 2364 NEW BEST:: SOT 19733689 SOS 4739381 HAS SOPS 4739381 HAS SOUS 2531414 HAS SOUPS 2531414 WITH SCORE 2536153.381
AT ITER 2370 NEW BEST:: SOT 19731800 SOS 4738157 HAS SOPS 4738157 HAS SOUS 2529547 HAS SOUPS 2529547 WITH SCORE 2534285.157
AT ITER 2374 NEW BEST:: SOT 19731964 SOS 4744631 HAS SOPS 4744631 HAS SOUS 2529190 HAS SOUPS 2529190 WITH SCORE 2533934.631
AT ITER 2387 NEW BEST:: SOT 19731781 SOS 4744265 HAS SOPS 4744265 HAS SOUS 2528998 HAS SOUPS 2528998 WITH SCORE 2533742.265
AT ITER 2396 NEW BEST:: SOT 19731730 SOS 4750049 HAS SOPS 4750049 HAS SOUS 2528947 HAS SOUPS 2528947 WITH SCORE 2533697.049
AT ITER 2402 NEW BEST:: SOT 19731659 SOS 4751764 HAS SOPS 4751764 HAS SOUS 2528876 HAS SOUPS 2528876 WITH SCORE 2533627.764
AT ITER 2408 NEW BEST:: SOT 19731277 SOS 4752063 HAS SOPS 4752063 HAS SOUS 2527960 HAS SOUPS 2527960 WITH SCORE 2532712.063
AT ITER 2411 NEW BEST:: SOT 19731224 SOS 4751957 HAS SOPS 4751957 HAS SOUS 2527854 HAS SOUPS 2527854 WITH SCORE 2532605.957
AT ITER 2412 NEW BEST:: SOT 19731072 SOS 4751653 HAS SOPS 4751653 HAS SOUS 2527550 HAS SOUPS 2527550 WITH SCORE 2532301.653
AT ITER 2421 NEW BEST:: SOT 19730692 SOS 4750215 HAS SOPS 4750215 HAS SOUS 2527170 HAS SOUPS 2527170 WITH SCORE 2531920.215
AT ITER 2442 NEW BEST:: SOT 19730837 SOS 4749047 HAS SOPS 4749047 HAS SOUS 2526901 HAS SOUPS 2526901 WITH SCORE 2531650.047
AT ITER 2447 NEW BEST:: SOT 19730755 SOS 4748883 HAS SOPS 4748883 HAS SOUS 2526737 HAS SOUPS 2526737 WITH SCORE 2531485.883
AT ITER 2456 NEW BEST:: SOT 19730407 SOS 4747839 HAS SOPS 4747839 HAS SOUS 2525693 HAS SOUPS 2525693 WITH SCORE 2530440.839
AT ITER 2458 NEW BEST:: SOT 19730283 SOS 4747591 HAS SOPS 4747591 HAS SOUS 2525569 HAS SOUPS 2525569 WITH SCORE 2530316.591
AT ITER 2465 NEW BEST:: SOT 19730159 SOS 4747343 HAS SOPS 4747343 HAS SOUS 2525321 HAS SOUPS 2525321 WITH SCORE 2530068.343
AT ITER 2485 NEW BEST:: SOT 19730158 SOS 4748729 HAS SOPS 4748729 HAS SOUS 2525318 HAS SOUPS 2525318 WITH SCORE 2530066.729
AT ITER 2491 NEW BEST:: SOT 19730274 SOS 4747518 HAS SOPS 4747518 HAS SOUS 2524135 HAS SOUPS 2524135 WITH SCORE 2528882.518
AT ITER 2504 NEW BEST:: SOT 19729014 SOS 4746888 HAS SOPS 4746888 HAS SOUS 2523505 HAS SOUPS 2523505 WITH SCORE 2528251.888
AT ITER 2505 NEW BEST:: SOT 19729014 SOS 4746553 HAS SOPS 4746553 HAS SOUS 2523505 HAS SOUPS 2523505 WITH SCORE 2528251.553
AT ITER 2539 NEW BEST:: SOT 19728113 SOS 4745648 HAS SOPS 4745648 HAS SOUS 2523330 HAS SOUPS 2523330 WITH SCORE 2528075.648
AT ITER 2580 NEW BEST:: SOT 19726579 SOS 4744415 HAS SOPS 4744415 HAS SOUS 2522097 HAS SOUPS 2522097 WITH SCORE 2526841.415
AT ITER 2584 NEW BEST:: SOT 19726361 SOS 4744302 HAS SOPS 4744302 HAS SOUS 2521879 HAS SOUPS 2521879 WITH SCORE 2526623.302
AT ITER 2595 NEW BEST:: SOT 19726121 SOS 4746326 HAS SOPS 4746326 HAS SOUS 2521638 HAS SOUPS 2521638 WITH SCORE 2526384.326
AT ITER 2597 NEW BEST:: SOT 19726121 SOS 4746258 HAS SOPS 4746258 HAS SOUS 2521638 HAS SOUPS 2521638 WITH SCORE 2526384.258
AT ITER 2622 NEW BEST:: SOT 19726201 SOS 4748700 HAS SOPS 4748700 HAS SOUS 2521293 HAS SOUPS 2521293 WITH SCORE 2526041.7
AT ITER 2624 NEW BEST:: SOT 19726088 SOS 4748474 HAS SOPS 4748474 HAS SOUS 2521067 HAS SOUPS 2521067 WITH SCORE 2525815.474
AT ITER 2625 NEW BEST:: SOT 19726088 SOS 4750625 HAS SOPS 4750625 HAS SOUS 2520828 HAS SOUPS 2520828 WITH SCORE 2525578.625
AT ITER 2652 NEW BEST:: SOT 19726036 SOS 4750511 HAS SOPS 4750511 HAS SOUS 2520723 HAS SOUPS 2520723 WITH SCORE 2525473.511
AT ITER 2658 NEW BEST:: SOT 19725348 SOS 4749820 HAS SOPS 4749820 HAS SOUS 2520034 HAS SOUPS 2520034 WITH SCORE 2524783.82
AT ITER 2664 NEW BEST:: SOT 19725271 SOS 4749817 HAS SOPS 4749817 HAS SOUS 2519879 HAS SOUPS 2519879 WITH SCORE 2524628.817
AT ITER 2679 NEW BEST:: SOT 19725274 SOS 4749704 HAS SOPS 4749704 HAS SOUS 2519766 HAS SOUPS 2519766 WITH SCORE 2524515.704
AT ITER 2682 NEW BEST:: SOT 19725665 SOS 4750484 HAS SOPS 4750484 HAS SOUS 2519013 HAS SOUPS 2519013 WITH SCORE 2523763.484
AT ITER 2684 NEW BEST:: SOT 19725821 SOS 4756582 HAS SOPS 4756582 HAS SOUS 2518988 HAS SOUPS 2518988 WITH SCORE 2523744.582
AT ITER 2720 NEW BEST:: SOT 19725821 SOS 4756570 HAS SOPS 4756570 HAS SOUS 2518976 HAS SOUPS 2518976 WITH SCORE 2523732.57
AT ITER 2770 NEW BEST:: SOT 19725820 SOS 4756568 HAS SOPS 4756568 HAS SOUS 2518974 HAS SOUPS 2518974 WITH SCORE 2523730.568
AT ITER 2772 NEW BEST:: SOT 19724934 SOS 4756065 HAS SOPS 4756065 HAS SOUS 2517533 HAS SOUPS 2517533 WITH SCORE 2522289.065
AT ITER 2811 NEW BEST:: SOT 19724405 SOS 4756055 HAS SOPS 4756055 HAS SOUS 2517338 HAS SOUPS 2517338 WITH SCORE 2522094.055
AT ITER 2822 NEW BEST:: SOT 19724405 SOS 4756052 HAS SOPS 4756052 HAS SOUS 2517337 HAS SOUPS 2517337 WITH SCORE 2522093.052
AT ITER 2837 NEW BEST:: SOT 19724375 SOS 4756022 HAS SOPS 4756022 HAS SOUS 2517322 HAS SOUPS 2517322 WITH SCORE 2522078.022
AT ITER 2883 NEW BEST:: SOT 19723234 SOS 4756282 HAS SOPS 4756282 HAS SOUS 2516072 HAS SOUPS 2516072 WITH SCORE 2520828.282
AT ITER 2916 NEW BEST:: SOT 19723233 SOS 4757251 HAS SOPS 4757251 HAS SOUS 2516069 HAS SOUPS 2516069 WITH SCORE 2520826.251
AT ITER 2927 NEW BEST:: SOT 19722480 SOS 4756737 HAS SOPS 4756737 HAS SOUS 2515555 HAS SOUPS 2515555 WITH SCORE 2520311.737
AT ITER 2960 NEW BEST:: SOT 19722581 SOS 4756327 HAS SOPS 4756327 HAS SOUS 2515553 HAS SOUPS 2515553 WITH SCORE 2520309.327
AT ITER 2974 NEW BEST:: SOT 19722280 SOS 4755725 HAS SOPS 4755725 HAS SOUS 2514951 HAS SOUPS 2514951 WITH SCORE 2519706.725
AT ITER 2984 NEW BEST:: SOT 19723299 SOS 4757333 HAS SOPS 4757333 HAS SOUS 2514576 HAS SOUPS 2514576 WITH SCORE 2519333.333
AT ITER 2995 NEW BEST:: SOT 19722243 SOS 4757117 HAS SOPS 4757117 HAS SOUS 2513854 HAS SOUPS 2513854 WITH SCORE 2518611.117
AT ITER 2997 NEW BEST:: SOT 19721914 SOS 4756787 HAS SOPS 4756787 HAS SOUS 2513524 HAS SOUPS 2513524 WITH SCORE 2518280.787
AT ITER 3018 NEW BEST:: SOT 19721784 SOS 4756527 HAS SOPS 4756527 HAS SOUS 2513264 HAS SOUPS 2513264 WITH SCORE 2518020.527
AT ITER 3020 NEW BEST:: SOT 19721784 SOS 4756694 HAS SOPS 4756694 HAS SOUS 2513262 HAS SOUPS 2513262 WITH SCORE 2518018.694
AT ITER 3025 NEW BEST:: SOT 19721404 SOS 4756314 HAS SOPS 4756314 HAS SOUS 2512882 HAS SOUPS 2512882 WITH SCORE 2517638.314
AT ITER 3033 NEW BEST:: SOT 19721323 SOS 4755910 HAS SOPS 4755910 HAS SOUS 2512478 HAS SOUPS 2512478 WITH SCORE 2517233.91
AT ITER 3047 NEW BEST:: SOT 19721142 SOS 4755548 HAS SOPS 4755548 HAS SOUS 2512297 HAS SOUPS 2512297 WITH SCORE 2517052.548
AT ITER 3066 NEW BEST:: SOT 19721142 SOS 4755396 HAS SOPS 4755396 HAS SOUS 2512297 HAS SOUPS 2512297 WITH SCORE 2517052.396
AT ITER 3131 NEW BEST:: SOT 19721008 SOS 4755128 HAS SOPS 4755128 HAS SOUS 2512028 HAS SOUPS 2512028 WITH SCORE 2516783.128
AT ITER 3145 NEW BEST:: SOT 19719906 SOS 4753776 HAS SOPS 4753776 HAS SOUS 2510118 HAS SOUPS 2510118 WITH SCORE 2514871.776
AT ITER 3174 NEW BEST:: SOT 19719703 SOS 4753370 HAS SOPS 4753370 HAS SOUS 2509712 HAS SOUPS 2509712 WITH SCORE 2514465.37
AT ITER 3196 NEW BEST:: SOT 19719453 SOS 4752765 HAS SOPS 4752765 HAS SOUS 2509107 HAS SOUPS 2509107 WITH SCORE 2513859.765
AT ITER 3201 NEW BEST:: SOT 19718907 SOS 4752755 HAS SOPS 4752755 HAS SOUS 2508926 HAS SOUPS 2508926 WITH SCORE 2513678.755
AT ITER 3212 NEW BEST:: SOT 19718907 SOS 4754449 HAS SOPS 4754449 HAS SOUS 2508924 HAS SOUPS 2508924 WITH SCORE 2513678.449
AT ITER 3222 NEW BEST:: SOT 19718978 SOS 4754141 HAS SOPS 4754141 HAS SOUS 2508916 HAS SOUPS 2508916 WITH SCORE 2513670.141
AT ITER 3230 NEW BEST:: SOT 19718978 SOS 4754456 HAS SOPS 4754456 HAS SOUS 2508915 HAS SOUPS 2508915 WITH SCORE 2513669.456
AT ITER 3241 NEW BEST:: SOT 19718270 SOS 4754042 HAS SOPS 4754042 HAS SOUS 2508501 HAS SOUPS 2508501 WITH SCORE 2513255.042
AT ITER 3279 NEW BEST:: SOT 19717331 SOS 4751272 HAS SOPS 4751272 HAS SOUS 2507996 HAS SOUPS 2507996 WITH SCORE 2512747.272
AT ITER 3280 NEW BEST:: SOT 19716655 SOS 4750595 HAS SOPS 4750595 HAS SOUS 2507319 HAS SOUPS 2507319 WITH SCORE 2512069.595
AT ITER 3329 NEW BEST:: SOT 19716880 SOS 4751045 HAS SOPS 4751045 HAS SOUS 2507098 HAS SOUPS 2507098 WITH SCORE 2511849.045
AT ITER 3390 NEW BEST:: SOT 19716759 SOS 4753184 HAS SOPS 4753184 HAS SOUS 2506855 HAS SOUPS 2506855 WITH SCORE 2511608.184
AT ITER 3410 NEW BEST:: SOT 19716213 SOS 4753184 HAS SOPS 4753184 HAS SOUS 2506430 HAS SOUPS 2506430 WITH SCORE 2511183.184
AT ITER 3423 NEW BEST:: SOT 19716213 SOS 4753183 HAS SOPS 4753183 HAS SOUS 2506429 HAS SOUPS 2506429 WITH SCORE 2511182.183
AT ITER 3427 NEW BEST:: SOT 19716192 SOS 4752943 HAS SOPS 4752943 HAS SOUS 2506309 HAS SOUPS 2506309 WITH SCORE 2511061.943
AT ITER 3481 NEW BEST:: SOT 19715424 SOS 4752515 HAS SOPS 4752515 HAS SOUS 2505881 HAS SOUPS 2505881 WITH SCORE 2510633.515
AT ITER 3489 NEW BEST:: SOT 19715407 SOS 4751725 HAS SOPS 4751725 HAS SOUS 2505847 HAS SOUPS 2505847 WITH SCORE 2510598.725
AT ITER 3498 NEW BEST:: SOT 19715159 SOS 4751229 HAS SOPS 4751229 HAS SOUS 2505599 HAS SOUPS 2505599 WITH SCORE 2510350.229
AT ITER 3506 NEW BEST:: SOT 19714836 SOS 4750583 HAS SOPS 4750583 HAS SOUS 2505337 HAS SOUPS 2505337 WITH SCORE 2510087.583
AT ITER 3509 NEW BEST:: SOT 19713976 SOS 4741123 HAS SOPS 4741123 HAS SOUS 2503617 HAS SOUPS 2503617 WITH SCORE 2508358.123
AT ITER 3512 NEW BEST:: SOT 19713705 SOS 4741538 HAS SOPS 4741538 HAS SOUS 2503346 HAS SOUPS 2503346 WITH SCORE 2508087.538
AT ITER 3523 NEW BEST:: SOT 19713378 SOS 4741534 HAS SOPS 4741534 HAS SOUS 2503345 HAS SOUPS 2503345 WITH SCORE 2508086.534
AT ITER 3524 NEW BEST:: SOT 19713508 SOS 4741794 HAS SOPS 4741794 HAS SOUS 2503086 HAS SOUPS 2503086 WITH SCORE 2507827.794
AT ITER 3534 NEW BEST:: SOT 19713045 SOS 4741784 HAS SOPS 4741784 HAS SOUS 2503085 HAS SOUPS 2503085 WITH SCORE 2507826.784
AT ITER 3617 NEW BEST:: SOT 19712586 SOS 4741443 HAS SOPS 4741443 HAS SOUS 2502744 HAS SOUPS 2502744 WITH SCORE 2507485.443
AT ITER 3639 NEW BEST:: SOT 19712586 SOS 4741155 HAS SOPS 4741155 HAS SOUS 2502744 HAS SOUPS 2502744 WITH SCORE 2507485.155
AT ITER 3670 NEW BEST:: SOT 19712722 SOS 4741427 HAS SOPS 4741427 HAS SOUS 2502361 HAS SOUPS 2502361 WITH SCORE 2507102.427
AT ITER 3691 NEW BEST:: SOT 19712572 SOS 4741127 HAS SOPS 4741127 HAS SOUS 2502061 HAS SOUPS 2502061 WITH SCORE 2506802.127
AT ITER 3707 NEW BEST:: SOT 19711364 SOS 4740988 HAS SOPS 4740988 HAS SOUS 2501612 HAS SOUPS 2501612 WITH SCORE 2506352.988
AT ITER 3716 NEW BEST:: SOT 19711255 SOS 4740770 HAS SOPS 4740770 HAS SOUS 2501394 HAS SOUPS 2501394 WITH SCORE 2506134.77
AT ITER 3740 NEW BEST:: SOT 19711167 SOS 4740682 HAS SOPS 4740682 HAS SOUS 2501306 HAS SOUPS 2501306 WITH SCORE 2506046.682
AT ITER 3761 NEW BEST:: SOT 19709947 SOS 4740682 HAS SOPS 4740682 HAS SOUS 2499668 HAS SOUPS 2499668 WITH SCORE 2504408.682
AT ITER 3765 NEW BEST:: SOT 19709944 SOS 4740676 HAS SOPS 4740676 HAS SOUS 2499662 HAS SOUPS 2499662 WITH SCORE 2504402.676
AT ITER 3767 NEW BEST:: SOT 19709631 SOS 4740050 HAS SOPS 4740050 HAS SOUS 2499036 HAS SOUPS 2499036 WITH SCORE 2503776.05
AT ITER 3773 NEW BEST:: SOT 19709438 SOS 4739664 HAS SOPS 4739664 HAS SOUS 2498843 HAS SOUPS 2498843 WITH SCORE 2503582.664
AT ITER 3780 NEW BEST:: SOT 19708992 SOS 4735650 HAS SOPS 4735650 HAS SOUS 2497951 HAS SOUPS 2497951 WITH SCORE 2502686.65
AT ITER 3784 NEW BEST:: SOT 19708883 SOS 4735432 HAS SOPS 4735432 HAS SOUS 2497733 HAS SOUPS 2497733 WITH SCORE 2502468.432
AT ITER 3812 NEW BEST:: SOT 19708883 SOS 4735432 HAS SOPS 4735432 HAS SOUS 2497334 HAS SOUPS 2497334 WITH SCORE 2502069.432
AT ITER 3856 NEW BEST:: SOT 19708881 SOS 4735428 HAS SOPS 4735428 HAS SOUS 2497330 HAS SOUPS 2497330 WITH SCORE 2502065.428
AT ITER 3882 NEW BEST:: SOT 19707438 SOS 4740231 HAS SOPS 4740231 HAS SOUS 2497112 HAS SOUPS 2497112 WITH SCORE 2501852.231
AT ITER 3968 NEW BEST:: SOT 19707180 SOS 4739973 HAS SOPS 4739973 HAS SOUS 2496854 HAS SOUPS 2496854 WITH SCORE 2501593.973
AT ITER 3995 NEW BEST:: SOT 19706441 SOS 4739254 HAS SOPS 4739254 HAS SOUS 2496124 HAS SOUPS 2496124 WITH SCORE 2500863.254
AT ITER 4009 NEW BEST:: SOT 19705487 SOS 4728760 HAS SOPS 4728760 HAS SOUS 2494216 HAS SOUPS 2494216 WITH SCORE 2498944.76
AT ITER 4021 NEW BEST:: SOT 19704979 SOS 4728760 HAS SOPS 4728760 HAS SOUS 2493842 HAS SOUPS 2493842 WITH SCORE 2498570.76
AT ITER 4041 NEW BEST:: SOT 19704881 SOS 4729524 HAS SOPS 4729524 HAS SOUS 2493742 HAS SOUPS 2493742 WITH SCORE 2498471.524
AT ITER 4043 NEW BEST:: SOT 19704516 SOS 4728794 HAS SOPS 4728794 HAS SOUS 2492855 HAS SOUPS 2492855 WITH SCORE 2497583.794
AT ITER 4099 NEW BEST:: SOT 19703859 SOS 4727480 HAS SOPS 4727480 HAS SOUS 2491541 HAS SOUPS 2491541 WITH SCORE 2496268.48
AT ITER 4113 NEW BEST:: SOT 19703421 SOS 4726179 HAS SOPS 4726179 HAS SOUS 2491479 HAS SOUPS 2491479 WITH SCORE 2496205.179
AT ITER 4115 NEW BEST:: SOT 19703229 SOS 4726035 HAS SOPS 4726035 HAS SOUS 2491463 HAS SOUPS 2491463 WITH SCORE 2496189.035
AT ITER 4116 NEW BEST:: SOT 19703131 SOS 4726034 HAS SOPS 4726034 HAS SOUS 2491462 HAS SOUPS 2491462 WITH SCORE 2496188.034
AT ITER 4130 NEW BEST:: SOT 19702694 SOS 4725976 HAS SOPS 4725976 HAS SOUS 2491061 HAS SOUPS 2491061 WITH SCORE 2495786.976
AT ITER 4152 NEW BEST:: SOT 19702273 SOS 4725134 HAS SOPS 4725134 HAS SOUS 2490640 HAS SOUPS 2490640 WITH SCORE 2495365.134
AT ITER 4166 NEW BEST:: SOT 19702273 SOS 4724257 HAS SOPS 4724257 HAS SOUS 2489763 HAS SOUPS 2489763 WITH SCORE 2494487.257
AT ITER 4187 NEW BEST:: SOT 19701867 SOS 4724253 HAS SOPS 4724253 HAS SOUS 2489762 HAS SOUPS 2489762 WITH SCORE 2494486.253
AT ITER 4188 NEW BEST:: SOT 19701877 SOS 4724999 HAS SOPS 4724999 HAS SOUS 2489603 HAS SOUPS 2489603 WITH SCORE 2494327.999
AT ITER 4193 NEW BEST:: SOT 19700562 SOS 4722369 HAS SOPS 4722369 HAS SOUS 2486973 HAS SOUPS 2486973 WITH SCORE 2491695.369
AT ITER 4205 NEW BEST:: SOT 19700562 SOS 4723819 HAS SOPS 4723819 HAS SOUS 2486660 HAS SOUPS 2486660 WITH SCORE 2491383.819
AT ITER 4229 NEW BEST:: SOT 19700334 SOS 4723198 HAS SOPS 4723198 HAS SOUS 2486039 HAS SOUPS 2486039 WITH SCORE 2490762.198
AT ITER 4234 NEW BEST:: SOT 19699777 SOS 4723188 HAS SOPS 4723188 HAS SOUS 2485606 HAS SOUPS 2485606 WITH SCORE 2490329.188
AT ITER 4263 NEW BEST:: SOT 19699678 SOS 4723116 HAS SOPS 4723116 HAS SOUS 2485534 HAS SOUPS 2485534 WITH SCORE 2490257.116
AT ITER 4301 NEW BEST:: SOT 19699073 SOS 4722770 HAS SOPS 4722770 HAS SOUS 2485187 HAS SOUPS 2485187 WITH SCORE 2489909.77
AT ITER 4310 NEW BEST:: SOT 19699073 SOS 4723143 HAS SOPS 4723143 HAS SOUS 2485186 HAS SOUPS 2485186 WITH SCORE 2489909.143
AT ITER 4320 NEW BEST:: SOT 19695796 SOS 4718580 HAS SOPS 4718580 HAS SOUS 2482051 HAS SOUPS 2482051 WITH SCORE 2486769.58
AT ITER 4326 NEW BEST:: SOT 19695796 SOS 4718420 HAS SOPS 4718420 HAS SOUS 2481891 HAS SOUPS 2481891 WITH SCORE 2486609.42
AT ITER 4338 NEW BEST:: SOT 19696041 SOS 4716897 HAS SOPS 4716897 HAS SOUS 2481587 HAS SOUPS 2481587 WITH SCORE 2486303.897
AT ITER 4343 NEW BEST:: SOT 19696021 SOS 4716857 HAS SOPS 4716857 HAS SOUS 2481547 HAS SOUPS 2481547 WITH SCORE 2486263.857
AT ITER 4347 NEW BEST:: SOT 19695821 SOS 4716457 HAS SOPS 4716457 HAS SOUS 2481147 HAS SOUPS 2481147 WITH SCORE 2485863.457
AT ITER 4352 NEW BEST:: SOT 19695731 SOS 4716277 HAS SOPS 4716277 HAS SOUS 2481057 HAS SOUPS 2481057 WITH SCORE 2485773.277
AT ITER 4364 NEW BEST:: SOT 19695620 SOS 4716055 HAS SOPS 4716055 HAS SOUS 2480622 HAS SOUPS 2480622 WITH SCORE 2485338.055
AT ITER 4367 NEW BEST:: SOT 19695636 SOS 4716002 HAS SOPS 4716002 HAS SOUS 2480569 HAS SOUPS 2480569 WITH SCORE 2485285.002
AT ITER 4386 NEW BEST:: SOT 19694906 SOS 4715272 HAS SOPS 4715272 HAS SOUS 2479839 HAS SOUPS 2479839 WITH SCORE 2484554.272
AT ITER 4389 NEW BEST:: SOT 19694906 SOS 4715203 HAS SOPS 4715203 HAS SOUS 2479770 HAS SOUPS 2479770 WITH SCORE 2484485.203
AT ITER 4391 NEW BEST:: SOT 19694647 SOS 4715178 HAS SOPS 4715178 HAS SOUS 2479745 HAS SOUPS 2479745 WITH SCORE 2484460.178
AT ITER 4422 NEW BEST:: SOT 19694693 SOS 4714773 HAS SOPS 4714773 HAS SOUS 2479340 HAS SOUPS 2479340 WITH SCORE 2484054.773
AT ITER 4429 NEW BEST:: SOT 19694641 SOS 4714783 HAS SOPS 4714783 HAS SOUS 2479236 HAS SOUPS 2479236 WITH SCORE 2483950.783
AT ITER 4442 NEW BEST:: SOT 19694369 SOS 4714769 HAS SOPS 4714769 HAS SOUS 2479051 HAS SOUPS 2479051 WITH SCORE 2483765.769
AT ITER 4466 NEW BEST:: SOT 19693589 SOS 4713599 HAS SOPS 4713599 HAS SOUS 2478271 HAS SOUPS 2478271 WITH SCORE 2482984.599
AT ITER 4471 NEW BEST:: SOT 19693009 SOS 4713599 HAS SOPS 4713599 HAS SOUS 2477213 HAS SOUPS 2477213 WITH SCORE 2481926.599
AT ITER 4493 NEW BEST:: SOT 19692737 SOS 4713472 HAS SOPS 4713472 HAS SOUS 2476941 HAS SOUPS 2476941 WITH SCORE 2481654.472
AT ITER 4508 NEW BEST:: SOT 19692680 SOS 4713358 HAS SOPS 4713358 HAS SOUS 2476827 HAS SOUPS 2476827 WITH SCORE 2481540.358
AT ITER 4511 NEW BEST:: SOT 19692647 SOS 4713292 HAS SOPS 4713292 HAS SOUS 2476794 HAS SOUPS 2476794 WITH SCORE 2481507.292
AT ITER 4528 NEW BEST:: SOT 19692636 SOS 4713270 HAS SOPS 4713270 HAS SOUS 2476499 HAS SOUPS 2476499 WITH SCORE 2481212.27
AT ITER 4530 NEW BEST:: SOT 19692636 SOS 4713267 HAS SOPS 4713267 HAS SOUS 2476498 HAS SOUPS 2476498 WITH SCORE 2481211.267
AT ITER 4542 NEW BEST:: SOT 19692197 SOS 4713209 HAS SOPS 4713209 HAS SOUS 2476264 HAS SOUPS 2476264 WITH SCORE 2480977.209
AT ITER 4547 NEW BEST:: SOT 19692675 SOS 4710675 HAS SOPS 4710675 HAS SOUS 2475467 HAS SOUPS 2475467 WITH SCORE 2480177.675
AT ITER 4553 NEW BEST:: SOT 19692675 SOS 4710664 HAS SOPS 4710664 HAS SOUS 2475467 HAS SOUPS 2475467 WITH SCORE 2480177.664
AT ITER 4554 NEW BEST:: SOT 19692938 SOS 4711732 HAS SOPS 4711732 HAS SOUS 2474785 HAS SOUPS 2474785 WITH SCORE 2479496.732
AT ITER 4556 NEW BEST:: SOT 19692731 SOS 4711721 HAS SOPS 4711721 HAS SOUS 2474432 HAS SOUPS 2474432 WITH SCORE 2479143.721
AT ITER 4592 NEW BEST:: SOT 19692725 SOS 4711709 HAS SOPS 4711709 HAS SOUS 2474420 HAS SOUPS 2474420 WITH SCORE 2479131.709
AT ITER 4593 NEW BEST:: SOT 19692725 SOS 4711555 HAS SOPS 4711555 HAS SOUS 2474343 HAS SOUPS 2474343 WITH SCORE 2479054.555
AT ITER 4621 NEW BEST:: SOT 19691730 SOS 4710901 HAS SOPS 4710901 HAS SOUS 2473638 HAS SOUPS 2473638 WITH SCORE 2478348.901
AT ITER 4665 NEW BEST:: SOT 19691729 SOS 4710899 HAS SOPS 4710899 HAS SOUS 2473636 HAS SOUPS 2473636 WITH SCORE 2478346.899
AT ITER 4680 NEW BEST:: SOT 19691671 SOS 4710725 HAS SOPS 4710725 HAS SOUS 2473578 HAS SOUPS 2473578 WITH SCORE 2478288.725
AT ITER 4696 NEW BEST:: SOT 19691238 SOS 4710292 HAS SOPS 4710292 HAS SOUS 2473145 HAS SOUPS 2473145 WITH SCORE 2477855.292
AT ITER 4697 NEW BEST:: SOT 19691049 SOS 4709573 HAS SOPS 4709573 HAS SOUS 2472426 HAS SOUPS 2472426 WITH SCORE 2477135.573
AT ITER 4698 NEW BEST:: SOT 19691049 SOS 4710839 HAS SOPS 4710839 HAS SOUS 2472424 HAS SOUPS 2472424 WITH SCORE 2477134.839
AT ITER 4714 NEW BEST:: SOT 19691497 SOS 4710641 HAS SOPS 4710641 HAS SOUS 2472005 HAS SOUPS 2472005 WITH SCORE 2476715.641
AT ITER 4737 NEW BEST:: SOT 19691745 SOS 4709768 HAS SOPS 4709768 HAS SOUS 2471994 HAS SOUPS 2471994 WITH SCORE 2476703.768
AT ITER 4743 NEW BEST:: SOT 19691745 SOS 4708718 HAS SOPS 4708718 HAS SOUS 2471993 HAS SOUPS 2471993 WITH SCORE 2476701.718
AT ITER 4746 NEW BEST:: SOT 19691498 SOS 4708471 HAS SOPS 4708471 HAS SOUS 2471993 HAS SOUPS 2471993 WITH SCORE 2476701.471
AT ITER 4765 NEW BEST:: SOT 19691498 SOS 4708361 HAS SOPS 4708361 HAS SOUS 2471882 HAS SOUPS 2471882 WITH SCORE 2476590.361
AT ITER 4766 NEW BEST:: SOT 19691218 SOS 4709749 HAS SOPS 4709749 HAS SOUS 2471588 HAS SOUPS 2471588 WITH SCORE 2476297.749
AT ITER 4789 NEW BEST:: SOT 19691031 SOS 4709992 HAS SOPS 4709992 HAS SOUS 2471193 HAS SOUPS 2471193 WITH SCORE 2475902.992
AT ITER 4794 NEW BEST:: SOT 19690970 SOS 4709748 HAS SOPS 4709748 HAS SOUS 2471132 HAS SOUPS 2471132 WITH SCORE 2475841.748
AT ITER 4871 NEW BEST:: SOT 19690888 SOS 4709666 HAS SOPS 4709666 HAS SOUS 2471050 HAS SOUPS 2471050 WITH SCORE 2475759.666
AT ITER 4875 NEW BEST:: SOT 19690763 SOS 4709416 HAS SOPS 4709416 HAS SOUS 2470925 HAS SOUPS 2470925 WITH SCORE 2475634.416
AT ITER 4889 NEW BEST:: SOT 19690848 SOS 4710790 HAS SOPS 4710790 HAS SOUS 2470870 HAS SOUPS 2470870 WITH SCORE 2475580.79
AT ITER 4905 NEW BEST:: SOT 19690848 SOS 4710368 HAS SOPS 4710368 HAS SOUS 2470870 HAS SOUPS 2470870 WITH SCORE 2475580.368
AT ITER 4915 NEW BEST:: SOT 19690848 SOS 4710704 HAS SOPS 4710704 HAS SOUS 2470869 HAS SOUPS 2470869 WITH SCORE 2475579.704
AT ITER 4933 NEW BEST:: SOT 19690848 SOS 4710515 HAS SOPS 4710515 HAS SOUS 2470869 HAS SOUPS 2470869 WITH SCORE 2475579.515
AT ITER 4963 NEW BEST:: SOT 19691058 SOS 4705709 HAS SOPS 4705709 HAS SOUS 2470564 HAS SOUPS 2470564 WITH SCORE 2475269.709
AT ITER 4970 NEW BEST:: SOT 19690333 SOS 4705706 HAS SOPS 4705706 HAS SOUS 2469113 HAS SOUPS 2469113 WITH SCORE 2473818.706
AT ITER 4981 NEW BEST:: SOT 19690333 SOS 4705706 HAS SOPS 4705706 HAS SOUS 2469112 HAS SOUPS 2469112 WITH SCORE 2473817.706
AT ITER 4983 NEW BEST:: SOT 19690182 SOS 4705404 HAS SOPS 4705404 HAS SOUS 2468960 HAS SOUPS 2468960 WITH SCORE 2473665.404
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-11b-CTLFireability-00 (EF( ( ( (EG( ((potential((tk(P2029)>=1)))))) & (AG( ((potential((tk(P421)>=1)))))) ) & (EX( ( ((potential((tk(P502)>=1) & (tk(P3102)>=1)))) | ((potential((tk(P72)>=1) & (tk(P2582)>=1)))) ))) )))
PROPERTY: DLCround-PT-11b-CTLFireability-01 ( (EF( (! (AG( ((potential((tk(P1779)>=1) & (tk(P4322)>=1))))))))) & (EG( ( (AF( ((potential((tk(P995)>=1)))))) | (EF( ((potential((tk(P3125)>=1)))))) ))) )
PROPERTY: DLCround-PT-11b-CTLFireability-02 (EX( (EF( (AF( ((potential((tk(P3340)>=1))))))))))
PROPERTY: DLCround-PT-11b-CTLFireability-03 (AF( (! (! (EG( ((potential((tk(P3145)>=1))))))))))
PROPERTY: DLCround-PT-11b-CTLFireability-04 ( (AX( ( (! ((potential((tk(P735)>=1))))) & (EG( ((potential((tk(P1179)>=1) & (tk(P3762)>=1)))))) ))) | (EF( ((potential((tk(P3776)>=1)))))) )
PROPERTY: DLCround-PT-11b-CTLFireability-05 (EF( ( (AF( ( ((potential((tk(P153)>=1)))) | ((potential((tk(P965)>=1) & (tk(P3592)>=1)))) ))) & (EX( ((potential((tk(P150)>=1) & (tk(P2129)>=1)))))) )))
PROPERTY: DLCround-PT-11b-CTLFireability-06 (AU( (AF( ( ((potential((tk(P41)>=1) & (tk(P2662)>=1)))) & ((potential((tk(P1599)>=1)))) ))) , ( (EG( ((potential((tk(P2940)>=1)))))) | (EX( ((potential((tk(P1374)>=1)))))) ) ))
PROPERTY: DLCround-PT-11b-CTLFireability-07 (AG( (! (EU( ((potential((tk(P1822)>=1) & (tk(P2992)>=1)))) , ((potential((tk(P2184)>=1)))) )))))
PROPERTY: DLCround-PT-11b-CTLFireability-08 (AG( (! (AU( ((potential((tk(P2570)>=1)))) , ((potential((tk(P1171)>=1) & (tk(P2619)>=1)))) )))))
PROPERTY: DLCround-PT-11b-CTLFireability-09 (EX( (AX( (AF( ((potential((tk(P1498)>=1))))))))))
PROPERTY: DLCround-PT-11b-CTLFireability-10 (! (EF( (AX( ( ((potential((tk(P693)>=1) & (tk(P3179)>=1)))) | ((potential((tk(P1458)>=1)))) ))))))
PROPERTY: DLCround-PT-11b-CTLFireability-11 (! (AU( (! ( ((potential((tk(P3633)>=1)))) | ((potential((tk(P1488)>=1)))) )) , ( ((potential((tk(P862)>=1) & (tk(P2372)>=1)))) & ( ((potential((tk(P2236)>=1)))) | ((potential((tk(P3996)>=1)))) ) ) )))
PROPERTY: DLCround-PT-11b-CTLFireability-12 ( ( ( ( ( ((potential((tk(P1564)>=1)))) & ((potential((tk(P823)>=1)))) ) | ((potential((tk(P56)>=1) & (tk(P2749)>=1)))) ) & ((potential((tk(P2824)>=1)))) ) | ( ( (! ( ((potential((tk(P2577)>=1)))) & ((potential((tk(P316)>=1) & (tk(P3029)>=1)))) )) & ( ((potential((tk(P2043)>=1)))) | ( ((potential((tk(P1096)>=1) & (tk(P3672)>=1)))) & ((potential((tk(P2078)>=1)))) ) ) ) | ((potential((tk(P381)>=1) & (tk(P2482)>=1)))) ) ) | ( (EF( (AG( ((potential((tk(P283)>=1)))))))) | (EF( ((potential((tk(P957)>=1)))))) ) )
PROPERTY: DLCround-PT-11b-CTLFireability-13 (EF( (EU( ((potential((tk(P819)>=1) & (tk(P2412)>=1)))) , ((potential((tk(P799)>=1)))) ))))
PROPERTY: DLCround-PT-11b-CTLFireability-14 (EG( (AF( (EG( ((potential((tk(P1782)>=1))))))))))
PROPERTY: DLCround-PT-11b-CTLFireability-15 (EG( (AF( ((potential((tk(P598)>=1))))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-11b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-11b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542400588"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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