Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
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