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.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.005s | 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.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.007s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.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] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | 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
1001052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8535450553930389415.key 1001052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.7ns 1001052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1001287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1001287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1001287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1001287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1002208 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 1008073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.01s 1008088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8535450553930389415.key 1008088 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1008119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1995243776798554173.key 1008119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 351.9ns 1008119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1013327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1013358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1995243776798554173.key 1013358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1013358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8487006730748539148.key 1013358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.2ns 1013358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1018550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1018581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8487006730748539148.key 1018581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1018581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17027288369529974986.key 1018581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 367.8ns 1018597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1023960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1023991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17027288369529974986.key 1023991 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28ns 1024007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6660834933412985608.key 1024007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.5ns 1024007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1029431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1029447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6660834933412985608.key 1029447 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1029447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5226624617453893439.key 1029463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.6ns 1029463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1034795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1034810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5226624617453893439.key 1034810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1034826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1112818915615840502.key 1034826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.9ns 1034826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1040219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1040234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1112818915615840502.key 1040234 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.1ns 1040250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5463452749955505169.key 1040250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381ns 1040250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 1045612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5463452749955505169.key 1045612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1045628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4887887873436798637.key 1045628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.3ns 1045628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1051148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 1051180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4887887873436798637.key 1051180 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1051195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1695700844026423771.key 1051195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.1ns 1051195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1056870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s 1056902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1695700844026423771.key 1056902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1056902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4724835843320045290.key 1056902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 1056902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1062498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.58s 1062513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4724835843320045290.key 1062513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1062529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5861455959053741242.key 1062529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437ns 1062529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1068206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s 1068237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5861455959053741242.key 1068237 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1068237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10558405338100318803.key 1068237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.1ns 1068237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1074069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.82s 1074084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10558405338100318803.key 1074084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1074100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1409787469909488594.key 1074100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.6ns 1074100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1079745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.65s 1079776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1409787469909488594.key 1079776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1079776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12458948508690228677.key 1079776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.1ns 1079776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1085249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1085264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12458948508690228677.key 1085264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1085280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14452893911574930640.key 1085280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 615.7ns 1085296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1090894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s 1090909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14452893911574930640.key 1090909 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1090925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props18100047838937542233.key 1090925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387ns 1090925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1096649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.73s 1096681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18100047838937542233.key 1096681 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.5ns 1096681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10182725400400341543.key 1096681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.7ns 1096681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1102153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 1102184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10182725400400341543.key 1102184 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.6ns 1102184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6280191629812054433.key 1102184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161ns 1102184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1107626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1107657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6280191629812054433.key 1107657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1107657 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1107657 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1107657 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1107657 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1107657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8213518986530742726.key 1107657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.9ns 1107672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1113228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s 1113259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8213518986530742726.key 1113259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1113259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3248798464547494498.key 1113259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.3ns 1113276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1118951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s 1118967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3248798464547494498.key 1118983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1118983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9239031225712955441.key 1118983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223ns 1118983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1124517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 1124548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9239031225712955441.key 1124548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 1124564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13268036363269013174.key 1124564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.1ns 1124564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1130255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.7s 1130286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13268036363269013174.key 1130286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1130286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props10474712872025345008.key 1130286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 384.2ns 1130302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1135789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1135805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10474712872025345008.key 1135821 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1136274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props92889098114420881.key 1136274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.7ns 1136274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1141843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 1141859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props92889098114420881.key 1141859 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1141874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1635742630241500741.key 1141874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 431.1ns 1141874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1147597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s 1147628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1635742630241500741.key 1147628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1147628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16502292756760685048.key 1147628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 539.2ns 1147643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1153350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s 1153381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16502292756760685048.key 1153381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1153381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7962559080344980646.key 1153381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.7ns 1153397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1158916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 1158947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7962559080344980646.key 1158947 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1158947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props18047785850204808817.key 1158963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.1ns 1158963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1164497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 1164529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props18047785850204808817.key 1164529 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1164529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15310903937660700444.key 1164529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.8ns 1164529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1170207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s 1170223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15310903937660700444.key 1170223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1170238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15705601249167404025.key 1170238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.2ns 1170238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1175983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.75s 1176014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15705601249167404025.key 1176014 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1176030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props18396500182957438964.key 1176030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.2ns 1176030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1181752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s 1181768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18396500182957438964.key 1181768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1181784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15532421340947363592.key 1181784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.5ns 1181784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1187396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 1187412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15532421340947363592.key 1187412 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31.3ns 1187428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17496106691563134141.key 1187428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.2ns 1187428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1192960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 1192976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17496106691563134141.key 1192976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1192991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7137614163347048207.key 1192991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 426.4ns 1192991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1198369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1198401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7137614163347048207.key 1198401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.8ns 1198417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14938116285085471317.key 1198417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 376.6ns 1198417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1203842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1203858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14938116285085471317.key 1203858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1203874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10178768648793846380.key 1203874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.1ns 1203874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1209362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1209393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10178768648793846380.key 1209393 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1209393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14128916591735824415.key 1209393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.9ns 1209409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1214898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1214914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14128916591735824415.key 1214914 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1214929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4982534626010880490.key 1214929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.7ns 1214929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1220417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1220448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4982534626010880490.key 1220448 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1220448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11888206647259056447.key 1220448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.7ns 1220464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1225952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1225968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11888206647259056447.key 1225968 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1225968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8575211470339622526.key 1225968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.5ns 1225983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1231487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1231503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8575211470339622526.key 1231503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1231518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props6096436919246261574.key 1231518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 504.9ns 1231518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1237116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s 1237131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6096436919246261574.key 1237147 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1237147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9617582543841120641.key 1237147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.9ns 1237147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1242571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1242588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9617582543841120641.key 1242588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1242603 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1242603 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1242603 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1242603 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1242603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9493470751262918981.key 1242603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 509.6ns 1242603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1247994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1248009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9493470751262918981.key 1248009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1248009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3753220103225909638.key 1248009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275ns 1248025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1253356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1253371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3753220103225909638.key 1253371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1253387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5223837813313711550.key 1253387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.1ns 1253387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1258718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1258749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5223837813313711550.key 1258749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1258749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1388446472883519502.key 1258749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.2ns 1258749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1264098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1264113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1388446472883519502.key 1264113 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1264129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props11770741930261875355.key 1264129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.9ns 1264129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1269601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 1269616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11770741930261875355.key 1269616 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1269632 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.props2272029427798068170.smt2 1269632 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.props11412825170950267865.smt2 1269632 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.props6556711309298908294.smt2 1269632 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.props1684339619756699036.smt2 1269632 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.props6123152792021450011.smt2 1269632 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.props10340681919288008096.smt2 1269632 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.props15242142894348088788.smt2 1269632 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.props2229914867079085695.smt2 1269648 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.props12783267235948464053.smt2 1269648 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.props5082072010930672152.smt2 1269648 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.props18350599208515153705.smt2 1269648 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.props1020723906189461807.smt2 1269648 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.props5212107808072621381.smt2 1269648 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.props17028648677293025322.smt2 1269648 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.props3799953891169075635.smt2 1269663 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.props279344173963774320.smt2 1269663 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.props3280376409634128051.smt2 1269663 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.props14354888550509700808.smt2 1269663 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.props1900644049094129147.smt2 1269663 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.props13316127376710288743.smt2 1269663 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.props11210268259633497283.smt2 1269663 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.props13796733934677239085.smt2 1269679 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.props2699167330344772734.smt2 1269679 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.props4816994000570439433.smt2