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

48

tests

0

failures

24

ignored

0.416s

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.002s passed
[12] float.sqrt2.props testTranslation(TestData)[12] 0.001s passed
[13] float1.props testTranslation(TestData)[13] 0.002s passed
[14] float2.props testTranslation(TestData)[14] 0.001s passed
[15] heap1.props testTranslation(TestData)[15] 0.002s passed
[16] int1.props testTranslation(TestData)[16] 0.002s passed
[17] ite1.props testTranslation(TestData)[17] 0.001s passed
[18] quant1.props testTranslation(TestData)[18] 0.001s passed
[19] quant2.props testTranslation(TestData)[19] 0.001s passed
[1] bool1.props testTranslation(TestData)[1] 0.004s passed
[20] types1.props testTranslation(TestData)[20] 0.001s passed
[21] types2.props testTranslation(TestData)[21] 0.002s passed
[22] uninterpreted1.props testTranslation(TestData)[22] 0.002s passed
[23] upd1.props testTranslation(TestData)[23] 0.002s passed
[24] upd2.props testTranslation(TestData)[24] 0.001s passed
[2] bool2.props testTranslation(TestData)[2] 0.002s passed
[3] bool3.props testTranslation(TestData)[3] 0.009s passed
[4] cast1.props testTranslation(TestData)[4] 0.002s passed
[5] cast2.props testTranslation(TestData)[5] 0.002s passed
[6] cast3.props testTranslation(TestData)[6] 0.001s 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

638178     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14938217358747870869.key 
638178     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.9ns 
638178     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
638335     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
638335     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
638335     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
638335     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
638994     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
642361     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
642376     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14938217358747870869.key 
642376     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
642408     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5026789969550232919.key 
642408     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 
642408     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
645612     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 
645628     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5026789969550232919.key 
645628     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
645628     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10224360882823991049.key 
645628     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 498.5ns 
645628     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
648859     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 
648874     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10224360882823991049.key 
648874     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
648874     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5981872966394246711.key 
648874     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 235ns 
648874     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
651987     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
652003     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5981872966394246711.key 
652003     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
652003     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4963637856783296992.key 
652003     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.6ns 
652003     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
655118     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
655133     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4963637856783296992.key 
655133     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
655133     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10584643410429973385.key 
655133     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.6ns 
655133     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
658214     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 
658230     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10584643410429973385.key 
658230     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
658230     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1901835487752847586.key 
658230     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 
658245     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
661577     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
661592     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1901835487752847586.key 
661592     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
661608     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props18323985588949547872.key 
661608     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 136ns 
661608     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
664910     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
664925     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18323985588949547872.key 
664925     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
664925     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9441909080092369971.key 
664925     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.1ns 
664941     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
668043     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 
668074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9441909080092369971.key 
668074     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
668074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3366742109222687116.key 
668074     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.3ns 
668074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
671281     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
671297     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3366742109222687116.key 
671297     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
671312     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11459981806858224417.key 
671312     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.6ns 
671312     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
674470     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 
674548     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11459981806858224417.key 
674548     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
674548     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2081301221723464238.key 
674548     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 411ns 
674563     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
677933     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 
677949     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2081301221723464238.key 
677949     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
677949     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12836510271932032028.key 
677949     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.7ns 
677964     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
681060     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
681076     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12836510271932032028.key 
681076     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
681076     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11868044372275931365.key 
681076     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.7ns 
681094     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
684215     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
684230     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11868044372275931365.key 
684230     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
684246     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10937800352587468961.key 
684246     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 190ns 
684246     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
687389     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 
687405     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10937800352587468961.key 
687405     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
687405     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12106286635852585311.key 
687405     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns 
687420     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
690626     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
690641     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12106286635852585311.key 
690641     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
690657     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props7689298126582484092.key 
690657     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.6ns 
690657     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
694471     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 
694486     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7689298126582484092.key 
694486     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
694486     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7938845076479787320.key 
694486     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.7ns 
694502     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
697660     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 
697675     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7938845076479787320.key 
697675     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
697675     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props14827896477318526103.key 
697675     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.5ns 
697675     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
700715     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 
700731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14827896477318526103.key 
700731     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
700731     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
700731     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
700731     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
700731     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
700731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props3823983349773360987.key 
700731     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.5ns 
700731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
703849     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 
703864     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3823983349773360987.key 
703864     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
703864     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17506206425424195227.key 
703864     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.6ns 
703864     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
707126     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
707141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17506206425424195227.key 
707141     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
707141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1578464697654392328.key 
707157     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns 
707157     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
710463     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 
710479     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1578464697654392328.key 
710494     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
710494     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14175340408296592569.key 
710494     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.5ns 
710494     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
713640     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 
713655     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14175340408296592569.key 
713655     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
713671     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3329798183827042654.key 
713671     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 370.3ns 
713671     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
716919     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
716934     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3329798183827042654.key 
716934     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
717325     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7804904673011896450.key 
717325     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.8ns 
717325     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
720413     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 
720429     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7804904673011896450.key 
720429     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
720445     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13616625855126719838.key 
720445     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 508.8ns 
720445     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
723534     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
723549     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13616625855126719838.key 
723549     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
723565     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3180362339942556218.key 
723565     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.2ns 
723565     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
726660     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
726676     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3180362339942556218.key 
726676     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
726676     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2348006407789133108.key 
726676     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.7ns 
726692     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
729976     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 
729991     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2348006407789133108.key 
729991     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
730007     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5426427597439485938.key 
730007     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 362ns 
730007     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
733476     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 
733491     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5426427597439485938.key 
733491     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.6ns 
733491     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props991767048032868206.key 
733491     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 333ns 
733507     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
736587     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 
736587     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props991767048032868206.key 
736603     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
736603     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10795770059361336037.key 
736603     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 369ns 
736603     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
739736     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
739751     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10795770059361336037.key 
739751     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
739751     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7619577360710445736.key 
739767     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.8ns 
739767     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
742827     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 
742843     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7619577360710445736.key 
742858     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
742858     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10462748103271361710.key 
742858     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.3ns 
742858     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
746235     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 
746250     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10462748103271361710.key 
746250     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
746266     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3802753359174917736.key 
746266     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.9ns 
746266     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
749650     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 
749666     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3802753359174917736.key 
749666     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
749666     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2819004551993210924.key 
749666     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 361.4ns 
749666     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
752794     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
752809     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2819004551993210924.key 
752825     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
752825     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13374784997965748785.key 
752825     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.5ns 
752825     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
755904     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 
755920     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13374784997965748785.key 
755920     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
755920     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14401284989450368556.key 
755920     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.3ns 
755936     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
759100     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 
759115     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14401284989450368556.key 
759115     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
759115     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props948163170125780446.key 
759115     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.5ns 
759115     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
762475     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
762491     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props948163170125780446.key 
762491     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
762491     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10715519834254778179.key 
762491     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.8ns 
762491     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
765893     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
765908     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10715519834254778179.key 
765908     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
765908     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14545959668837721383.key 
765908     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.4ns 
765908     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
769020     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
769035     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14545959668837721383.key 
769035     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
769035     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8125270626827984728.key 
769035     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 
769035     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
772137     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
772152     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8125270626827984728.key 
772152     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
772152     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15484675392706461870.key 
772152     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.7ns 
772168     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
775264     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 
775279     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15484675392706461870.key 
775279     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
775295     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11517550730473623454.key 
775295     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.8ns 
775295     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
778547     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
778563     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11517550730473623454.key 
778563     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
778563     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
778563     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
778563     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
778563     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
778563     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14199741259789977136.key 
778563     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.1ns 
778563     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
781869     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
781884     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14199741259789977136.key 
781884     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
781884     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12530027339762894565.key 
781884     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.4ns 
781884     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
785013     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
785044     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12530027339762894565.key 
785044     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
785044     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15676145348147209437.key 
785044     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.3ns 
785044     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
788407     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 
788423     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15676145348147209437.key 
788423     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
788438     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8170146308389682500.key 
788438     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.1ns 
788438     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
791609     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 
791625     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8170146308389682500.key 
791625     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
791625     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4128636324244295183.key 
791625     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.4ns 
791625     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
794761     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
794777     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4128636324244295183.key 
794777     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
794777     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.props73547766766759245.smt2 
794793     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.props10567347043148832443.smt2 
794793     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.props11970761778937805950.smt2 
794793     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.props17779416736701776340.smt2 
794809     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.props13171082462712558447.smt2 
794810     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.props4075307393462087958.smt2 
794812     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.props6728455824016028687.smt2 
794813     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.props12698100358508533624.smt2 
794814     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.props10401327294135735899.smt2 
794815     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.props4459885406360373256.smt2 
794817     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.props16556835984984575354.smt2 
794818     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.props1998915571862369449.smt2 
794818     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.props17041057358266626566.smt2 
794818     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.props2994404184204999152.smt2 
794818     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.props8993839205006611956.smt2 
794818     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.props13773428120680112332.smt2 
794818     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.props9021955477495275300.smt2 
794818     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.props17846497964045367234.smt2 
794818     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.props7978234592889119088.smt2 
794818     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.props9845616795124238245.smt2 
794818     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.props16146678353921512325.smt2 
794834     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.props6598413124660836748.smt2 
794834     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.props13031158834096841603.smt2 
794834     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.props2369347378599465011.smt2