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

48

tests

0

failures

24

ignored

0.037s

duration

100%

successful

Tests

Test Method name Duration Result
[10] float.sqrt2.props testTranslation(TestData)[10] 0.001s passed
[11] bool1.props testTranslation(TestData)[11] 0.001s passed
[12] upd1.props testTranslation(TestData)[12] 0.001s passed
[13] float.sinDouble.props testTranslation(TestData)[13] 0.001s passed
[14] float.eq.props testTranslation(TestData)[14] 0.001s passed
[15] ex1.props testTranslation(TestData)[15] 0s passed
[16] cast2.props testTranslation(TestData)[16] 0.001s passed
[17] quant2.props testTranslation(TestData)[17] 0s passed
[18] float.sqrt1.props testTranslation(TestData)[18] 0s passed
[19] int1.props testTranslation(TestData)[19] 0s passed
[1] float2.props testTranslation(TestData)[1] 0.002s passed
[20] bool2.props testTranslation(TestData)[20] 0s passed
[21] quant1.props testTranslation(TestData)[21] 0s passed
[22] types1.props testTranslation(TestData)[22] 0.001s passed
[23] float1.props testTranslation(TestData)[23] 0.007s passed
[24] cast1.props testTranslation(TestData)[24] 0.001s passed
[2] uninterpreted1.props testTranslation(TestData)[2] 0.001s passed
[3] bool3.props testTranslation(TestData)[3] 0.001s passed
[4] cast3.props testTranslation(TestData)[4] 0.001s passed
[5] ite1.props testTranslation(TestData)[5] 0.001s passed
[6] upd2.props testTranslation(TestData)[6] 0.001s passed
[7] types2.props testTranslation(TestData)[7] 0.001s passed
[8] ex2.props testTranslation(TestData)[8] 0.001s passed
[9] heap1.props testTranslation(TestData)[9] 0.001s passed
[10] float.sqrt2.props testZ3(TestData)[10] - ignored
[11] bool1.props testZ3(TestData)[11] - ignored
[12] upd1.props testZ3(TestData)[12] - ignored
[13] float.sinDouble.props testZ3(TestData)[13] - ignored
[14] float.eq.props testZ3(TestData)[14] - ignored
[15] ex1.props testZ3(TestData)[15] - ignored
[16] cast2.props testZ3(TestData)[16] - ignored
[17] quant2.props testZ3(TestData)[17] - ignored
[18] float.sqrt1.props testZ3(TestData)[18] - ignored
[19] int1.props testZ3(TestData)[19] - ignored
[1] float2.props testZ3(TestData)[1] - ignored
[20] bool2.props testZ3(TestData)[20] - ignored
[21] quant1.props testZ3(TestData)[21] - ignored
[22] types1.props testZ3(TestData)[22] - ignored
[23] float1.props testZ3(TestData)[23] - ignored
[24] cast1.props testZ3(TestData)[24] - ignored
[2] uninterpreted1.props testZ3(TestData)[2] - ignored
[3] bool3.props testZ3(TestData)[3] - ignored
[4] cast3.props testZ3(TestData)[4] - ignored
[5] ite1.props testZ3(TestData)[5] - ignored
[6] upd2.props testZ3(TestData)[6] - ignored
[7] types2.props testZ3(TestData)[7] - ignored
[8] ex2.props testZ3(TestData)[8] - ignored
[9] heap1.props testZ3(TestData)[9] - ignored

Standard output

881713     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props6367864425201715613.key 
881713     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.8ns 
881714     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
881937     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
881938     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
881938     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
881938     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
882705     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
887899     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.19s 
887914     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6367864425201715613.key 
887916     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 
887926     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props17585177521384258692.key 
887926     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.9ns 
887927     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
892550     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 
892567     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17585177521384258692.key 
892568     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 
892583     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props11178462173676564782.key 
892583     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.1ns 
892584     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
897186     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 
897202     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11178462173676564782.key 
897203     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 
897205     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
897206     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props10575741623552234964.key 
897206     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.1ns 
897207     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
901801     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 
901818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10575741623552234964.key 
901819     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 
901823     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props6313478976945151956.key 
901823     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.5ns 
901824     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
906534     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 
906553     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6313478976945151956.key 
906555     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 
906559     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props14963817902932209063.key 
906559     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.2ns 
906560     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
911442     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 
911457     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14963817902932209063.key 
911459     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 
911461     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props8929530658203128954.key 
911461     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.4ns 
911462     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
916165     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 
916186     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8929530658203128954.key 
916187     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 
916189     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
916190     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props13180703120117526586.key 
916190     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 70ns 
916191     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
920853     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 
920869     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13180703120117526586.key 
920871     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 
920873     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props4027182339467766581.key 
920874     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.2ns 
920874     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
925634     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 
925650     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4027182339467766581.key 
925651     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 
925657     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props17267510236274588613.key 
925657     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.6ns 
925657     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
930312     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 
930329     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17267510236274588613.key 
930330     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 
930334     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props9026564575805890312.key 
930334     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.8ns 
930334     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
935111     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 
935131     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9026564575805890312.key 
935133     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 
935135     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props3788816437137095682.key 
935135     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.6ns 
935137     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
939886     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 
939904     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3788816437137095682.key 
939906     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 
939909     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props13736284222125102010.key 
939909     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 73ns 
939910     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
944868     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 
944887     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13736284222125102010.key 
944888     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 
944891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props9952725281773604258.key 
944891     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.9ns 
944892     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
949778     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 
949794     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9952725281773604258.key 
949796     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 
949798     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props8420549389081589003.key 
949798     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.5ns 
949799     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
954649     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 
954665     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8420549389081589003.key 
954667     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 
954671     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props7409831365514363368.key 
954671     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.7ns 
954672     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
959811     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 
959831     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7409831365514363368.key 
959833     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 
959836     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props14687676830285466668.key 
959836     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.1ns 
959837     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
964643     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 
964659     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14687676830285466668.key 
964660     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 
964663     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props2886393023371655083.key 
964663     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.2ns 
964663     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
969397     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 
969414     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2886393023371655083.key 
969415     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 
969418     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props13684669655231717680.key 
969418     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.5ns 
969419     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
974056     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 
974076     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13684669655231717680.key 
974077     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 
974079     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
974080     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props13507265869097258627.key 
974080     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 91ns 
974081     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
979105     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 
979121     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13507265869097258627.key 
979122     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 
979124     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props9470920896332356160.key 
979124     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.2ns 
979125     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
983901     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 
983916     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9470920896332356160.key 
983918     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 
983920     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props8215125700296087650.key 
983920     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.1ns 
983921     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
988553     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 
988571     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8215125700296087650.key 
988573     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 
988575     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
988575     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props4103674889302776279.key 
988575     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.3ns 
988576     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
993382     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 
993400     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4103674889302776279.key 
993402     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 
993405     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props2571682332937176405.key 
993405     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.1ns 
993406     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
998186     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 
998202     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2571682332937176405.key 
998204     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 
998244     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props13117084092211794329.key 
998244     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 602.31ns 
998245     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1002917    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 
1002934    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13117084092211794329.key 
1002935    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 
1002938    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props10281536386488238434.key 
1002938    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.5ns 
1002938    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1007588    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 
1007605    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10281536386488238434.key 
1007606    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 
1007609    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props6394817963748272152.key 
1007609    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.3ns 
1007610    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1012256    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 
1012272    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6394817963748272152.key 
1012273    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 
1012275    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1012276    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props9758015659888728259.key 
1012276    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.3ns 
1012277    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1016900    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 
1016916    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9758015659888728259.key 
1016917    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 
1016921    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props16055964853230180293.key 
1016921    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.9ns 
1016922    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1021675    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 
1021693    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16055964853230180293.key 
1021694    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 
1021697    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props2872776973117013822.key 
1021697    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.2ns 
1021698    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1026476    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 
1026492    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2872776973117013822.key 
1026493    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 
1026496    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props210728838065261658.key 
1026496    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.3ns 
1026497    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1031413    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 
1031433    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props210728838065261658.key 
1031434    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 
1031436    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1031437    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props6111653297493670600.key 
1031437    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.1ns 
1031438    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1036454    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 
1036470    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6111653297493670600.key 
1036471    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 
1036474    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props13855039020193121161.key 
1036474    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.5ns 
1036475    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1041202    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 
1041222    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13855039020193121161.key 
1041223    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 
1041228    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props17986181115195994848.key 
1041228    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.8ns 
1041234    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1046013    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 
1046032    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17986181115195994848.key 
1046034    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 
1046036    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props10689169729537852279.key 
1046036    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.9ns 
1046037    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1050663    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 
1050679    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10689169729537852279.key 
1050680    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 
1050682    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props7668291858984887542.key 
1050683    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.3ns 
1050683    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1055438    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 
1055453    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7668291858984887542.key 
1055454    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 
1055457    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props16393486293002008941.key 
1055457    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.7ns 
1055458    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1060119    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 
1060134    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16393486293002008941.key 
1060136    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 
1060138    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props1542685362715039533.key 
1060138    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.7ns 
1060139    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1064879    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 
1064894    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1542685362715039533.key 
1064896    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 
1064898    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props15954751769867484011.key 
1064898    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.6ns 
1064899    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1069534    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 
1069550    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15954751769867484011.key 
1069552    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 
1069554    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props11354920548224965750.key 
1069554    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.7ns 
1069555    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1074290    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 
1074306    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11354920548224965750.key 
1074307    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 
1074310    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props11332587294107197583.key 
1074310    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.5ns 
1074311    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1078993    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 
1079055    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11332587294107197583.key 
1079057    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 
1079060    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props7299754587347198381.key 
1079061    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.1ns 
1079062    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1083985    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 
1084003    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7299754587347198381.key 
1084005    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 
1084011    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props3614697121371275804.key 
1084011    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.4ns 
1084012    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1088920    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 
1088936    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3614697121371275804.key 
1088937    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 
1088939    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1088940    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props1885356235137439242.key 
1088940    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 63ns 
1088941    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1093731    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 
1093748    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1885356235137439242.key 
1093749    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 
1093752    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props9749002271212727224.key 
1093752    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.5ns 
1093753    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1098671    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 
1098686    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9749002271212727224.key 
1098688    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 
1098690    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props9797694958726024431.key 
1098690    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.9ns 
1098691    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1103532    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 
1103549    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9797694958726024431.key 
1103550    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 
1103552    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
1103552    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props759532869213111339.key 
1103552    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.1ns 
1103553    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1108290    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 
1108306    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props759532869213111339.key 
1108308    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 
1108310    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7210001780439204607.key 
1108310    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.1ns 
1108311    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1112988    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 
1113004    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7210001780439204607.key 
1113006    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 
1113009    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props  saved in: /tmp/SMT_key_float2.props14438559022283676593.smt2 
1113012    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props  saved in: /tmp/SMT_key_uninterpreted1.props708288340921133469.smt2 
1113014    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props  saved in: /tmp/SMT_key_bool3.props11290066367042409779.smt2 
1113016    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props  saved in: /tmp/SMT_key_cast3.props11621495963537642208.smt2 
1113017    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props  saved in: /tmp/SMT_key_ite1.props3265790143551045048.smt2 
1113019    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props  saved in: /tmp/SMT_key_upd2.props11407404599377805482.smt2 
1113020    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props  saved in: /tmp/SMT_key_types2.props17583602653170747164.smt2 
1113021    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props  saved in: /tmp/SMT_key_ex2.props17201428251132033406.smt2 
1113023    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props  saved in: /tmp/SMT_key_heap1.props12401971360496425712.smt2 
1113024    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props  saved in: /tmp/SMT_key_float.sqrt2.props4104159287247719209.smt2 
1113026    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props  saved in: /tmp/SMT_key_bool1.props6248480326346905631.smt2 
1113027    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props  saved in: /tmp/SMT_key_upd1.props7795196234059613015.smt2 
1113028    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props  saved in: /tmp/SMT_key_float.sinDouble.props10600196689136539696.smt2 
1113029    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props  saved in: /tmp/SMT_key_float.eq.props847557019105367090.smt2 
1113030    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props  saved in: /tmp/SMT_key_ex1.props18292075811020140107.smt2 
1113031    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props  saved in: /tmp/SMT_key_cast2.props11485117239408800579.smt2 
1113032    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props  saved in: /tmp/SMT_key_quant2.props17374616580086963573.smt2 
1113032    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props  saved in: /tmp/SMT_key_float.sqrt1.props10259012883541798891.smt2 
1113033    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props  saved in: /tmp/SMT_key_int1.props3482511150741509928.smt2 
1113034    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props  saved in: /tmp/SMT_key_bool2.props8612696518818219055.smt2 
1113035    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props  saved in: /tmp/SMT_key_quant1.props16385123673553422265.smt2 
1113036    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props  saved in: /tmp/SMT_key_types1.props6858079907742531119.smt2 
1113037    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props  saved in: /tmp/SMT_key_float1.props10691300519487331946.smt2 
1113044    INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props  saved in: /tmp/SMT_key_cast1.props11367111877702496039.smt2