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.002s | 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.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.008s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | 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.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | 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.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
830941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3033799777064847753.key 830941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.4ns 830957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831191 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 831191 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 831191 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 831191 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 832035 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 837303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.36s 837335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3033799777064847753.key 837335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 837350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1847588493371225426.key 837350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.4ns 837350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 842025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1847588493371225426.key 842025 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 842025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11144464770211901745.key 842025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.2ns 842025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 846606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 846622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11144464770211901745.key 846622 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 846637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16982565399069262483.key 846637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.2ns 846637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 851171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 851186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16982565399069262483.key 851186 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 851186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1295565162675401951.key 851186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.6ns 851202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 855532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 855563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1295565162675401951.key 855563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 855563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props18031493970724037057.key 855563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.5ns 855563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 859848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 859864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props18031493970724037057.key 859864 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 859864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6128394683826095198.key 859864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.9ns 859864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 864350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 864365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6128394683826095198.key 864365 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 864365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props14662850980341923824.key 864365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.1ns 864365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 868868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s 868884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14662850980341923824.key 868884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 868884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7513174776109059289.key 868884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.7ns 868900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 873120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 873136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7513174776109059289.key 873136 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 873151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props10646341242045332057.key 873151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447.6ns 873151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 877685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 877700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10646341242045332057.key 877700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 877716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16129148774844279308.key 877716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200ns 877716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 882125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 882141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16129148774844279308.key 882141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 882141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16536624714989578583.key 882141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.7ns 882156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 886565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 886581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16536624714989578583.key 886581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 886581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4869799870129415274.key 886581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.5ns 886581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 890990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 891021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4869799870129415274.key 891021 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 891021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5673548238712506299.key 891021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.1ns 891021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 895539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s 895555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5673548238712506299.key 895555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 895555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9746625579069628595.key 895570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.7ns 895570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 900041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9746625579069628595.key 900041 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 900057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props4589107324352585284.key 900057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.8ns 900057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 904497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 904513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4589107324352585284.key 904513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 904528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4983768404710583973.key 904528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.2ns 904528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 909078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4983768404710583973.key 909078 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 909078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11397950946908100051.key 909078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns 909078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 913517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11397950946908100051.key 913517 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 913517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6559628366702208350.key 913517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.6ns 913517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 918008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6559628366702208350.key 918024 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 918024 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 918024 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 918024 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 918024 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 918024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props7296574729025315530.key 918024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.9ns 918024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 922527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 922542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7296574729025315530.key 922558 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 922558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16912205970480269981.key 922558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.9ns 922558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 926951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 926967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16912205970480269981.key 926967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 926982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props891869101605084990.key 926982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.5ns 926982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 931532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 931548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props891869101605084990.key 931548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 931548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16922423995016496629.key 931548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.3ns 931563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 936035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 936050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16922423995016496629.key 936050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 936050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props130504143131994490.key 936050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.6ns 936050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 940459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 940474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props130504143131994490.key 940474 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 940928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3182007141369803152.key 940928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.4ns 940945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 945385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 945400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3182007141369803152.key 945400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 945416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2154016320984584173.key 945416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.1ns 945416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 949873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 949889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2154016320984584173.key 949889 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 949889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15477951441731292914.key 949889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.3ns 949905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 954360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15477951441731292914.key 954360 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 954360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7516078237250478185.key 954360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.6ns 954376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 958753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 958769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7516078237250478185.key 958769 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 958785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14612475199749046392.key 958785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.8ns 958785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 963178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 963196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14612475199749046392.key 963210 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 963210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16386984667682078147.key 963210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 552.8ns 963210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 967697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s 967713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16386984667682078147.key 967713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 967728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props8081975766649126436.key 967728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.2ns 967728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 972044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 972059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8081975766649126436.key 972059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 972059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1555813565806095552.key 972059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.3ns 972059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 976453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 976468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1555813565806095552.key 976468 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 976484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4374082845194716483.key 976484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.2ns 976484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 980939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4374082845194716483.key 980939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 980939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5635440639607230247.key 980939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.1ns 980956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 985349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 985364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5635440639607230247.key 985395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 985395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16733727792028394483.key 985395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.2ns 985395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 989851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16733727792028394483.key 989851 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 989851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3074416800515269384.key 989851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.9ns 989867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 994260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3074416800515269384.key 994260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 994275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9406218497373719511.key 994275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.5ns 994275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 998731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 998746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9406218497373719511.key 998746 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 998762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16874627937835098776.key 998762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 377.7ns 998762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1003109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 1003140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16874627937835098776.key 1003140 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 1003140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props2337307386408684052.key 1003140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.6ns 1003140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1007565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 1007580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props2337307386408684052.key 1007580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 1007580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props15586759918343939159.key 1007580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 346.5ns 1007580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1012006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 1012021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props15586759918343939159.key 1012021 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 1012021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10264386653847489872.key 1012021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.4ns 1012021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1016493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 1016508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10264386653847489872.key 1016508 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 1016508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3798322151270557438.key 1016508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.2ns 1016524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1020980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 1020995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3798322151270557438.key 1020995 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 1020995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7257167311909051520.key 1021011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 501.2ns 1021011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1025420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 1025451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7257167311909051520.key 1025451 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1025451 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1025451 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1025451 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1025451 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1025451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11626896370829508747.key 1025451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.7ns 1025467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1029938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 1029953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11626896370829508747.key 1029953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 1029953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15635802886480097477.key 1029953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.8ns 1029969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1034394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 1034409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15635802886480097477.key 1034409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 1034409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13157882994639073382.key 1034409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 362.2ns 1034409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1038913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 1038929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13157882994639073382.key 1038944 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 1038944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props15023558934959001279.key 1038944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.7ns 1038944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1043369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 1043384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15023558934959001279.key 1043384 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 1043384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props307838316614870697.key 1043384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.6ns 1043400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1047792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 1047808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props307838316614870697.key 1047824 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 1047824 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.props11818578512224163913.smt2 1047824 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.props8467509523563173924.smt2 1047824 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.props7620597882767454092.smt2 1047824 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.props5099606957980075758.smt2 1047824 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.props9682325021721794357.smt2 1047839 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.props18167482716529073425.smt2 1047839 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.props18139643544917301850.smt2 1047839 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.props13238055089480951203.smt2 1047839 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.props7764605787820969259.smt2 1047839 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.props6541594450020381300.smt2 1047839 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.props16032061195182882782.smt2 1047839 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.props10985788726060983278.smt2 1047855 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.props15114080460623748655.smt2 1047855 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.props10842790874505579292.smt2 1047855 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.props5794172310209815130.smt2 1047855 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.props2772549482923831258.smt2 1047855 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.props16525045419720406701.smt2 1047855 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.props3338931593994087309.smt2 1047855 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.props8345499287413721019.smt2 1047855 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.props4378179706294484985.smt2 1047871 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.props5737443829704426104.smt2 1047871 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.props2891233777213829769.smt2 1047871 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.props10358621992822840575.smt2 1047871 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.props3538088997118038304.smt2