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

48

tests

0

failures

24

ignored

0.291s

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] 0s 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.002s passed
[20] types1.props testTranslation(TestData)[20] 0.001s passed
[21] types2.props testTranslation(TestData)[21] 0s passed
[22] uninterpreted1.props testTranslation(TestData)[22] 0.004s passed
[23] upd1.props testTranslation(TestData)[23] 0.004s passed
[24] upd2.props testTranslation(TestData)[24] 0.001s passed
[2] bool2.props testTranslation(TestData)[2] 0.001s passed
[3] bool3.props testTranslation(TestData)[3] 0.001s passed
[4] cast1.props testTranslation(TestData)[4] 0.001s passed
[5] cast2.props testTranslation(TestData)[5] 0.001s passed
[6] cast3.props testTranslation(TestData)[6] 0.001s passed
[7] ex1.props testTranslation(TestData)[7] 0s 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

532793     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14330990798432573684.key 
532793     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.1ns 
532793     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
532933     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
532933     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
532933     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
532933     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
533356     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
536451     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 
536466     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14330990798432573684.key 
536466     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
536498     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13129294627676724281.key 
536498     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.1ns 
536498     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
539077     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 
539092     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13129294627676724281.key 
539092     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
539092     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3775907992293139640.key 
539092     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.8ns 
539092     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
541719     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 
541734     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3775907992293139640.key 
541734     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
541734     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4259969181522498013.key 
541734     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.4ns 
541734     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
544361     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 
544377     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4259969181522498013.key 
544377     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
544392     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17287638559586996252.key 
544392     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.4ns 
544392     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
547004     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 
547019     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17287638559586996252.key 
547019     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
547019     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12138414290091397058.key 
547019     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.2ns 
547019     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
549678     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
549693     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12138414290091397058.key 
549693     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
549709     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17636957218814855750.key 
549709     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.8ns 
549709     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
552321     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 
552336     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17636957218814855750.key 
552336     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
552352     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9920028103070231401.key 
552352     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns 
552352     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
555025     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
555041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9920028103070231401.key 
555041     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
555041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12263745644804555085.key 
555041     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.9ns 
555041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
557746     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
557762     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12263745644804555085.key 
557762     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
557762     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props133248151472520293.key 
557762     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.8ns 
557762     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
560419     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
560435     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props133248151472520293.key 
560435     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
560435     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4555781296814951446.key 
560435     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.8ns 
560435     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
563154     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 
563170     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4555781296814951446.key 
563170     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
563170     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8776465199121145946.key 
563186     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 433.7ns 
563186     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
565812     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 
565827     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8776465199121145946.key 
565827     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
565827     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props894810249309134566.key 
565827     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 203ns 
565827     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
568549     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 
568565     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props894810249309134566.key 
568565     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
568565     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props4643578186010217093.key 
568565     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.1ns 
568565     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
571346     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
571362     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4643578186010217093.key 
571362     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
571378     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4965698677973437657.key 
571378     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.5ns 
571378     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
574395     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 
574411     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4965698677973437657.key 
574411     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
574426     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props48535991944671926.key 
574426     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.9ns 
574426     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
576976     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 
576992     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props48535991944671926.key 
576992     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
577007     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props1083697610047311002.key 
577007     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.7ns 
577007     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
579572     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 
579587     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1083697610047311002.key 
579587     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
579603     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props6397252043260897471.key 
579603     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.4ns 
579603     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
582167     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 
582183     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6397252043260897471.key 
582183     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 
582183     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9541696432065322929.key 
582183     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 130ns 
582183     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
584825     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
584841     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9541696432065322929.key 
584841     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
584841     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
584841     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
584841     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
584857     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
584857     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5368738784398211341.key 
584857     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.5ns 
584857     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
587483     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
587499     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5368738784398211341.key 
587499     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
587514     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6296978342406242679.key 
587514     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.3ns 
587514     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
590203     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
590219     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6296978342406242679.key 
590219     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
590219     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13676567663672530264.key 
590219     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.8ns 
590234     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
592876     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
592891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13676567663672530264.key 
592891     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
592891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11397455616682668884.key 
592891     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.5ns 
592891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
595533     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
595549     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11397455616682668884.key 
595549     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
595549     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17068971887358182714.key 
595549     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.8ns 
595549     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
598287     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 
598302     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17068971887358182714.key 
598302     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
598583     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props10374775535428609205.key 
598583     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.3ns 
598583     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
601225     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 
601241     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10374775535428609205.key 
601241     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
601241     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props17013981525271265372.key 
601241     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 386.4ns 
601256     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
604007     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
604023     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props17013981525271265372.key 
604023     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
604023     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5183427486514611805.key 
604023     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.8ns 
604023     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
606680     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
606696     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5183427486514611805.key 
606696     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
606696     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6198722781463298463.key 
606696     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.4ns 
606696     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
609480     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
609496     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6198722781463298463.key 
609496     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 
609496     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props18274443145096663256.key 
609496     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.8ns 
609496     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
612154     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
612170     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props18274443145096663256.key 
612170     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
612185     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9045276968845759367.key 
612185     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.2ns 
612185     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
614937     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
614952     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9045276968845759367.key 
614952     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
614952     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props14413710736044615622.key 
614952     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.8ns 
614968     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
617626     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
617642     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14413710736044615622.key 
617642     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
617642     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8036864133627843860.key 
617642     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.4ns 
617658     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
620424     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
620424     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8036864133627843860.key 
620440     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
620440     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props559878117836756751.key 
620440     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.6ns 
620440     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
623113     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
623129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props559878117836756751.key 
623129     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
623129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9924738058225578175.key 
623129     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.1ns 
623129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
625895     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
625912     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9924738058225578175.key 
625912     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
625912     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12781352958114638074.key 
625912     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 349ns 
625912     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
628585     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
628600     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12781352958114638074.key 
628600     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
628600     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10957065476900736369.key 
628600     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.5ns 
628600     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
631383     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
631399     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10957065476900736369.key 
631399     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
631399     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1238757830191796929.key 
631399     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 129ns 
631399     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
634056     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
634072     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1238757830191796929.key 
634181     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
634181     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14555586458987520738.key 
634181     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.2ns 
634181     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
636871     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
636886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14555586458987520738.key 
636886     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
636886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7953833738350295256.key 
636886     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.1ns 
636886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
639669     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
639685     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7953833738350295256.key 
639685     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
639685     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props13466416272652790882.key 
639685     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 431.5ns 
639685     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
642344     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 
642359     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13466416272652790882.key 
642359     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
642375     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8956908611395417497.key 
642375     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.7ns 
642375     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
645127     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
645142     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8956908611395417497.key 
645142     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
645142     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10315223471117418218.key 
645142     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.8ns 
645142     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
647910     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
647925     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10315223471117418218.key 
647925     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
647925     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11728751215320131143.key 
647925     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.6ns 
647925     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
650553     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 
650568     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11728751215320131143.key 
650568     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 
650568     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
650568     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
650568     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
650568     INFO  Test worker     d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 
650568     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9740861388582899206.key 
650568     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.7ns 
650568     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
653366     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 
653382     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9740861388582899206.key 
653397     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 
653397     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15243855190622547.key 
653397     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 442ns 
653397     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
656149     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
656164     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15243855190622547.key 
656164     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
656164     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15281376064250683503.key 
656164     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.7ns 
656164     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
658947     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
658963     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15281376064250683503.key 
658963     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
658979     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6839278919264420082.key 
658979     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.4ns 
658979     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
661683     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
661699     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6839278919264420082.key 
661699     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
661699     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14280714083317021434.key 
661699     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.2ns 
661699     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
664293     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 
664309     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14280714083317021434.key 
664309     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
664309     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.props4760257381611098148.smt2 
664325     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.props17389975832738322368.smt2 
664325     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.props666477508782424850.smt2 
664325     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.props4062829174518355292.smt2 
664325     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.props8548584354865283867.smt2 
664325     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.props8277025590139264618.smt2 
664325     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.props15105740881161533030.smt2 
664325     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.props10953392802856599763.smt2 
664325     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.props820078454354770361.smt2 
664325     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.props15806475824345689789.smt2 
664325     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.props18079898004758170970.smt2 
664325     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.props2205955810335894109.smt2 
664340     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.props8319054813005432047.smt2 
664340     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.props14099416055619812395.smt2 
664340     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.props3893218737377846085.smt2 
664340     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.props16425187592816992627.smt2 
664340     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.props16672323240349251560.smt2 
664340     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.props5108056376330314656.smt2 
664340     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.props12169700324437338205.smt2 
664340     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.props17067306205351235416.smt2 
664340     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.props1366681800849702025.smt2 
664356     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.props3479208312737093918.smt2 
664356     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.props13816039215227674058.smt2 
664356     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.props1783694732426188591.smt2