Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest

48

tests

0

failures

24

ignored

0.033s

duration

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