Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] ex2.props | testTranslation(TestData)[11] | 0s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] bool3.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0s | passed |
| [23] cast2.props | testTranslation(TestData)[23] | 0s | passed |
| [24] int1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0s | passed |
| [4] float.eq.props | testTranslation(TestData)[4] | 0s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] ex1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] ex2.props | testZ3(TestData)[11] | - | ignored |
| [12] cast1.props | testZ3(TestData)[12] | - | ignored |
| [13] bool1.props | testZ3(TestData)[13] | - | ignored |
| [14] quant1.props | testZ3(TestData)[14] | - | ignored |
| [15] float1.props | testZ3(TestData)[15] | - | ignored |
| [16] ite1.props | testZ3(TestData)[16] | - | ignored |
| [17] upd1.props | testZ3(TestData)[17] | - | ignored |
| [18] upd2.props | testZ3(TestData)[18] | - | ignored |
| [19] heap1.props | testZ3(TestData)[19] | - | ignored |
| [1] types2.props | testZ3(TestData)[1] | - | ignored |
| [20] uninterpreted1.props | testZ3(TestData)[20] | - | ignored |
| [21] bool3.props | testZ3(TestData)[21] | - | ignored |
| [22] bool2.props | testZ3(TestData)[22] | - | ignored |
| [23] cast2.props | testZ3(TestData)[23] | - | ignored |
| [24] int1.props | testZ3(TestData)[24] | - | ignored |
| [2] float.sinDouble.props | testZ3(TestData)[2] | - | ignored |
| [3] quant2.props | testZ3(TestData)[3] | - | ignored |
| [4] float.eq.props | testZ3(TestData)[4] | - | ignored |
| [5] float2.props | testZ3(TestData)[5] | - | ignored |
| [6] float.sqrt1.props | testZ3(TestData)[6] | - | ignored |
| [7] cast3.props | testZ3(TestData)[7] | - | ignored |
| [8] types1.props | testZ3(TestData)[8] | - | ignored |
| [9] ex1.props | testZ3(TestData)[9] | - | ignored |
Standard output
572325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props8106004214649675672.key 572326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 367ns 572327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572462 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 572463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 572463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 572463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 573120 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 576290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.96s 576305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8106004214649675672.key 576306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 576313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props16020542396185501628.key 576313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.4ns 576314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 579328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16020542396185501628.key 579329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.7ns 579333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props5949188603283271252.key 579333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.5ns 579334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 582350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5949188603283271252.key 582352 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 582357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props1231648236448725615.key 582357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.1ns 582358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 585333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 585347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1231648236448725615.key 585348 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 585351 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 585352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props4895565279154054351.key 585352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.7ns 585353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 588327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4895565279154054351.key 588328 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 588330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props12761950912649174496.key 588331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.5ns 588331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 591297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12761950912649174496.key 591299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 591301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props14331909474814249647.key 591301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.3ns 591302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 594322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14331909474814249647.key 594323 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 594325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props16103533450696928079.key 594325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.1ns 594326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 597287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16103533450696928079.key 597289 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 597291 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 597292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props10515161827315054697.key 597292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.1ns 597293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 600297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10515161827315054697.key 600298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 600301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props2596178450479756250.key 600301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.3ns 600301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 603357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2596178450479756250.key 603358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 603361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props4107493932451488519.key 603361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.1ns 603362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 606448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4107493932451488519.key 606449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 606450 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 606451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7631044237860828220.key 606451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.6ns 606452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 609527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7631044237860828220.key 609528 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 609529 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 609531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props6544676312628103070.key 609531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.9ns 609532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 612552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6544676312628103070.key 612554 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 612556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props12362311993856786453.key 612556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.6ns 612556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 615546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props12362311993856786453.key 615547 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 615549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props2398360696945380598.key 615550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.1ns 615550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 618593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2398360696945380598.key 618594 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 618597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props8943817847084728657.key 618598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.5ns 618598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 621583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8943817847084728657.key 621585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 621587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props7064895935003740731.key 621587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.7ns 621590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 624634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7064895935003740731.key 624635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 624638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props16190397071197585780.key 624638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 47ns 624639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 627635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16190397071197585780.key 627637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 627639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props16320093025884056600.key 627639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.7ns 627640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 630630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16320093025884056600.key 630632 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 630638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props17239306381669741473.key 630638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.3ns 630639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 633620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17239306381669741473.key 633621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 633623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props6422247574264994059.key 633624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.4ns 633624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 636649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6422247574264994059.key 636651 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 636654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props4698944527231645214.key 636654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.3ns 636655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 639764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4698944527231645214.key 639765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 639767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props2811209906355571067.key 639767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.2ns 639768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 642807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2811209906355571067.key 642808 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 642810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props4595151306665052842.key 642810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.1ns 642811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 645783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4595151306665052842.key 645784 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 645818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props16507303488668339501.key 645818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.1ns 645819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 648736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16507303488668339501.key 648738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 648740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props6036610217262417065.key 648740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.6ns 648741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 651671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6036610217262417065.key 651672 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 651675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props7984864583112069677.key 651675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.9ns 651675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 654648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7984864583112069677.key 654649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 654651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props238563399273637243.key 654651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.1ns 654652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 657842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props238563399273637243.key 657843 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 657846 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 657846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props7007333769003193758.key 657847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.3ns 657847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 660898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7007333769003193758.key 660900 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 660902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props6185938670732277879.key 660902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.1ns 660905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 663904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6185938670732277879.key 663906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 663908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props16701025884338758207.key 663908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.2ns 663909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 666886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16701025884338758207.key 666887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 666889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props2273029801083336382.key 666889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 47.8ns 666890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 669805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2273029801083336382.key 669806 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 669808 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 669808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props10189972373091845422.key 669808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.8ns 669809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 672723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10189972373091845422.key 672725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 672727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props12327634341237391543.key 672727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.7ns 672728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 675845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12327634341237391543.key 675846 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 675848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props8597284025568704566.key 675848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.5ns 675849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 678749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8597284025568704566.key 678750 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 678751 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 678752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props15272028573761676947.key 678752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.6ns 678753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 681599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15272028573761676947.key 681600 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 681602 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props1647699977279126809.key 681603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.4ns 681603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 684481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1647699977279126809.key 684482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 684484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props18102170223612062243.key 684484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.9ns 684485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 687494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props18102170223612062243.key 687495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 687497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props2098234311257704419.key 687497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.3ns 687498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 690570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2098234311257704419.key 690571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 690573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props10894695294885954369.key 690573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.7ns 690574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 693494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10894695294885954369.key 693495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.4ns 693498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props15418453150654788773.key 693498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.9ns 693498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 696496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15418453150654788773.key 696497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 696499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props17997853332603637053.key 696499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.8ns 696500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 699529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17997853332603637053.key 699530 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 699533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props8322018481997795894.key 699533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.3ns 699534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 702602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8322018481997795894.key 702604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.1ns 702608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props17174241093384989797.key 702608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.9ns 702609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 705556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17174241093384989797.key 705558 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 705560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props8368481924881749857.key 705560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88ns 705561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 708627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8368481924881749857.key 708628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 708630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props12746223113741350443.key 708631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.8ns 708632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 711556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12746223113741350443.key 711557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 711560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props14716752660488889600.key 711560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.2ns 711561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 714474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14716752660488889600.key 714475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 714478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props17499579870405488747.key 714478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.8ns 714478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 717452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17499579870405488747.key 717453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 717455 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props17546684328538729502.smt2 717457 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props7142729497606123492.smt2 717457 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props13792851027159414619.smt2 717458 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props8386039478897776462.smt2 717459 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props17454387617182703478.smt2 717460 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props16549277429473886707.smt2 717460 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props14242382052631823462.smt2 717461 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props14226525294490670645.smt2 717462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props16415489144559690439.smt2 717463 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props616322524155077142.smt2 717463 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props6370346603119067092.smt2 717464 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props13651978519848014273.smt2 717465 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props618805278827297589.smt2 717466 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props8962847939130108531.smt2 717466 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props1016248737774541198.smt2 717467 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props16221414481831874482.smt2 717468 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props688581908237058129.smt2 717469 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props3235036150727211331.smt2 717469 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props10586312384356491590.smt2 717470 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props2910299116892765878.smt2 717471 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props7256547953061937605.smt2 717471 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props703849635472401933.smt2 717472 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props7474134659005559022.smt2 717473 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props11583877814655710613.smt2