Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | 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.005s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | 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.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.003s | 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.003s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | 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
820864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2608411081529799249.key 820864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.4ns 820864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821127 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 821127 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 821127 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 821127 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 822130 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 826844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.98s 826875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2608411081529799249.key 826875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 826922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14442214691297781806.key 826922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.2ns 826922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 831312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14442214691297781806.key 831312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 831312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11132881035216616640.key 831312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.6ns 831331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 835672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 835688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11132881035216616640.key 835703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 835703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16910247627692085218.key 835703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190ns 835703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 840160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16910247627692085218.key 840160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 840160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2626218925607143926.key 840160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.4ns 840176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 844549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2626218925607143926.key 844549 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.5ns 844549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9115934233323829292.key 844549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.3ns 844549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 848863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 848879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9115934233323829292.key 848879 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 848895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10239558690549130376.key 848895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273ns 848895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 853228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 853243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10239558690549130376.key 853243 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 853259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5030816331728285766.key 853259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.4ns 853259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 857538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 857553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5030816331728285766.key 857553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 857553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9363483540100419317.key 857553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.3ns 857568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 861841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9363483540100419317.key 861841 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.3ns 861856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15426591740489979520.key 861856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.6ns 861856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 866108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 866124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15426591740489979520.key 866124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 866124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8744150840001840315.key 866139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.9ns 866139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 870416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8744150840001840315.key 870416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 870432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9751571489938108874.key 870432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.4ns 870432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 874795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9751571489938108874.key 874795 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 874795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9830510319713213922.key 874795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.5ns 874795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 878920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 878935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9830510319713213922.key 878935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 878951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props15111968940459609325.key 878951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.2ns 878951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 883384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 883400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15111968940459609325.key 883400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 883431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12920845930004554272.key 883431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.5ns 883447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 887876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 887892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12920845930004554272.key 887892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 887907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6156002321971305951.key 887907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.7ns 887907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 892237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6156002321971305951.key 892237 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 892252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15103205227638277921.key 892252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.7ns 892252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 896547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 896563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15103205227638277921.key 896563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 896578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7557096096040761836.key 896578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.5ns 896578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 900737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7557096096040761836.key 900752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.6ns 900752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3830782074608332966.key 900752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.7ns 900752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 904937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 905024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3830782074608332966.key 905024 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 905024 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 905024 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 905024 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 905039 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 905039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8909325578676158472.key 905039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.9ns 905039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 909244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8909325578676158472.key 909244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 909244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12953364837748051815.key 909244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.7ns 909260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 913518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12953364837748051815.key 913534 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 913534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14003843215566576888.key 913534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.8ns 913534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 917929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14003843215566576888.key 917929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 917929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11030787658215335529.key 917929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.7ns 917929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 922109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 922124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11030787658215335529.key 922124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 922124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14044155699221129108.key 922124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.5ns 922140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 926477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 926493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14044155699221129108.key 926493 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 926887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6827498102036838465.key 926887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.4ns 926887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 931069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 931085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6827498102036838465.key 931101 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns 931101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15793850035274979562.key 931101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.9ns 931101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 935190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 935206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15793850035274979562.key 935222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 935222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5924517775825569692.key 935222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340.7ns 935222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 939249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 939264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5924517775825569692.key 939264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 939264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props11089724512057103322.key 939264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.6ns 939280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 943588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 943603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11089724512057103322.key 943619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 943619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4455216145219289519.key 943619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139ns 943619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 947905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 947921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4455216145219289519.key 947921 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 947937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16108615630056659451.key 947937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.6ns 947937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 951996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16108615630056659451.key 951996 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 951996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7033563455037941122.key 951996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 478.5ns 952012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 956106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 956122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7033563455037941122.key 956122 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 956122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1819079487040457041.key 956122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.4ns 956122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 960377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1819079487040457041.key 960377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 960377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props17237978330355350947.key 960393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.3ns 960393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 964640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 964672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17237978330355350947.key 964672 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 964672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4578390138556237874.key 964672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.8ns 964672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 968749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 968764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4578390138556237874.key 968764 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 968764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15586895241487934702.key 968764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.9ns 968780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 973091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 973106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15586895241487934702.key 973106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 973122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10507164500458565990.key 973122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.9ns 973122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 977403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 977419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10507164500458565990.key 977434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 977434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12583004159395460258.key 977434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms 977434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 981485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 981501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12583004159395460258.key 981501 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 981517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2616580810902652800.key 981517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.9ns 981517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 985645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 985660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2616580810902652800.key 985660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 985676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11211010707298977706.key 985676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246ns 985676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 989956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11211010707298977706.key 989956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 989972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props15499951661851880199.key 989972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214ns 989972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 994352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props15499951661851880199.key 994352 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 994352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4162674003160574982.key 994352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.2ns 994352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 998633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 998649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4162674003160574982.key 998649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 998649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9597901946451292851.key 998649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.9ns 998649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1002949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 1002964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9597901946451292851.key 1002964 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 1002980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3105006068123524117.key 1002980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.7ns 1002980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1007206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 1007222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3105006068123524117.key 1007222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1007238 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1007238 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1007238 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1007238 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1007238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1289428602248099502.key 1007238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.2ns 1007238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1011554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 1011569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1289428602248099502.key 1011569 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1011585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2063236364088913331.key 1011585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.8ns 1011585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1015945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 1015960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2063236364088913331.key 1015960 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1015976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6243236701339495696.key 1015976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.5ns 1015976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1020186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 1020201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6243236701339495696.key 1020201 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1020201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8659957332194552579.key 1020201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.5ns 1020217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1024457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 1024473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8659957332194552579.key 1024489 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 1024489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16207857742761676188.key 1024489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.4ns 1024489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1028624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 1028640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16207857742761676188.key 1028640 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1028640 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.props4932025217234917545.smt2 1028640 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.props11757480577631621746.smt2 1028655 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.props7029166403971496916.smt2 1028655 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.props13585175715324513440.smt2 1028655 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.props8707100471352490419.smt2 1028655 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.props2911149853267208828.smt2 1028655 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.props9852571292311350117.smt2 1028655 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.props1994707466045039246.smt2 1028655 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.props4661807610423645286.smt2 1028655 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.props2877279284063747124.smt2 1028671 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.props7670969814594520155.smt2 1028671 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.props15702980457507560487.smt2 1028671 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.props17432958646978918312.smt2 1028671 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.props1214563891757984899.smt2 1028671 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.props14205682702927420721.smt2 1028671 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.props1012887488751866244.smt2 1028671 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.props2607007093670986525.smt2 1028687 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.props6925410049901138551.smt2 1028687 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.props811400568502726727.smt2 1028687 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.props6700707747967239386.smt2 1028687 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.props9081511037159550705.smt2 1028687 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.props1355691904415657863.smt2 1028687 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.props818109666585314496.smt2 1028687 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.props18340960823292595801.smt2