Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] heap1.props | testTranslation(TestData)[10] | 0s | passed |
| [11] float.sqrt2.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sinDouble.props | testTranslation(TestData)[12] | 0s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] int1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] float.eq.props | testTranslation(TestData)[17] | 0s | passed |
| [18] bool3.props | testTranslation(TestData)[18] | 0s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] ite1.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] cast1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] cast2.props | testTranslation(TestData)[22] | 0s | passed |
| [23] ex2.props | testTranslation(TestData)[23] | 0s | passed |
| [24] types2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0s | passed |
| [3] float2.props | testTranslation(TestData)[3] | 0s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] upd1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] heap1.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt2.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sinDouble.props | testZ3(TestData)[12] | - | ignored |
| [13] cast3.props | testZ3(TestData)[13] | - | ignored |
| [14] float.sqrt1.props | testZ3(TestData)[14] | - | ignored |
| [15] int1.props | testZ3(TestData)[15] | - | ignored |
| [16] quant2.props | testZ3(TestData)[16] | - | ignored |
| [17] float.eq.props | testZ3(TestData)[17] | - | ignored |
| [18] bool3.props | testZ3(TestData)[18] | - | ignored |
| [19] types1.props | testZ3(TestData)[19] | - | ignored |
| [1] ite1.props | testZ3(TestData)[1] | - | ignored |
| [20] cast1.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] cast2.props | testZ3(TestData)[22] | - | ignored |
| [23] ex2.props | testZ3(TestData)[23] | - | ignored |
| [24] types2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool1.props | testZ3(TestData)[2] | - | ignored |
| [3] float2.props | testZ3(TestData)[3] | - | ignored |
| [4] bool2.props | testZ3(TestData)[4] | - | ignored |
| [5] ex1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] uninterpreted1.props | testZ3(TestData)[7] | - | ignored |
| [8] upd1.props | testZ3(TestData)[8] | - | ignored |
| [9] float1.props | testZ3(TestData)[9] | - | ignored |
Standard output
619359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props15547823618175372389.key 619359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 536ns 619360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619526 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 619527 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 619528 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 619528 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 620221 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 623752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 623768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15547823618175372389.key 623770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 623778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props3435422493733616498.key 623778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.3ns 623779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 626999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3435422493733616498.key 627000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 627003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props9434010503286176836.key 627003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.4ns 627004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 630304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9434010503286176836.key 630305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 630308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props6425896298309177123.key 630309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.5ns 630310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 633468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6425896298309177123.key 633470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 633476 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 633477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props3937189751588639992.key 633477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.9ns 633478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 636776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3937189751588639992.key 636777 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 636781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props17390504472951406587.key 636781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70ns 636783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 640020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17390504472951406587.key 640022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 640024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props4700348528362240546.key 640024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.2ns 640025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 643252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4700348528362240546.key 643253 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 643256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props17537702095001495975.key 643256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138ns 643258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 646585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17537702095001495975.key 646587 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 646589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props12512831111483411448.key 646590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.5ns 646590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 650050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12512831111483411448.key 650052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 90.3ns 650055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props13783158635683456300.key 650055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.1ns 650056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 653468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13783158635683456300.key 653470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 87.1ns 653476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props15192082824815300939.key 653476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.7ns 653477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 656870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props15192082824815300939.key 656871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 656874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props16830438473754381168.key 656875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.9ns 656875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 660375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16830438473754381168.key 660376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 660379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props1343452356395267165.key 660379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.9ns 660380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 663758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1343452356395267165.key 663759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 663762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props12708625669958466872.key 663762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.7ns 663763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 667226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12708625669958466872.key 667227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 667230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props16538921075815453469.key 667230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.4ns 667231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 670754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16538921075815453469.key 670755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 670759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props14518431384996579056.key 670759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71ns 670760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 674081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14518431384996579056.key 674082 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 674085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props8873987518975502210.key 674085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.1ns 674086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 677337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8873987518975502210.key 677338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 677340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props4990255870241783492.key 677340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.7ns 677341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 680516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4990255870241783492.key 680518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 680520 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 680520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props16960597371225668646.key 680521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.1ns 680521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 683869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16960597371225668646.key 683871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 683873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props6673170034001858385.key 683873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.7ns 683874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 687212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6673170034001858385.key 687213 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 687215 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 687216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props2987969714722710040.key 687216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.8ns 687217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 690596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2987969714722710040.key 690597 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 690600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props5567484367436256452.key 690600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.7ns 690601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 693820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5567484367436256452.key 693822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 693825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props7115618674937831152.key 693825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.1ns 693826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 697182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7115618674937831152.key 697184 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 697186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props7260699178642153660.key 697187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.2ns 697187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 700510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7260699178642153660.key 700511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 700533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props16838816541223389042.key 700533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.6ns 700534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 703833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16838816541223389042.key 703835 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 703837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props2752235532111537.key 703837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.6ns 703840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 707111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2752235532111537.key 707112 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 707115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props5008878126303946138.key 707115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.3ns 707117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 710494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5008878126303946138.key 710496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 710498 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 710500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props7195017714772459612.key 710500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.6ns 710501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 713897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7195017714772459612.key 713898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 713901 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 713901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props11162095825555583546.key 713901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.7ns 713902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 717312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11162095825555583546.key 717314 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 717316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props3339699271158141691.key 717316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.7ns 717317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 720821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3339699271158141691.key 720823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 720825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props5269700631784541652.key 720825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.4ns 720826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 724223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5269700631784541652.key 724224 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 724227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props12285535020422953833.key 724227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.7ns 724228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 727472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12285535020422953833.key 727474 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 727476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props3214350691862168534.key 727476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.1ns 727477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 730802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3214350691862168534.key 730803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 730806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props7479731872746119264.key 730806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.4ns 730807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 734113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7479731872746119264.key 734115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 734121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props14548916321101992460.key 734122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 377.6ns 734123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 737390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14548916321101992460.key 737392 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 737394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props12582241348148510856.key 737395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.2ns 737395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 740860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12582241348148510856.key 740862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.3ns 740864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props16708201739167528136.key 740864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.9ns 740865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 744225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16708201739167528136.key 744227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 744229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props3658126054852699104.key 744229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.5ns 744230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 747493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3658126054852699104.key 747494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 747496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props4581867747799880548.key 747497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.8ns 747545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 750905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4581867747799880548.key 750907 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 750910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props14204469300853423984.key 750910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.3ns 750910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 754321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14204469300853423984.key 754322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 754325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props16326147371960820651.key 754325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.1ns 754326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 757652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16326147371960820651.key 757653 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 757656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props11747350633537594107.key 757656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.2ns 757657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 761059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11747350633537594107.key 761060 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 761064 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 761065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props4397754705301280563.key 761065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 500.2ns 761066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 764512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 764528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4397754705301280563.key 764530 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 764537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props5146637813485137070.key 764537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.8ns 764538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 767834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5146637813485137070.key 767835 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 767837 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 767838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props6058423771672158579.key 767838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.3ns 767839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 771291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6058423771672158579.key 771292 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 771294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props5197962658228949652.key 771294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.9ns 771295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 774679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5197962658228949652.key 774681 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 774684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props17640842154589690136.key 774684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.2ns 774684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 777984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 778001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17640842154589690136.key 778002 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 778005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props1104660813305107685.key 778005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67ns 778006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781334 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 781349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1104660813305107685.key 781350 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 781353 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props6388164836846397594.smt2 781354 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props4657545735349848445.smt2 781355 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props13221939674119277947.smt2 781356 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props6541997220895471563.smt2 781356 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props12137498204164225349.smt2 781357 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props3885382781807978145.smt2 781358 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props4153267639550249446.smt2 781359 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props6459284640277481904.smt2 781360 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props10500029621665655477.smt2 781360 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props4475013589213096965.smt2 781361 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props6539541726339310521.smt2 781362 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props9049771689522385061.smt2 781363 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props13653000289517660552.smt2 781364 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props9170762775629920079.smt2 781365 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props3023845975407942204.smt2 781366 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props6987686106950087014.smt2 781366 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props10028906276458259084.smt2 781367 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props8375004620650766709.smt2 781368 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props17245395018660912116.smt2 781369 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props2844796381835253791.smt2 781370 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props9169314458047743243.smt2 781370 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props17596554162748899194.smt2 781371 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props10702360125859823319.smt2 781372 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props3896541744249760341.smt2