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] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | 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] | 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
529028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5259624473643100380.key 529028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.5ns 529028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 529169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 529169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 529169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 529169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 529624 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 532774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 532789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5259624473643100380.key 532789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 532805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16125685086595987211.key 532805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.5ns 532805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 535410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 535426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16125685086595987211.key 535426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 535441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9660580393316859097.key 535441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.8ns 535441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 538080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9660580393316859097.key 538080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 538096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props10073211969181521237.key 538096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.5ns 538096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 540741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 540756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10073211969181521237.key 540772 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 540772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props11119360226117863619.key 540772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.9ns 540772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 543466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 543482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11119360226117863619.key 543482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 543497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15304744893570853343.key 543497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385ns 543497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 546214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15304744893570853343.key 546214 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 546214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5734760853829068398.key 546214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.9ns 546214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 548967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5734760853829068398.key 548967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 548982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5467373830185058714.key 548982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.2ns 548982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 551706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 551722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5467373830185058714.key 551722 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 551722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10342670329912420524.key 551722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.6ns 551722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 554479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 554494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10342670329912420524.key 554494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 554494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13008041603469286860.key 554494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns 554494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 557284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13008041603469286860.key 557284 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 557284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props18211873255061112604.key 557284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.7ns 557284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 560051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props18211873255061112604.key 560051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 560067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16944126366172993832.key 560067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.8ns 560067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 562826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 562842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16944126366172993832.key 562842 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 562857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16861608728254699999.key 562857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.3ns 562857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 565609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 565625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16861608728254699999.key 565625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 565640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props15928759092653753339.key 565640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.8ns 565640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 568400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15928759092653753339.key 568400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 568400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6335422469645596699.key 568400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.8ns 568400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 571158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6335422469645596699.key 571158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 571173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1747875836375962808.key 571173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.1ns 571173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 573929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1747875836375962808.key 573929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 573929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15561789479472212567.key 573929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.6ns 573929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 576683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15561789479472212567.key 576683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 576683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10609257428034457906.key 576683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.9ns 576683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 579454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10609257428034457906.key 579454 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 579454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17064799114566267138.key 579454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.7ns 579454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 582220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17064799114566267138.key 582220 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 582236 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 582236 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 582236 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 582236 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 582236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5207684082510556819.key 582236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.7ns 582236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 585000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5207684082510556819.key 585000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 585000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5279768645494826214.key 585000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.9ns 585015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 587736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 587751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5279768645494826214.key 587751 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 587751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props2273414993720829970.key 587751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.3ns 587767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 590504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 590520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2273414993720829970.key 590520 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 590520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4772630213989725340.key 590520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.5ns 590520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 593343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4772630213989725340.key 593343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 593343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9090966517530187353.key 593343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.2ns 593343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 596095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9090966517530187353.key 596095 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 596367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2378249784512664988.key 596367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.6ns 596382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 599154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2378249784512664988.key 599170 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 599170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6840716185448805219.key 599170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.1ns 599170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 601980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6840716185448805219.key 601980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 601980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4897456708799947933.key 601980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284ns 601980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 604834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 604850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4897456708799947933.key 604850 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 604866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3536482468081847556.key 604866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.4ns 604866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 607731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3536482468081847556.key 607731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 607731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props12656503553459809393.key 607731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 444.2ns 607747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 610570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12656503553459809393.key 610570 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 610570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6444852594929181834.key 610570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 491.9ns 610570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 613471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6444852594929181834.key 613471 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 613471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1230447078027720297.key 613471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.4ns 613471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 616255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1230447078027720297.key 616255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 616270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props10825313178728111118.key 616270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.3ns 616270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 619115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props10825313178728111118.key 619115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 619115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props6604658307952774816.key 619115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.7ns 619131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 621933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6604658307952774816.key 621933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 621933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2917688792737915781.key 621933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.2ns 621948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 624727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2917688792737915781.key 624727 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 624727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6850270967330627871.key 624727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 449.1ns 624727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 627593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6850270967330627871.key 627593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 627593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17115991597865517798.key 627593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns 627609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 630376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17115991597865517798.key 630376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 630376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14603341053186166481.key 630376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.9ns 630376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 633195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14603341053186166481.key 633195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 633211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9776207253647573538.key 633211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.2ns 633211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 636023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9776207253647573538.key 636023 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 636039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16690213093333717243.key 636039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 636039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 638761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16690213093333717243.key 638761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 638761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2467278155929543480.key 638761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.8ns 638761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 641560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2467278155929543480.key 641560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 641560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12629084127428879400.key 641560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.3ns 641560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 644267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12629084127428879400.key 644267 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 644282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13914734122834310906.key 644282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221ns 644282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 647138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13914734122834310906.key 647138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 647138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13778562488280915725.key 647138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.3ns 647138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 649983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13778562488280915725.key 649983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 649983 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649983 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649983 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649983 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props707021804894914302.key 649999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.2ns 649999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 652814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props707021804894914302.key 652814 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 652814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8753575632713196295.key 652814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.2ns 652814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 655537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8753575632713196295.key 655537 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 655537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10109789124724330804.key 655537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.3ns 655537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 658306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10109789124724330804.key 658322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 658322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5043066474818069303.key 658322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.3ns 658322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 661206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5043066474818069303.key 661206 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 661206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5188083204423293511.key 661206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553.1ns 661206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 664032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5188083204423293511.key 664032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 664032 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.props4511164153411155609.smt2 664032 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.props7035809158356492410.smt2 664047 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.props17266031176072298916.smt2 664047 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.props14001761196195133264.smt2 664047 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.props7791139445420431220.smt2 664047 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.props6673499390074654717.smt2 664047 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.props4096058054749873550.smt2 664047 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.props9474804163155902044.smt2 664047 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.props6952996270113427216.smt2 664047 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.props15939179123846454458.smt2 664047 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.props6736977280130954839.smt2 664047 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.props13369296522939743878.smt2 664047 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.props9274308773715960349.smt2 664047 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.props6105400797239882515.smt2 664063 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.props11388938854472115193.smt2 664063 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.props18439238304569167035.smt2 664063 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.props9601615513028370126.smt2 664063 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.props6397358553525500417.smt2 664063 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.props941369439486139170.smt2 664063 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.props12581716427007296121.smt2 664063 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.props617543102145002730.smt2 664063 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.props11214871098989575079.smt2 664080 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.props7112594481094963448.smt2 664081 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.props13506550371737826400.smt2