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

48

tests

0

failures

24

ignored

0.538s

duration

100%

successful

Tests

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

Standard output

651847     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2621229828757389158.key 
651847     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.3ns 
651847     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
652058     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
652058     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
652073     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
652073     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
652862     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
657496     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.64s 
657511     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2621229828757389158.key 
657511     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
657594     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9917674013878520632.key 
657594     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.27ms 
657594     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
661498     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 
661513     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9917674013878520632.key 
661513     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
661529     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4161980772827462635.key 
661529     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 278.4ns 
661529     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
664897     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 
664913     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4161980772827462635.key 
664928     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 
664928     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4477661401923421181.key 
664928     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 156ns 
664928     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
668755     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 
668771     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4477661401923421181.key 
668771     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 
668771     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15376992427263791543.key 
668771     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.1ns 
668771     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
671991     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 
672022     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15376992427263791543.key 
672022     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
672022     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8303843494773463427.key 
672022     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.9ns 
672022     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
675430     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
675446     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8303843494773463427.key 
675446     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
675461     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props8878344877048561790.key 
675461     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns 
675461     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
678905     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
678920     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8878344877048561790.key 
678920     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
678920     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13936782176018003185.key 
678920     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.4ns 
678936     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
682345     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
682361     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13936782176018003185.key 
682361     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
682376     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4132627552255857716.key 
682376     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.7ns 
682376     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
685879     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 
685894     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4132627552255857716.key 
685894     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
685910     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4761302152255361959.key 
685910     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.8ns 
685910     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
689466     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 
689481     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4761302152255361959.key 
689481     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 
689497     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5458769957971969159.key 
689497     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.3ns 
689497     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
692936     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
693030     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5458769957971969159.key 
693030     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
693046     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13044108717828140276.key 
693046     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.7ns 
693046     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
696522     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
696537     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13044108717828140276.key 
696537     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
696537     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13699190096890001370.key 
696537     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.5ns 
696537     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
699852     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
699884     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13699190096890001370.key 
699884     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 
699884     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16763317760222761440.key 
699884     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.3ns 
699899     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
703357     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
703381     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16763317760222761440.key 
703381     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
703381     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props411940479048505680.key 
703381     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.2ns 
703381     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
706782     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
706797     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props411940479048505680.key 
706797     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 
706813     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8000772245873092134.key 
706813     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.9ns 
706813     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
710252     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
710268     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8000772245873092134.key 
710268     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
710284     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14391307858889214959.key 
710284     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.2ns 
710284     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
713792     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
713808     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14391307858889214959.key 
713808     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
713808     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props4076605658001497321.key 
713808     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.6ns 
713823     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
717059     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
717075     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4076605658001497321.key 
717091     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.6ns 
717091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1897067007054246775.key 
717091     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.6ns 
717091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
720783     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 
720799     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1897067007054246775.key 
720799     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 
720815     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
720815     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
720815     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
720815     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
720815     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11694229273109585514.key 
720815     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.3ns 
720815     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
724312     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
724327     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11694229273109585514.key 
724327     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
724327     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props11726995811908665723.key 
724327     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.6ns 
724327     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
727703     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 
727719     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11726995811908665723.key 
727719     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 
727750     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14450666777117229386.key 
727750     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 837.6ns 
727750     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
731223     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
731254     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14450666777117229386.key 
731254     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 
731254     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7678248319584855672.key 
731254     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.7ns 
731254     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
734679     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
734695     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7678248319584855672.key 
734695     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 
734695     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9935086729237667476.key 
734695     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.1ns 
734695     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
738073     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 
738087     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9935086729237667476.key 
738087     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 
738584     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17785534756727863124.key 
738584     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.4ns 
738584     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
742087     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 
742103     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17785534756727863124.key 
742103     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 
742103     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10842602893127804008.key 
742103     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.9ns 
742119     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
745402     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 
745418     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10842602893127804008.key 
745418     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
745433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9839800997154320960.key 
745433     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.8ns 
745433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
748920     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 
748935     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9839800997154320960.key 
748935     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
748951     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5517399873830801133.key 
748951     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 518.9ns 
748951     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
752444     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
752475     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5517399873830801133.key 
752475     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
752475     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2612769157510287875.key 
752475     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.3ns 
752475     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
755833     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
755848     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2612769157510287875.key 
755848     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 336.3ns 
755864     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props13786406566152985015.key 
755864     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 740.1ns 
755864     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
759303     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 
759319     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13786406566152985015.key 
759319     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
759319     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7772505695075472095.key 
759319     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.27ms 
759334     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
762727     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
762743     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7772505695075472095.key 
762743     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.2ns 
762758     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4830609324813829455.key 
762758     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.4ns 
762758     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
766119     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 
766135     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4830609324813829455.key 
766135     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns 
766150     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3612360366672535196.key 
766150     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.5ns 
766150     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
769765     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 
769780     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3612360366672535196.key 
769796     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.8ns 
769796     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12734574390000643475.key 
769796     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 417ns 
769796     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
773058     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
773074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12734574390000643475.key 
773074     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 
773074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13710103894953746559.key 
773074     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.4ns 
773089     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
776497     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
776512     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13710103894953746559.key 
776512     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
776528     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2328775347825437169.key 
776528     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.1ns 
776528     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
779980     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 
779996     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2328775347825437169.key 
780012     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
780012     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4555994379131408053.key 
780012     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 527.2ns 
780027     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
783317     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
783348     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4555994379131408053.key 
783348     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
783348     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10970126205505824158.key 
783348     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.4ns 
783348     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
786835     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
786850     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10970126205505824158.key 
786850     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
786850     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11744414241052279535.key 
786850     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.9ns 
786850     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
790259     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
790275     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11744414241052279535.key 
790275     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 
790290     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8881228271346822845.key 
790290     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 284ns 
790290     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
793636     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
793651     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8881228271346822845.key 
793667     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 
793667     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14362945755619775239.key 
793667     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.1ns 
793667     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
797325     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 
797340     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14362945755619775239.key 
797340     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
797340     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9602081123779914930.key 
797340     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.6ns 
797357     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
800594     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
800625     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9602081123779914930.key 
800625     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
800625     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12193621279656152086.key 
800625     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.8ns 
800625     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
804040     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
804055     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12193621279656152086.key 
804055     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 
804055     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
804071     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
804071     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
804071     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
804071     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4300764291251283284.key 
804071     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.9ns 
804071     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
807482     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
807497     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4300764291251283284.key 
807497     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 
807497     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5161378429640573288.key 
807497     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 533ns 
807513     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
811007     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
811022     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5161378429640573288.key 
811022     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 
811038     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12771856335037923982.key 
811038     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.8ns 
811038     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
814357     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 
814372     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12771856335037923982.key 
814372     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.3ns 
814372     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11994617734770217818.key 
814372     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 170ns 
814372     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
817779     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
817795     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11994617734770217818.key 
817795     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
817795     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props957251856259490360.key 
817795     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.9ns 
817810     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
821197     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
821228     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props957251856259490360.key 
821228     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 
821228     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props18128969927960102343.smt2 
821228     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14353061898899132916.smt2 
821228     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6905370783125010636.smt2 
821290     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2606233378713699883.smt2 
821290     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8507814467167215272.smt2 
821290     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17165716385981095755.smt2 
821290     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7189975708143949449.smt2 
821290     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props14855430387125980138.smt2 
821290     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11046245911234735965.smt2 
821290     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11701899389737333975.smt2 
821306     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props1582956484599580903.smt2 
821306     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3149748910517185670.smt2 
821306     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props15442972726811462808.smt2 
821306     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props12098977917558749031.smt2 
821306     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props8708298330004175862.smt2 
821306     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props13393621088386860139.smt2 
821306     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14110025225198680414.smt2 
821306     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props4655817069593670898.smt2 
821322     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props413774226197226018.smt2 
821322     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9316058738244418596.smt2 
821322     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9944511282331386037.smt2 
821322     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5441584503498209512.smt2 
821322     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1959097524701353825.smt2 
821322     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props  saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16172731017631911877.smt2