Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600524.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 AutoFlight-PT-96b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600524
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.3K Mar 26 00:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 00:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 19:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 11:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 11:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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.9M 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 AutoFlight-PT-96b-CTLFireability-00
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-01
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-02
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-03
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-04
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-05
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-06
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-07
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-08
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-09
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-10
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-11
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-12
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-13
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-14
FORMULA_NAME AutoFlight-PT-96b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590859508187

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 96b
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: 7894 places, 7868 transitions, 18200 arcs.
AT ITER 0 NEW BEST:: SOT 33327119 SOS 4582357 HAS SOPS 4582357 HAS SOUS 4222953 HAS SOUPS 4222953 WITH SCORE 4227535.357
AT ITER 16 NEW BEST:: SOT 33326764 SOS 4582002 HAS SOPS 4582002 HAS SOUS 4222598 HAS SOUPS 4222598 WITH SCORE 4227180.002
AT ITER 36 NEW BEST:: SOT 33326500 SOS 4581638 HAS SOPS 4581638 HAS SOUS 4222234 HAS SOUPS 4222234 WITH SCORE 4226815.638
AT ITER 41 NEW BEST:: SOT 33326620 SOS 4581565 HAS SOPS 4581565 HAS SOUS 4222161 HAS SOUPS 4222161 WITH SCORE 4226742.565
AT ITER 82 NEW BEST:: SOT 33326738 SOS 4579868 HAS SOPS 4579868 HAS SOUS 4222096 HAS SOUPS 4222096 WITH SCORE 4226675.868
AT ITER 98 NEW BEST:: SOT 33326738 SOS 4579762 HAS SOPS 4579762 HAS SOUS 4222096 HAS SOUPS 4222096 WITH SCORE 4226675.762
AT ITER 103 NEW BEST:: SOT 33326738 SOS 4579492 HAS SOPS 4579492 HAS SOUS 4222096 HAS SOUPS 4222096 WITH SCORE 4226675.492
AT ITER 117 NEW BEST:: SOT 33325847 SOS 4578304 HAS SOPS 4578304 HAS SOUS 4220908 HAS SOUPS 4220908 WITH SCORE 4225486.304
AT ITER 127 NEW BEST:: SOT 33325745 SOS 4577896 HAS SOPS 4577896 HAS SOUS 4220602 HAS SOUPS 4220602 WITH SCORE 4225179.896
AT ITER 131 NEW BEST:: SOT 33325042 SOS 4576490 HAS SOPS 4576490 HAS SOUS 4218926 HAS SOUPS 4218926 WITH SCORE 4223502.49
AT ITER 133 NEW BEST:: SOT 33325042 SOS 4576335 HAS SOPS 4576335 HAS SOUS 4218926 HAS SOUPS 4218926 WITH SCORE 4223502.335
AT ITER 154 NEW BEST:: SOT 33324854 SOS 4575496 HAS SOPS 4575496 HAS SOUS 4218550 HAS SOUPS 4218550 WITH SCORE 4223125.496
AT ITER 174 NEW BEST:: SOT 33324208 SOS 4575069 HAS SOPS 4575069 HAS SOUS 4217904 HAS SOUPS 4217904 WITH SCORE 4222479.069
AT ITER 178 NEW BEST:: SOT 33324208 SOS 4574549 HAS SOPS 4574549 HAS SOUS 4217384 HAS SOUPS 4217384 WITH SCORE 4221958.549
AT ITER 219 NEW BEST:: SOT 33323656 SOS 4574190 HAS SOPS 4574190 HAS SOUS 4216832 HAS SOUPS 4216832 WITH SCORE 4221406.19
AT ITER 258 NEW BEST:: SOT 33323090 SOS 4573058 HAS SOPS 4573058 HAS SOUS 4215371 HAS SOUPS 4215371 WITH SCORE 4219944.058
AT ITER 290 NEW BEST:: SOT 33322578 SOS 4573055 HAS SOPS 4573055 HAS SOUS 4215368 HAS SOUPS 4215368 WITH SCORE 4219941.055
AT ITER 302 NEW BEST:: SOT 33322794 SOS 4572128 HAS SOPS 4572128 HAS SOUS 4215329 HAS SOUPS 4215329 WITH SCORE 4219901.128
AT ITER 334 NEW BEST:: SOT 33322412 SOS 4571364 HAS SOPS 4571364 HAS SOUS 4213969 HAS SOUPS 4213969 WITH SCORE 4218540.364
AT ITER 407 NEW BEST:: SOT 33322412 SOS 4571364 HAS SOPS 4571364 HAS SOUS 4213968 HAS SOUPS 4213968 WITH SCORE 4218539.364
AT ITER 508 NEW BEST:: SOT 33322412 SOS 4570956 HAS SOPS 4570956 HAS SOUS 4213560 HAS SOUPS 4213560 WITH SCORE 4218130.956
AT ITER 509 NEW BEST:: SOT 33322220 SOS 4571238 HAS SOPS 4571238 HAS SOUS 4213368 HAS SOUPS 4213368 WITH SCORE 4217939.238
AT ITER 544 NEW BEST:: SOT 33321868 SOS 4570534 HAS SOPS 4570534 HAS SOUS 4213015 HAS SOUPS 4213015 WITH SCORE 4217585.534
AT ITER 606 NEW BEST:: SOT 33321622 SOS 4570417 HAS SOPS 4570417 HAS SOUS 4212898 HAS SOUPS 4212898 WITH SCORE 4217468.417
AT ITER 614 NEW BEST:: SOT 33321528 SOS 4570229 HAS SOPS 4570229 HAS SOUS 4212710 HAS SOUPS 4212710 WITH SCORE 4217280.229
AT ITER 615 NEW BEST:: SOT 33321433 SOS 4570298 HAS SOPS 4570298 HAS SOUS 4212520 HAS SOUPS 4212520 WITH SCORE 4217090.298
AT ITER 630 NEW BEST:: SOT 33321091 SOS 4568848 HAS SOPS 4568848 HAS SOUS 4212501 HAS SOUPS 4212501 WITH SCORE 4217069.848
AT ITER 645 NEW BEST:: SOT 33321339 SOS 4570354 HAS SOPS 4570354 HAS SOUS 4212416 HAS SOUPS 4212416 WITH SCORE 4216986.354
AT ITER 674 NEW BEST:: SOT 33321190 SOS 4570056 HAS SOPS 4570056 HAS SOUS 4212266 HAS SOUPS 4212266 WITH SCORE 4216836.056
AT ITER 690 NEW BEST:: SOT 33320703 SOS 4569569 HAS SOPS 4569569 HAS SOUS 4211779 HAS SOUPS 4211779 WITH SCORE 4216348.569
AT ITER 700 NEW BEST:: SOT 33320303 SOS 4569239 HAS SOPS 4569239 HAS SOUS 4211412 HAS SOUPS 4211412 WITH SCORE 4215981.239
AT ITER 773 NEW BEST:: SOT 33320007 SOS 4568647 HAS SOPS 4568647 HAS SOUS 4211114 HAS SOUPS 4211114 WITH SCORE 4215682.647
AT ITER 832 NEW BEST:: SOT 33319548 SOS 4568149 HAS SOPS 4568149 HAS SOUS 4210475 HAS SOUPS 4210475 WITH SCORE 4215043.149
AT ITER 877 NEW BEST:: SOT 33319498 SOS 4568049 HAS SOPS 4568049 HAS SOUS 4210425 HAS SOUPS 4210425 WITH SCORE 4214993.049
AT ITER 892 NEW BEST:: SOT 33319503 SOS 4566050 HAS SOPS 4566050 HAS SOUS 4210354 HAS SOUPS 4210354 WITH SCORE 4214920.05
AT ITER 917 NEW BEST:: SOT 33319503 SOS 4566032 HAS SOPS 4566032 HAS SOUS 4210354 HAS SOUPS 4210354 WITH SCORE 4214920.032
AT ITER 919 NEW BEST:: SOT 33284281 SOS 4876515 HAS SOPS 4876515 HAS SOUS 4181689 HAS SOUPS 4181689 WITH SCORE 4186565.515
AT ITER 1007 NEW BEST:: SOT 33284221 SOS 4876394 HAS SOPS 4876394 HAS SOUS 4181629 HAS SOUPS 4181629 WITH SCORE 4186505.394
AT ITER 1030 NEW BEST:: SOT 33284486 SOS 4876393 HAS SOPS 4876393 HAS SOUS 4181628 HAS SOUPS 4181628 WITH SCORE 4186504.393
AT ITER 1054 NEW BEST:: SOT 33284486 SOS 4876393 HAS SOPS 4876393 HAS SOUS 4181307 HAS SOUPS 4181307 WITH SCORE 4186183.393
AT ITER 1121 NEW BEST:: SOT 33284468 SOS 4876392 HAS SOPS 4876392 HAS SOUS 4181306 HAS SOUPS 4181306 WITH SCORE 4186182.392
AT ITER 1127 NEW BEST:: SOT 33284468 SOS 4876288 HAS SOPS 4876288 HAS SOUS 4181202 HAS SOUPS 4181202 WITH SCORE 4186078.288
AT ITER 1134 NEW BEST:: SOT 33284417 SOS 4876337 HAS SOPS 4876337 HAS SOUS 4181100 HAS SOUPS 4181100 WITH SCORE 4185976.337
AT ITER 1147 NEW BEST:: SOT 33284173 SOS 4876629 HAS SOPS 4876629 HAS SOUS 4181017 HAS SOUPS 4181017 WITH SCORE 4185893.629
AT ITER 1149 NEW BEST:: SOT 33284108 SOS 4876564 HAS SOPS 4876564 HAS SOUS 4180952 HAS SOUPS 4180952 WITH SCORE 4185828.564
AT ITER 1212 NEW BEST:: SOT 33284116 SOS 4876266 HAS SOPS 4876266 HAS SOUS 4180654 HAS SOUPS 4180654 WITH SCORE 4185530.266
AT ITER 1259 NEW BEST:: SOT 33284116 SOS 4876266 HAS SOPS 4876266 HAS SOUS 4180653 HAS SOUPS 4180653 WITH SCORE 4185529.266
AT ITER 1283 NEW BEST:: SOT 33283990 SOS 4876886 HAS SOPS 4876886 HAS SOUS 4180527 HAS SOUPS 4180527 WITH SCORE 4185403.886
AT ITER 1310 NEW BEST:: SOT 33283609 SOS 4876505 HAS SOPS 4876505 HAS SOUS 4180146 HAS SOUPS 4180146 WITH SCORE 4185022.505
AT ITER 1363 NEW BEST:: SOT 33283609 SOS 4876155 HAS SOPS 4876155 HAS SOUS 4179796 HAS SOUPS 4179796 WITH SCORE 4184672.155
AT ITER 1383 NEW BEST:: SOT 33283608 SOS 4876154 HAS SOPS 4876154 HAS SOUS 4179795 HAS SOUPS 4179795 WITH SCORE 4184671.154
AT ITER 1395 NEW BEST:: SOT 33283385 SOS 4875915 HAS SOPS 4875915 HAS SOUS 4179556 HAS SOUPS 4179556 WITH SCORE 4184431.915
AT ITER 1486 NEW BEST:: SOT 33282741 SOS 4875914 HAS SOPS 4875914 HAS SOUS 4179555 HAS SOUPS 4179555 WITH SCORE 4184430.914
AT ITER 1500 NEW BEST:: SOT 33282123 SOS 4876264 HAS SOPS 4876264 HAS SOUS 4178844 HAS SOUPS 4178844 WITH SCORE 4183720.264
AT ITER 1510 NEW BEST:: SOT 33281416 SOS 4875694 HAS SOPS 4875694 HAS SOUS 4177715 HAS SOUPS 4177715 WITH SCORE 4182590.694
AT ITER 1539 NEW BEST:: SOT 33281416 SOS 4875650 HAS SOPS 4875650 HAS SOUS 4177671 HAS SOUPS 4177671 WITH SCORE 4182546.65
AT ITER 1552 NEW BEST:: SOT 33281312 SOS 4875442 HAS SOPS 4875442 HAS SOUS 4177567 HAS SOUPS 4177567 WITH SCORE 4182442.442
AT ITER 1556 NEW BEST:: SOT 33281311 SOS 4875440 HAS SOPS 4875440 HAS SOUS 4177565 HAS SOUPS 4177565 WITH SCORE 4182440.44
AT ITER 1562 NEW BEST:: SOT 33281311 SOS 4875440 HAS SOPS 4875440 HAS SOUS 4177564 HAS SOUPS 4177564 WITH SCORE 4182439.44
AT ITER 1568 NEW BEST:: SOT 33281530 SOS 4875313 HAS SOPS 4875313 HAS SOUS 4177437 HAS SOUPS 4177437 WITH SCORE 4182312.313
AT ITER 1618 NEW BEST:: SOT 33281483 SOS 4875308 HAS SOPS 4875308 HAS SOUS 4177437 HAS SOUPS 4177437 WITH SCORE 4182312.308
AT ITER 1624 NEW BEST:: SOT 33280976 SOS 4875136 HAS SOPS 4875136 HAS SOUS 4176930 HAS SOUPS 4176930 WITH SCORE 4181805.136
AT ITER 1627 NEW BEST:: SOT 33280793 SOS 4875135 HAS SOPS 4875135 HAS SOUS 4176929 HAS SOUPS 4176929 WITH SCORE 4181804.135
AT ITER 1629 NEW BEST:: SOT 33280461 SOS 4874659 HAS SOPS 4874659 HAS SOUS 4176483 HAS SOUPS 4176483 WITH SCORE 4181357.659
AT ITER 1657 NEW BEST:: SOT 33280656 SOS 4874536 HAS SOPS 4874536 HAS SOUS 4176438 HAS SOUPS 4176438 WITH SCORE 4181312.536
AT ITER 1669 NEW BEST:: SOT 33279260 SOS 4873140 HAS SOPS 4873140 HAS SOUS 4174344 HAS SOUPS 4174344 WITH SCORE 4179217.14
AT ITER 1739 NEW BEST:: SOT 33278665 SOS 4873445 HAS SOPS 4873445 HAS SOUS 4174170 HAS SOUPS 4174170 WITH SCORE 4179043.445
AT ITER 1797 NEW BEST:: SOT 33278260 SOS 4873251 HAS SOPS 4873251 HAS SOUS 4173986 HAS SOUPS 4173986 WITH SCORE 4178859.251
AT ITER 1826 NEW BEST:: SOT 33277605 SOS 4872798 HAS SOPS 4872798 HAS SOUS 4173331 HAS SOUPS 4173331 WITH SCORE 4178203.798
AT ITER 1899 NEW BEST:: SOT 33277605 SOS 4872461 HAS SOPS 4872461 HAS SOUS 4172994 HAS SOUPS 4172994 WITH SCORE 4177866.461
AT ITER 1966 NEW BEST:: SOT 33277605 SOS 4871572 HAS SOPS 4871572 HAS SOUS 4172994 HAS SOUPS 4172994 WITH SCORE 4177865.572
AT ITER 1968 NEW BEST:: SOT 33277512 SOS 4871479 HAS SOPS 4871479 HAS SOUS 4172901 HAS SOUPS 4172901 WITH SCORE 4177772.479
AT ITER 1983 NEW BEST:: SOT 33277512 SOS 4871156 HAS SOPS 4871156 HAS SOUS 4172901 HAS SOUPS 4172901 WITH SCORE 4177772.156
AT ITER 1985 NEW BEST:: SOT 33277465 SOS 4871109 HAS SOPS 4871109 HAS SOUS 4172854 HAS SOUPS 4172854 WITH SCORE 4177725.109
AT ITER 2020 NEW BEST:: SOT 33277465 SOS 4870867 HAS SOPS 4870867 HAS SOUS 4172612 HAS SOUPS 4172612 WITH SCORE 4177482.867
AT ITER 2021 NEW BEST:: SOT 33277464 SOS 4870866 HAS SOPS 4870866 HAS SOUS 4172611 HAS SOUPS 4172611 WITH SCORE 4177481.866
AT ITER 2047 NEW BEST:: SOT 33277296 SOS 4870645 HAS SOPS 4870645 HAS SOUS 4172390 HAS SOUPS 4172390 WITH SCORE 4177260.645
AT ITER 2091 NEW BEST:: SOT 33277296 SOS 4870326 HAS SOPS 4870326 HAS SOUS 4172071 HAS SOUPS 4172071 WITH SCORE 4176941.326
AT ITER 2167 NEW BEST:: SOT 33277588 SOS 4870185 HAS SOPS 4870185 HAS SOUS 4171731 HAS SOUPS 4171731 WITH SCORE 4176601.185
AT ITER 2201 NEW BEST:: SOT 33277588 SOS 4870185 HAS SOPS 4870185 HAS SOUS 4171730 HAS SOUPS 4171730 WITH SCORE 4176600.185
AT ITER 2204 NEW BEST:: SOT 33277588 SOS 4869961 HAS SOPS 4869961 HAS SOUS 4171506 HAS SOUPS 4171506 WITH SCORE 4176375.961
AT ITER 2228 NEW BEST:: SOT 33277516 SOS 4869817 HAS SOPS 4869817 HAS SOUS 4171178 HAS SOUPS 4171178 WITH SCORE 4176047.817
AT ITER 2236 NEW BEST:: SOT 33277516 SOS 4869794 HAS SOPS 4869794 HAS SOUS 4171177 HAS SOUPS 4171177 WITH SCORE 4176046.794
AT ITER 2276 NEW BEST:: SOT 33277632 SOS 4868678 HAS SOPS 4868678 HAS SOUS 4170735 HAS SOUPS 4170735 WITH SCORE 4175603.678
AT ITER 2294 NEW BEST:: SOT 33277289 SOS 4868787 HAS SOPS 4868787 HAS SOUS 4170392 HAS SOUPS 4170392 WITH SCORE 4175260.787
AT ITER 2296 NEW BEST:: SOT 33277289 SOS 4868573 HAS SOPS 4868573 HAS SOUS 4170392 HAS SOUPS 4170392 WITH SCORE 4175260.573
AT ITER 2299 NEW BEST:: SOT 33276981 SOS 4868366 HAS SOPS 4868366 HAS SOUS 4170084 HAS SOUPS 4170084 WITH SCORE 4174952.366
AT ITER 2303 NEW BEST:: SOT 33276651 SOS 4868087 HAS SOPS 4868087 HAS SOUS 4169754 HAS SOUPS 4169754 WITH SCORE 4174622.087
AT ITER 2341 NEW BEST:: SOT 33275476 SOS 4866514 HAS SOPS 4866514 HAS SOUS 4168644 HAS SOUPS 4168644 WITH SCORE 4173510.514
AT ITER 2346 NEW BEST:: SOT 33275407 SOS 4866471 HAS SOPS 4866471 HAS SOUS 4168601 HAS SOUPS 4168601 WITH SCORE 4173467.471
AT ITER 2417 NEW BEST:: SOT 33275407 SOS 4866471 HAS SOPS 4866471 HAS SOUS 4168301 HAS SOUPS 4168301 WITH SCORE 4173167.471
AT ITER 2486 NEW BEST:: SOT 33275443 SOS 4866543 HAS SOPS 4866543 HAS SOUS 4167844 HAS SOUPS 4167844 WITH SCORE 4172710.543
AT ITER 2511 NEW BEST:: SOT 33275379 SOS 4866391 HAS SOPS 4866391 HAS SOUS 4167692 HAS SOUPS 4167692 WITH SCORE 4172558.391
AT ITER 2516 NEW BEST:: SOT 33274965 SOS 4866291 HAS SOPS 4866291 HAS SOUS 4167592 HAS SOUPS 4167592 WITH SCORE 4172458.291
AT ITER 2535 NEW BEST:: SOT 33274965 SOS 4866027 HAS SOPS 4866027 HAS SOUS 4167328 HAS SOUPS 4167328 WITH SCORE 4172194.027
AT ITER 2536 NEW BEST:: SOT 33274429 SOS 4865929 HAS SOPS 4865929 HAS SOUS 4167013 HAS SOUPS 4167013 WITH SCORE 4171878.929
AT ITER 2549 NEW BEST:: SOT 33274176 SOS 4865423 HAS SOPS 4865423 HAS SOUS 4166507 HAS SOUPS 4166507 WITH SCORE 4171372.423
AT ITER 2582 NEW BEST:: SOT 33274267 SOS 4864714 HAS SOPS 4864714 HAS SOUS 4165798 HAS SOUPS 4165798 WITH SCORE 4170662.714
AT ITER 2612 NEW BEST:: SOT 33273908 SOS 4863575 HAS SOPS 4863575 HAS SOUS 4165474 HAS SOUPS 4165474 WITH SCORE 4170337.575
AT ITER 2643 NEW BEST:: SOT 33272677 SOS 4861871 HAS SOPS 4861871 HAS SOUS 4163485 HAS SOUPS 4163485 WITH SCORE 4168346.871
AT ITER 2653 NEW BEST:: SOT 33272259 SOS 4861478 HAS SOPS 4861478 HAS SOUS 4162854 HAS SOUPS 4162854 WITH SCORE 4167715.478
AT ITER 2661 NEW BEST:: SOT 33272171 SOS 4861477 HAS SOPS 4861477 HAS SOUS 4162853 HAS SOUPS 4162853 WITH SCORE 4167714.477
AT ITER 2723 NEW BEST:: SOT 33271760 SOS 4861876 HAS SOPS 4861876 HAS SOUS 4162731 HAS SOUPS 4162731 WITH SCORE 4167592.876
AT ITER 2761 NEW BEST:: SOT 33271573 SOS 4861875 HAS SOPS 4861875 HAS SOUS 4162730 HAS SOUPS 4162730 WITH SCORE 4167591.875
AT ITER 2764 NEW BEST:: SOT 33270930 SOS 4860589 HAS SOPS 4860589 HAS SOUS 4161029 HAS SOUPS 4161029 WITH SCORE 4165889.589
AT ITER 2765 NEW BEST:: SOT 33270930 SOS 4860320 HAS SOPS 4860320 HAS SOUS 4160760 HAS SOUPS 4160760 WITH SCORE 4165620.32
AT ITER 2782 NEW BEST:: SOT 33271030 SOS 4859584 HAS SOPS 4859584 HAS SOUS 4160024 HAS SOUPS 4160024 WITH SCORE 4164883.584
AT ITER 2784 NEW BEST:: SOT 33270651 SOS 4859638 HAS SOPS 4859638 HAS SOUS 4159645 HAS SOUPS 4159645 WITH SCORE 4164504.638
AT ITER 2789 NEW BEST:: SOT 33270469 SOS 4859274 HAS SOPS 4859274 HAS SOUS 4159281 HAS SOUPS 4159281 WITH SCORE 4164140.274
AT ITER 2798 NEW BEST:: SOT 33270469 SOS 4858843 HAS SOPS 4858843 HAS SOUS 4159281 HAS SOUPS 4159281 WITH SCORE 4164139.843
AT ITER 2806 NEW BEST:: SOT 33270365 SOS 4858843 HAS SOPS 4858843 HAS SOUS 4159177 HAS SOUPS 4159177 WITH SCORE 4164035.843
AT ITER 2816 NEW BEST:: SOT 33269847 SOS 4858459 HAS SOPS 4858459 HAS SOUS 4158826 HAS SOUPS 4158826 WITH SCORE 4163684.459
AT ITER 2824 NEW BEST:: SOT 33269785 SOS 4858458 HAS SOPS 4858458 HAS SOUS 4158825 HAS SOUPS 4158825 WITH SCORE 4163683.458
AT ITER 2831 NEW BEST:: SOT 33269731 SOS 4858183 HAS SOPS 4858183 HAS SOUS 4158550 HAS SOUPS 4158550 WITH SCORE 4163408.183
AT ITER 2893 NEW BEST:: SOT 33269731 SOS 4858063 HAS SOPS 4858063 HAS SOUS 4158550 HAS SOUPS 4158550 WITH SCORE 4163408.063
AT ITER 2903 NEW BEST:: SOT 33269448 SOS 4858121 HAS SOPS 4858121 HAS SOUS 4158325 HAS SOUPS 4158325 WITH SCORE 4163183.121
AT ITER 2906 NEW BEST:: SOT 33269068 SOS 4857843 HAS SOPS 4857843 HAS SOUS 4157729 HAS SOUPS 4157729 WITH SCORE 4162586.843
AT ITER 2916 NEW BEST:: SOT 33269309 SOS 4857842 HAS SOPS 4857842 HAS SOUS 4157728 HAS SOUPS 4157728 WITH SCORE 4162585.842
AT ITER 2945 NEW BEST:: SOT 33269309 SOS 4857698 HAS SOPS 4857698 HAS SOUS 4157728 HAS SOUPS 4157728 WITH SCORE 4162585.698
AT ITER 2999 NEW BEST:: SOT 33268209 SOS 4855913 HAS SOPS 4855913 HAS SOUS 4155943 HAS SOUPS 4155943 WITH SCORE 4160798.913
AT ITER 3015 NEW BEST:: SOT 33267644 SOS 4855656 HAS SOPS 4855656 HAS SOUS 4154505 HAS SOUPS 4154505 WITH SCORE 4159360.656
AT ITER 3029 NEW BEST:: SOT 33267644 SOS 4855492 HAS SOPS 4855492 HAS SOUS 4154341 HAS SOUPS 4154341 WITH SCORE 4159196.492
AT ITER 3069 NEW BEST:: SOT 33268183 SOS 4856570 HAS SOPS 4856570 HAS SOUS 4154039 HAS SOUPS 4154039 WITH SCORE 4158895.57
AT ITER 3074 NEW BEST:: SOT 33268182 SOS 4856569 HAS SOPS 4856569 HAS SOUS 4154038 HAS SOUPS 4154038 WITH SCORE 4158894.569
AT ITER 3083 NEW BEST:: SOT 33268009 SOS 4856551 HAS SOPS 4856551 HAS SOUS 4154038 HAS SOUPS 4154038 WITH SCORE 4158894.551
AT ITER 3112 NEW BEST:: SOT 33267668 SOS 4856210 HAS SOPS 4856210 HAS SOUS 4153356 HAS SOUPS 4153356 WITH SCORE 4158212.21
AT ITER 3120 NEW BEST:: SOT 33267667 SOS 4856209 HAS SOPS 4856209 HAS SOUS 4153355 HAS SOUPS 4153355 WITH SCORE 4158211.209
AT ITER 3129 NEW BEST:: SOT 33267267 SOS 4855809 HAS SOPS 4855809 HAS SOUS 4152555 HAS SOUPS 4152555 WITH SCORE 4157410.809
AT ITER 3139 NEW BEST:: SOT 33267267 SOS 4855530 HAS SOPS 4855530 HAS SOUS 4152276 HAS SOUPS 4152276 WITH SCORE 4157131.53
AT ITER 3160 NEW BEST:: SOT 33267217 SOS 4855299 HAS SOPS 4855299 HAS SOUS 4152045 HAS SOUPS 4152045 WITH SCORE 4156900.299
AT ITER 3207 NEW BEST:: SOT 33267217 SOS 4855299 HAS SOPS 4855299 HAS SOUS 4152042 HAS SOUPS 4152042 WITH SCORE 4156897.299
AT ITER 3214 NEW BEST:: SOT 33267069 SOS 4855003 HAS SOPS 4855003 HAS SOUS 4151746 HAS SOUPS 4151746 WITH SCORE 4156601.003
AT ITER 3222 NEW BEST:: SOT 33265889 SOS 4854413 HAS SOPS 4854413 HAS SOUS 4151156 HAS SOUPS 4151156 WITH SCORE 4156010.413
AT ITER 3239 NEW BEST:: SOT 33265889 SOS 4854375 HAS SOPS 4854375 HAS SOUS 4151118 HAS SOUPS 4151118 WITH SCORE 4155972.375
AT ITER 3259 NEW BEST:: SOT 33265841 SOS 4854279 HAS SOPS 4854279 HAS SOUS 4151022 HAS SOUPS 4151022 WITH SCORE 4155876.279
AT ITER 3261 NEW BEST:: SOT 33265951 SOS 4854264 HAS SOPS 4854264 HAS SOUS 4151007 HAS SOUPS 4151007 WITH SCORE 4155861.264
AT ITER 3274 NEW BEST:: SOT 33265792 SOS 4854247 HAS SOPS 4854247 HAS SOUS 4150848 HAS SOUPS 4150848 WITH SCORE 4155702.247
AT ITER 3334 NEW BEST:: SOT 33265525 SOS 4854066 HAS SOPS 4854066 HAS SOUS 4150667 HAS SOUPS 4150667 WITH SCORE 4155521.066
AT ITER 3357 NEW BEST:: SOT 33265423 SOS 4854492 HAS SOPS 4854492 HAS SOUS 4150565 HAS SOUPS 4150565 WITH SCORE 4155419.492
AT ITER 3425 NEW BEST:: SOT 33265400 SOS 4854446 HAS SOPS 4854446 HAS SOUS 4150124 HAS SOUPS 4150124 WITH SCORE 4154978.446
AT ITER 3468 NEW BEST:: SOT 33265152 SOS 4854338 HAS SOPS 4854338 HAS SOUS 4149875 HAS SOUPS 4149875 WITH SCORE 4154729.338
AT ITER 3481 NEW BEST:: SOT 33265041 SOS 4854227 HAS SOPS 4854227 HAS SOUS 4149764 HAS SOUPS 4149764 WITH SCORE 4154618.227
AT ITER 3523 NEW BEST:: SOT 33264870 SOS 4855063 HAS SOPS 4855063 HAS SOUS 4149311 HAS SOUPS 4149311 WITH SCORE 4154166.063
AT ITER 3546 NEW BEST:: SOT 33264634 SOS 4855062 HAS SOPS 4855062 HAS SOUS 4149310 HAS SOUPS 4149310 WITH SCORE 4154165.062
AT ITER 3557 NEW BEST:: SOT 33264608 SOS 4854984 HAS SOPS 4854984 HAS SOUS 4149258 HAS SOUPS 4149258 WITH SCORE 4154112.984
AT ITER 3562 NEW BEST:: SOT 33264706 SOS 4854866 HAS SOPS 4854866 HAS SOUS 4149140 HAS SOUPS 4149140 WITH SCORE 4153994.866
AT ITER 3566 NEW BEST:: SOT 33264013 SOS 4853480 HAS SOPS 4853480 HAS SOUS 4147496 HAS SOUPS 4147496 WITH SCORE 4152349.48
AT ITER 3575 NEW BEST:: SOT 33263495 SOS 4852931 HAS SOPS 4852931 HAS SOUS 4146978 HAS SOUPS 4146978 WITH SCORE 4151830.931
AT ITER 3578 NEW BEST:: SOT 33263495 SOS 4852715 HAS SOPS 4852715 HAS SOUS 4146762 HAS SOUPS 4146762 WITH SCORE 4151614.715
AT ITER 3581 NEW BEST:: SOT 33262770 SOS 4852070 HAS SOPS 4852070 HAS SOUS 4146037 HAS SOUPS 4146037 WITH SCORE 4150889.07
AT ITER 3617 NEW BEST:: SOT 33262552 SOS 4851634 HAS SOPS 4851634 HAS SOUS 4145169 HAS SOUPS 4145169 WITH SCORE 4150020.634
AT ITER 3626 NEW BEST:: SOT 33261989 SOS 4851071 HAS SOPS 4851071 HAS SOUS 4144606 HAS SOUPS 4144606 WITH SCORE 4149457.071
AT ITER 3629 NEW BEST:: SOT 33261797 SOS 4851023 HAS SOPS 4851023 HAS SOUS 4144413 HAS SOUPS 4144413 WITH SCORE 4149264.023
AT ITER 3705 NEW BEST:: SOT 33260736 SOS 4849879 HAS SOPS 4849879 HAS SOUS 4142863 HAS SOUPS 4142863 WITH SCORE 4147712.879
AT ITER 3718 NEW BEST:: SOT 33260736 SOS 4849318 HAS SOPS 4849318 HAS SOUS 4142302 HAS SOUPS 4142302 WITH SCORE 4147151.318
AT ITER 3736 NEW BEST:: SOT 33259711 SOS 4666014 HAS SOPS 4666014 HAS SOUS 4140765 HAS SOUPS 4140765 WITH SCORE 4145431.014
AT ITER 3776 NEW BEST:: SOT 33259544 SOS 4665680 HAS SOPS 4665680 HAS SOUS 4140598 HAS SOUPS 4140598 WITH SCORE 4145263.68
AT ITER 3817 NEW BEST:: SOT 33259127 SOS 4665333 HAS SOPS 4665333 HAS SOUS 4140311 HAS SOUPS 4140311 WITH SCORE 4144976.333
AT ITER 3857 NEW BEST:: SOT 33259127 SOS 4665279 HAS SOPS 4665279 HAS SOUS 4140257 HAS SOUPS 4140257 WITH SCORE 4144922.279
AT ITER 3891 NEW BEST:: SOT 33258591 SOS 4664920 HAS SOPS 4664920 HAS SOUS 4139721 HAS SOUPS 4139721 WITH SCORE 4144385.92
AT ITER 3893 NEW BEST:: SOT 33258365 SOS 4664468 HAS SOPS 4664468 HAS SOUS 4139495 HAS SOUPS 4139495 WITH SCORE 4144159.468
AT ITER 3903 NEW BEST:: SOT 33257753 SOS 4663244 HAS SOPS 4663244 HAS SOUS 4138018 HAS SOUPS 4138018 WITH SCORE 4142681.244
AT ITER 3950 NEW BEST:: SOT 33257577 SOS 4662680 HAS SOPS 4662680 HAS SOUS 4137666 HAS SOUPS 4137666 WITH SCORE 4142328.68
AT ITER 3974 NEW BEST:: SOT 33256434 SOS 4660872 HAS SOPS 4660872 HAS SOUS 4135989 HAS SOUPS 4135989 WITH SCORE 4140649.872
AT ITER 3986 NEW BEST:: SOT 33256398 SOS 4660800 HAS SOPS 4660800 HAS SOUS 4135917 HAS SOUPS 4135917 WITH SCORE 4140577.8
AT ITER 3994 NEW BEST:: SOT 33256340 SOS 4660221 HAS SOPS 4660221 HAS SOUS 4135859 HAS SOUPS 4135859 WITH SCORE 4140519.221
AT ITER 4009 NEW BEST:: SOT 33256340 SOS 4660021 HAS SOPS 4660021 HAS SOUS 4135659 HAS SOUPS 4135659 WITH SCORE 4140319.021
AT ITER 4012 NEW BEST:: SOT 33256205 SOS 4659579 HAS SOPS 4659579 HAS SOUS 4135389 HAS SOUPS 4135389 WITH SCORE 4140048.579
AT ITER 4055 NEW BEST:: SOT 33256204 SOS 4659578 HAS SOPS 4659578 HAS SOUS 4135388 HAS SOUPS 4135388 WITH SCORE 4140047.578
AT ITER 4063 NEW BEST:: SOT 33256204 SOS 4659577 HAS SOPS 4659577 HAS SOUS 4135387 HAS SOUPS 4135387 WITH SCORE 4140046.577
AT ITER 4100 NEW BEST:: SOT 33256144 SOS 4659576 HAS SOPS 4659576 HAS SOUS 4135386 HAS SOUPS 4135386 WITH SCORE 4140045.576
AT ITER 4113 NEW BEST:: SOT 33256144 SOS 4659230 HAS SOPS 4659230 HAS SOUS 4135040 HAS SOUPS 4135040 WITH SCORE 4139699.23
AT ITER 4118 NEW BEST:: SOT 33256144 SOS 4659106 HAS SOPS 4659106 HAS SOUS 4134916 HAS SOUPS 4134916 WITH SCORE 4139575.106
AT ITER 4128 NEW BEST:: SOT 33256144 SOS 4659106 HAS SOPS 4659106 HAS SOUS 4134915 HAS SOUPS 4134915 WITH SCORE 4139574.106
AT ITER 4149 NEW BEST:: SOT 33256210 SOS 4658675 HAS SOPS 4658675 HAS SOUS 4134484 HAS SOUPS 4134484 WITH SCORE 4139142.675
AT ITER 4165 NEW BEST:: SOT 33256307 SOS 4657982 HAS SOPS 4657982 HAS SOUS 4133791 HAS SOUPS 4133791 WITH SCORE 4138448.982
AT ITER 4198 NEW BEST:: SOT 33255970 SOS 4657308 HAS SOPS 4657308 HAS SOUS 4132690 HAS SOUPS 4132690 WITH SCORE 4137347.308
AT ITER 4216 NEW BEST:: SOT 33255653 SOS 4656856 HAS SOPS 4656856 HAS SOUS 4131921 HAS SOUPS 4131921 WITH SCORE 4136577.856
AT ITER 4217 NEW BEST:: SOT 33255653 SOS 4656483 HAS SOPS 4656483 HAS SOUS 4131548 HAS SOUPS 4131548 WITH SCORE 4136204.483
AT ITER 4230 NEW BEST:: SOT 33255477 SOS 4656395 HAS SOPS 4656395 HAS SOUS 4131372 HAS SOUPS 4131372 WITH SCORE 4136028.395
AT ITER 4285 NEW BEST:: SOT 33255698 SOS 4656301 HAS SOPS 4656301 HAS SOUS 4131278 HAS SOUPS 4131278 WITH SCORE 4135934.301
AT ITER 4294 NEW BEST:: SOT 33255504 SOS 4655636 HAS SOPS 4655636 HAS SOUS 4130890 HAS SOUPS 4130890 WITH SCORE 4135545.636
AT ITER 4298 NEW BEST:: SOT 33255230 SOS 4655088 HAS SOPS 4655088 HAS SOUS 4130614 HAS SOUPS 4130614 WITH SCORE 4135269.088
AT ITER 4328 NEW BEST:: SOT 33255094 SOS 4655087 HAS SOPS 4655087 HAS SOUS 4130613 HAS SOUPS 4130613 WITH SCORE 4135268.087
AT ITER 4338 NEW BEST:: SOT 33254947 SOS 4656091 HAS SOPS 4656091 HAS SOUS 4130466 HAS SOUPS 4130466 WITH SCORE 4135122.091
AT ITER 4347 NEW BEST:: SOT 33254947 SOS 4655351 HAS SOPS 4655351 HAS SOUS 4129726 HAS SOUPS 4129726 WITH SCORE 4134381.351
AT ITER 4375 NEW BEST:: SOT 33254931 SOS 4655319 HAS SOPS 4655319 HAS SOUS 4129694 HAS SOUPS 4129694 WITH SCORE 4134349.319
AT ITER 4382 NEW BEST:: SOT 33254569 SOS 4654595 HAS SOPS 4654595 HAS SOUS 4129332 HAS SOUPS 4129332 WITH SCORE 4133986.595
AT ITER 4412 NEW BEST:: SOT 33254621 SOS 4654569 HAS SOPS 4654569 HAS SOUS 4129306 HAS SOUPS 4129306 WITH SCORE 4133960.569
AT ITER 4456 NEW BEST:: SOT 33253864 SOS 4652861 HAS SOPS 4652861 HAS SOUS 4128591 HAS SOUPS 4128591 WITH SCORE 4133243.861
AT ITER 4495 NEW BEST:: SOT 33253990 SOS 4652780 HAS SOPS 4652780 HAS SOUS 4128510 HAS SOUPS 4128510 WITH SCORE 4133162.78
AT ITER 4502 NEW BEST:: SOT 33253990 SOS 4652780 HAS SOPS 4652780 HAS SOUS 4128154 HAS SOUPS 4128154 WITH SCORE 4132806.78
AT ITER 4510 NEW BEST:: SOT 33253990 SOS 4652677 HAS SOPS 4652677 HAS SOUS 4128051 HAS SOUPS 4128051 WITH SCORE 4132703.677
AT ITER 4515 NEW BEST:: SOT 33253604 SOS 4651905 HAS SOPS 4651905 HAS SOUS 4127428 HAS SOUPS 4127428 WITH SCORE 4132079.905
AT ITER 4545 NEW BEST:: SOT 33253604 SOS 4651824 HAS SOPS 4651824 HAS SOUS 4127347 HAS SOUPS 4127347 WITH SCORE 4131998.824
AT ITER 4550 NEW BEST:: SOT 33253073 SOS 4651674 HAS SOPS 4651674 HAS SOUS 4126816 HAS SOUPS 4126816 WITH SCORE 4131467.674
AT ITER 4552 NEW BEST:: SOT 33252870 SOS 4651471 HAS SOPS 4651471 HAS SOUS 4126613 HAS SOUPS 4126613 WITH SCORE 4131264.471
AT ITER 4575 NEW BEST:: SOT 33252527 SOS 4651365 HAS SOPS 4651365 HAS SOUS 4126091 HAS SOUPS 4126091 WITH SCORE 4130742.365
AT ITER 4594 NEW BEST:: SOT 33252509 SOS 4651347 HAS SOPS 4651347 HAS SOUS 4126073 HAS SOUPS 4126073 WITH SCORE 4130724.347
AT ITER 4610 NEW BEST:: SOT 33252053 SOS 4650891 HAS SOPS 4650891 HAS SOUS 4125617 HAS SOUPS 4125617 WITH SCORE 4130267.891
AT ITER 4626 NEW BEST:: SOT 33252053 SOS 4650688 HAS SOPS 4650688 HAS SOUS 4125617 HAS SOUPS 4125617 WITH SCORE 4130267.688
AT ITER 4629 NEW BEST:: SOT 33252088 SOS 4650758 HAS SOPS 4650758 HAS SOUS 4124554 HAS SOUPS 4124554 WITH SCORE 4129204.758
AT ITER 4647 NEW BEST:: SOT 33251840 SOS 4650014 HAS SOPS 4650014 HAS SOUS 4124058 HAS SOUPS 4124058 WITH SCORE 4128708.014
AT ITER 4655 NEW BEST:: SOT 33250963 SOS 4648260 HAS SOPS 4648260 HAS SOUS 4123454 HAS SOUPS 4123454 WITH SCORE 4128102.26
AT ITER 4675 NEW BEST:: SOT 33250963 SOS 4648181 HAS SOPS 4648181 HAS SOUS 4123375 HAS SOUPS 4123375 WITH SCORE 4128023.181
AT ITER 4695 NEW BEST:: SOT 33250954 SOS 4648171 HAS SOPS 4648171 HAS SOUS 4123365 HAS SOUPS 4123365 WITH SCORE 4128013.171
AT ITER 4704 NEW BEST:: SOT 33251047 SOS 4648170 HAS SOPS 4648170 HAS SOUS 4123364 HAS SOUPS 4123364 WITH SCORE 4128012.17
AT ITER 4725 NEW BEST:: SOT 33251055 SOS 4647703 HAS SOPS 4647703 HAS SOUS 4122897 HAS SOUPS 4122897 WITH SCORE 4127544.703
AT ITER 4727 NEW BEST:: SOT 33250717 SOS 4646253 HAS SOPS 4646253 HAS SOUS 4122874 HAS SOUPS 4122874 WITH SCORE 4127520.253
AT ITER 4734 NEW BEST:: SOT 33250717 SOS 4646112 HAS SOPS 4646112 HAS SOUS 4122733 HAS SOUPS 4122733 WITH SCORE 4127379.112
AT ITER 4761 NEW BEST:: SOT 33250717 SOS 4645949 HAS SOPS 4645949 HAS SOUS 4122733 HAS SOUPS 4122733 WITH SCORE 4127378.949
AT ITER 4785 NEW BEST:: SOT 33250427 SOS 4645659 HAS SOPS 4645659 HAS SOUS 4122153 HAS SOUPS 4122153 WITH SCORE 4126798.659
AT ITER 4797 NEW BEST:: SOT 33250353 SOS 4645585 HAS SOPS 4645585 HAS SOUS 4122079 HAS SOUPS 4122079 WITH SCORE 4126724.585
AT ITER 4800 NEW BEST:: SOT 33249587 SOS 4645584 HAS SOPS 4645584 HAS SOUS 4122078 HAS SOUPS 4122078 WITH SCORE 4126723.584
AT ITER 4805 NEW BEST:: SOT 33249579 SOS 4645568 HAS SOPS 4645568 HAS SOUS 4122069 HAS SOUPS 4122069 WITH SCORE 4126714.568
AT ITER 4807 NEW BEST:: SOT 33249859 SOS 4645469 HAS SOPS 4645469 HAS SOUS 4121970 HAS SOUPS 4121970 WITH SCORE 4126615.469
AT ITER 4828 NEW BEST:: SOT 33249859 SOS 4645306 HAS SOPS 4645306 HAS SOUS 4121807 HAS SOUPS 4121807 WITH SCORE 4126452.306
AT ITER 4888 NEW BEST:: SOT 33249777 SOS 4645099 HAS SOPS 4645099 HAS SOUS 4121600 HAS SOUPS 4121600 WITH SCORE 4126245.099
AT ITER 4890 NEW BEST:: SOT 33249777 SOS 4645039 HAS SOPS 4645039 HAS SOUS 4121540 HAS SOUPS 4121540 WITH SCORE 4126185.039
AT ITER 4893 NEW BEST:: SOT 33249605 SOS 4645039 HAS SOPS 4645039 HAS SOUS 4121368 HAS SOUPS 4121368 WITH SCORE 4126013.039
AT ITER 4907 NEW BEST:: SOT 33249364 SOS 4644557 HAS SOPS 4644557 HAS SOUS 4120387 HAS SOUPS 4120387 WITH SCORE 4125031.557
AT ITER 4909 NEW BEST:: SOT 33249206 SOS 4645573 HAS SOPS 4645573 HAS SOUS 4120229 HAS SOUPS 4120229 WITH SCORE 4124874.573
AT ITER 4916 NEW BEST:: SOT 33249206 SOS 4645447 HAS SOPS 4645447 HAS SOUS 4120187 HAS SOUPS 4120187 WITH SCORE 4124832.447
AT ITER 4933 NEW BEST:: SOT 33249206 SOS 4645401 HAS SOPS 4645401 HAS SOUS 4120187 HAS SOUPS 4120187 WITH SCORE 4124832.401
AT ITER 4958 NEW BEST:: SOT 33249041 SOS 4645297 HAS SOPS 4645297 HAS SOUS 4120083 HAS SOUPS 4120083 WITH SCORE 4124728.297
AT ITER 4971 NEW BEST:: SOT 33248503 SOS 4645030 HAS SOPS 4645030 HAS SOUS 4119609 HAS SOUPS 4119609 WITH SCORE 4124254.03
AT ITER 4985 NEW BEST:: SOT 33248503 SOS 4644572 HAS SOPS 4644572 HAS SOUS 4119380 HAS SOUPS 4119380 WITH SCORE 4124024.572
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-96b-CTLFireability-00 ( ( (AF( (AF( ((potential((tk(P5343)>=1)))))))) | (AG( (! ( ((potential((tk(P1377)>=1)))) & ((potential((tk(P583)>=1)))) )))) ) | (AU( ( ( ((potential((tk(P2314)>=1) & (tk(P5244)>=1)))) & ((potential((tk(P4003)>=1)))) ) | ( ((potential((tk(P6373)>=1)))) | ((potential((tk(P1201)>=1)))) ) ) , ( ( ((potential((tk(P2295)>=1)))) | ((potential((tk(P7699)>=1)))) ) & ( ((potential((tk(P3160)>=1)))) & ((potential((tk(P1904)>=1)))) ) ) )) )
PROPERTY: AutoFlight-PT-96b-CTLFireability-01 (AF( (EU( (! ((potential((tk(P1578)>=1))))) , ((potential((tk(P6007)>=1)))) ))))
PROPERTY: AutoFlight-PT-96b-CTLFireability-02 (AF( ( ( ( ( ((potential((tk(P238)>=1)))) | ((potential((tk(P7024)>=1)))) ) & ((potential((tk(P2589)>=1)))) ) & (AX( ((potential((tk(P3863)>=1)))))) ) & ( ((potential((tk(P253)>=1)))) | ( ( ((potential((tk(P6071)>=1)))) & ((potential((tk(P7515)>=1)))) ) & (! ((potential((tk(P219)>=1))))) ) ) )))
PROPERTY: AutoFlight-PT-96b-CTLFireability-03 ( (AG( ( (! ( ((potential((tk(P3377)>=1) & (tk(P6419)>=1)))) & ((potential((tk(P3461)>=1)))) )) | (! (! ((potential((tk(P4483)>=1)))))) ))) | ( (EX( (EG( ((potential((tk(P4818)>=1)))))))) & (AU( ((potential((tk(P179)>=1)))) , ( ((potential((tk(P1500)>=1)))) | ((potential((tk(P3835)>=1)))) ) )) ) )
PROPERTY: AutoFlight-PT-96b-CTLFireability-04 (AX( (AX( (EF( ((potential((tk(P4534)>=1))))))))))
PROPERTY: AutoFlight-PT-96b-CTLFireability-05 ( (AF( ((potential((tk(P3408)>=1)))))) & ( (! (AU( ((potential((tk(P4514)>=1)))) , ((potential((tk(P2377)>=1)))) ))) | (! (EX( ((potential((tk(P6130)>=1))))))) ) )
PROPERTY: AutoFlight-PT-96b-CTLFireability-06 (! (EG( (! (AX( ((potential((tk(P3377)>=1) & (tk(P6419)>=1))))))))))
PROPERTY: AutoFlight-PT-96b-CTLFireability-07 (AG( ( (! (AX( ((potential((tk(P4353)>=1))))))) & (EX( (! ((potential((tk(P822)>=1))))))) )))
PROPERTY: AutoFlight-PT-96b-CTLFireability-08 (! (! (AU( (! ((potential((tk(P1990)>=1) & (tk(P6740)>=1))))) , ( ((potential((tk(P7129)>=1)))) | ((potential((tk(P14)>=1)))) ) ))))
PROPERTY: AutoFlight-PT-96b-CTLFireability-09 (AF( (! (EX( (! ((potential((tk(P2489)>=1))))))))))
PROPERTY: AutoFlight-PT-96b-CTLFireability-10 (! (AF( (AG( (! ((potential((tk(P1148)>=1))))))))))
PROPERTY: AutoFlight-PT-96b-CTLFireability-11 ( ( ((potential((tk(P1412)>=1)))) | (EF( ( ((potential((tk(P6216)>=1)))) & ( ((potential((tk(P5544)>=1)))) & ((potential((tk(P3943)>=1)))) ) ))) ) | ( (! ( (EX( ((potential((tk(P81)>=1)))))) | (! ( ((potential((tk(P3121)>=1)))) & ((potential((tk(P2587)>=1) & (tk(P5251)>=1)))) )) )) | (AU( ((potential((tk(P3166)>=1) & (tk(P6208)>=1)))) , ((potential((tk(P4085)>=1) & (tk(P7117)>=1)))) )) ) )
PROPERTY: AutoFlight-PT-96b-CTLFireability-12 (EG( (EF( ( ( ((potential((tk(P1162)>=1)))) & ((potential((tk(P3703)>=1)))) ) & (! ((potential((tk(P360)>=1))))) )))))
PROPERTY: AutoFlight-PT-96b-CTLFireability-13 (EX( (AF( ((potential((tk(P5009)>=1))))))))
PROPERTY: AutoFlight-PT-96b-CTLFireability-14 (AG( ( (EF( (! ((potential((tk(P1015)>=1) & (tk(P6519)>=1))))))) | (AG( ( ((potential((tk(P5126)>=1)))) & ((potential((tk(P4854)>=1)))) ))) )))
PROPERTY: AutoFlight-PT-96b-CTLFireability-15 (! (EX( (AG( (! ((potential((tk(P1676)>=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="AutoFlight-PT-96b"
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 AutoFlight-PT-96b, 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 r003-smll-158897508600524"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-96b.tgz
mv AutoFlight-PT-96b 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 ;