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] | 0s | passed |
[12] float.sinDouble.props | testTranslation(TestData)[12] | 0.001s | passed |
[13] cast3.props | testTranslation(TestData)[13] | 0.001s | 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.002s | passed |
[17] float.eq.props | testTranslation(TestData)[17] | 0.002s | passed |
[18] bool3.props | testTranslation(TestData)[18] | 0s | passed |
[19] types1.props | testTranslation(TestData)[19] | 0.001s | 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] | 0s | passed |
[22] cast2.props | testTranslation(TestData)[22] | 0s | passed |
[23] ex2.props | testTranslation(TestData)[23] | 0.001s | 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] | 0.001s | passed |
[6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
[7] uninterpreted1.props | testTranslation(TestData)[7] | 0s | 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
652867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props1314783160133441693.key 652868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 709ns 652869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653072 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 653073 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 653074 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 653074 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 653701 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 657429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 657445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1314783160133441693.key 657446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 657454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props16932510878065549816.key 657455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.3ns 657455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 660822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16932510878065549816.key 660823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 660827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props4636051538084713551.key 660827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.9ns 660828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 664665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4636051538084713551.key 664667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.2ns 664670 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 664671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props8076845956281761071.key 664671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.2ns 664672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 668421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8076845956281761071.key 668424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 668430 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props937673427937765880.key 668438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.2ns 668439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 672032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props937673427937765880.key 672033 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 672038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props13750868982153286941.key 672038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns 672039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 675540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13750868982153286941.key 675541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 675546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props4991941871832522083.key 675546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389ns 675547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 679174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4991941871832522083.key 679176 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 679182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props14283806411391308181.key 679182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.2ns 679184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s 683723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14283806411391308181.key 683728 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 683737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props8060006657210267543.key 683738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 554.4ns 683742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 687605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8060006657210267543.key 687606 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 687611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props15647918119396327927.key 687611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.9ns 687612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 691712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15647918119396327927.key 691714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 691729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props3717088653514513308.key 691730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.5ns 691736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 695216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3717088653514513308.key 695218 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 695222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props8395915265632964142.key 695222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.7ns 695223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 698791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8395915265632964142.key 698793 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 698797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props3612898407214631198.key 698798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.5ns 698799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 702371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3612898407214631198.key 702372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 702375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props6413038420928192088.key 702375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.7ns 702376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 705655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6413038420928192088.key 705656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 705659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props1024602750047730171.key 705659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.4ns 705660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 709187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1024602750047730171.key 709189 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 709194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props11427094596412128589.key 709195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.9ns 709196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 712677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11427094596412128589.key 712678 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 712681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props6296383801859526870.key 712681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.4ns 712682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 716065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6296383801859526870.key 716066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 716070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props10863122147999578381.key 716070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.1ns 716071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 719643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10863122147999578381.key 719645 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 719649 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 719651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props16967478247251763092.key 719651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.6ns 719652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 723122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16967478247251763092.key 723126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 723135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props13980749060666018287.key 723135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.6ns 723136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 726649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13980749060666018287.key 726650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 726652 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 726653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props18344203553705117051.key 726653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.8ns 726654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 730115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props18344203553705117051.key 730129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 730133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props16510553452874268787.key 730133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.1ns 730134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 733866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16510553452874268787.key 733867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 733870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props17160340486520442118.key 733871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203ns 733871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 737354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17160340486520442118.key 737356 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 737359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props11460952020986290490.key 737359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.5ns 737361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 740988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11460952020986290490.key 740993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 741049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props8359576885614444599.key 741052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.41ms 741053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 744506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8359576885614444599.key 744507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 744510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props7476599979615721935.key 744510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.1ns 744510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 747853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7476599979615721935.key 747855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 747858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props17614797244091589280.key 747858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404ns 747859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 751379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17614797244091589280.key 751385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 751387 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 751388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props8852024429790295019.key 751388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.3ns 751389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 754810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8852024429790295019.key 754812 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 754814 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 754815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props1852936000777400830.key 754815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.1ns 754816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 758288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1852936000777400830.key 758289 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 758292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props2392750612290798368.key 758292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.4ns 758293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 761744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2392750612290798368.key 761745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 761750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props5392440080798860866.key 761750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.8ns 761751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 765103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5392440080798860866.key 765104 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 765107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props14824682943913235220.key 765107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.3ns 765108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 768575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14824682943913235220.key 768579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 768582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props11379434711385996815.key 768583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 884.21ns 768584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 772099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11379434711385996815.key 772100 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 772103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props11845996625207193729.key 772103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.9ns 772104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 775788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11845996625207193729.key 775789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 775796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props373329810097226418.key 775796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.3ns 775797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 779305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props373329810097226418.key 779306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 779309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props14834599900703607540.key 779309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.9ns 779310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 782760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14834599900703607540.key 782761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 782764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props11692928133520292825.key 782764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.6ns 782765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 786166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11692928133520292825.key 786167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 786170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props1259978784986450950.key 786170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.1ns 786171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 789626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 789643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props1259978784986450950.key 789644 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 789647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props1880728871889082389.key 789647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.3ns 789647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 793020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1880728871889082389.key 793021 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 793024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props8405952066935354432.key 793024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54ns 793025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 796409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 796426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8405952066935354432.key 796427 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 796430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props4252583790354321897.key 796430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88ns 796431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 799898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4252583790354321897.key 799899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 799903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props5223049979538707381.key 799903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.4ns 799904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 803326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5223049979538707381.key 803328 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 803336 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 803337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props2241308184116777612.key 803337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.1ns 803338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 806807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2241308184116777612.key 806809 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 806812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props11271960790900702682.key 806812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.9ns 806813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 810240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11271960790900702682.key 810241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 810243 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 810244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props17606614523248817655.key 810244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.4ns 810246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 813724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 813742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17606614523248817655.key 813743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 813746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props17374366129971722117.key 813746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.8ns 813747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 817234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17374366129971722117.key 817235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.7ns 817238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props4213295471767975687.key 817238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.9ns 817239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 820602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 820618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4213295471767975687.key 820619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 820622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props16319553673921112136.key 820622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.7ns 820622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 824053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 824069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16319553673921112136.key 824070 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 824073 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props9588821384757941644.smt2 824074 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props12407746236931163891.smt2 824075 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props17459844543307645623.smt2 824076 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props1323316165928970123.smt2 824077 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props1497080131289832994.smt2 824077 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props9621242445140593654.smt2 824078 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props15409777735381196546.smt2 824079 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props1589555944888534281.smt2 824080 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props16988504831616862705.smt2 824080 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props10684499694877846298.smt2 824081 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props6902141159293276199.smt2 824082 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props5500485882131467924.smt2 824082 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props12716148062995549088.smt2 824083 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props4972280604786370304.smt2 824085 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props6044384558619637006.smt2 824088 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props11400064354989831267.smt2 824090 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props7704130680784170262.smt2 824092 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props1687319167757095768.smt2 824093 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props18137206501297475795.smt2 824093 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props715223376020779654.smt2 824094 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props3730444150906693737.smt2 824095 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props6855599890000572077.smt2 824096 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props3733346899967849943.smt2 824096 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props17149829901720138127.smt2