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.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | 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.006s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.013s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.015s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.003s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.003s | 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.003s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.003s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | 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
656203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17290369312722392721.key 656203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.1ns 656203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 656581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 656581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 656581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 657736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 661814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 661845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17290369312722392721.key 661845 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.9ns 661892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5558473583994162821.key 661892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.8ns 661892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 665292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5558473583994162821.key 665292 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 665292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9422264768611421932.key 665292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.1ns 665307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 668659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9422264768611421932.key 668659 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 668659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props15341024854038900669.key 668659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 370.1ns 668674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 672055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15341024854038900669.key 672055 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 672070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props12508059043023229536.key 672070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.7ns 672070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 675771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12508059043023229536.key 675787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 675818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17756180866403981541.key 675818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.7ns 675818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 679267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17756180866403981541.key 679267 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 679267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6756520899013733015.key 679267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.2ns 679283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 682683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6756520899013733015.key 682683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 682699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6814023783229963697.key 682699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.6ns 682699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 686061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6814023783229963697.key 686061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 686077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4300111825432923881.key 686077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.7ns 686077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 689602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4300111825432923881.key 689602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 689618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props6979556583338031179.key 689618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 470ns 689618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 693602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6979556583338031179.key 693602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 693617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12690673218650700755.key 693617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.8ns 693617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 697130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12690673218650700755.key 697130 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 697146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2112010324627777547.key 697146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.3ns 697146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 700476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2112010324627777547.key 700476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 700492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14767441176167122063.key 700492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.5ns 700492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 703774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14767441176167122063.key 703774 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 176.1ns 703774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9402683654813573410.key 703774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.9ns 703774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 707196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9402683654813573410.key 707196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 707211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17631710954722948221.key 707211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.6ns 707211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 711040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17631710954722948221.key 711040 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 711040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7829201960499070073.key 711040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.9ns 711055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 714311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7829201960499070073.key 714326 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 714326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15719397132403086588.key 714326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 472.5ns 714326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 717787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15719397132403086588.key 717787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 34ns 717787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props2430864846936695884.key 717787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.3ns 717803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 721132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2430864846936695884.key 721132 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 721148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7889653420591079871.key 721148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 721148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 724409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7889653420591079871.key 724409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 724424 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 724424 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 724424 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 724424 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 724424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9062671399027116201.key 724424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.9ns 724424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 727636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9062671399027116201.key 727636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 727636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16849837135681293771.key 727636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 377.6ns 727651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 731156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16849837135681293771.key 731156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 731156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13521983217586449426.key 731156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.6ns 731171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 734633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13521983217586449426.key 734633 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 734633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props2640387202087015556.key 734633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.7ns 734633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 737960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2640387202087015556.key 737960 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 737976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14194782692157986721.key 737976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.9ns 737976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 741306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14194782692157986721.key 741306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 741702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7214147918002612133.key 741702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.5ns 741702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 745038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7214147918002612133.key 745038 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 745054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8882622714123741829.key 745054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.2ns 745054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 748542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8882622714123741829.key 748557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 748557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8186694333175271878.key 748557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 760.5ns 748573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 752271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8186694333175271878.key 752271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 752271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9143621748945676866.key 752271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.7ns 752287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 755651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9143621748945676866.key 755651 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 755651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1016753386824990163.key 755651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.7ns 755667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 758935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1016753386824990163.key 758951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 758951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props2776206739927854592.key 758951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 416.6ns 758951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 762303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props2776206739927854592.key 762303 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 762303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7443115645755844673.key 762303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 496.2ns 762318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 765680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7443115645755844673.key 765680 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 765711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props10703866089258244240.key 765711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 688.7ns 765727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 769390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props10703866089258244240.key 769390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 769405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10861564110298581923.key 769405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.8ns 769405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 772767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10861564110298581923.key 772782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 772782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15647782400931319626.key 772782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.5ns 772782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 776071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15647782400931319626.key 776071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 776071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2737574619363891001.key 776071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 397.7ns 776087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 779423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2737574619363891001.key 779423 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 779423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14001401007539363633.key 779423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.3ns 779423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 782972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14001401007539363633.key 783019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.2ns 783019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8468433606678733118.key 783019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 617.5ns 783019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 786648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8468433606678733118.key 786648 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 786663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props4799858846418842648.key 786663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 363.6ns 786663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 790252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4799858846418842648.key 790252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 790252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17301414084551201092.key 790252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.8ns 790252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 793623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17301414084551201092.key 793623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 793639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1961891842810937495.key 793639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.5ns 793639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 797032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1961891842810937495.key 797032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 797032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15652867779939724482.key 797032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.6ns 797048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 800476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15652867779939724482.key 800476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 800476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15214210001688110726.key 800476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.1ns 800491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 804180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15214210001688110726.key 804196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 804196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3789493047222766801.key 804196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 619.1ns 804196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 807674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3789493047222766801.key 807674 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 807674 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 807674 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 807674 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 807674 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 807689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10915109960023870746.key 807689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.5ns 807689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 811285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10915109960023870746.key 811285 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 811301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10014323935100083972.key 811301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.4ns 811301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 814647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10014323935100083972.key 814647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 814662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props8132150121009959851.key 814662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.2ns 814662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 818008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props8132150121009959851.key 818024 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26ns 818024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9202935610321514753.key 818024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.5ns 818024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 821401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9202935610321514753.key 821401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 821401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props10127014644606923046.key 821401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.5ns 821416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 824903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 824934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10127014644606923046.key 824934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.7ns 824934 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.props15349033492865633382.smt2 824950 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.props4201448548503228415.smt2 824950 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.props1507450532116793309.smt2 824950 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.props2715476054756466533.smt2 824950 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.props7592253028650230083.smt2 824950 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.props2338124784060544221.smt2 824966 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.props7689271016249719114.smt2 824966 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.props12324229888318046959.smt2 824966 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.props15233270108286712232.smt2 824966 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.props13826647360416142892.smt2 824966 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.props12473813426717960421.smt2 824966 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.props10424705454609889379.smt2 824966 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.props11893128860673882136.smt2 824981 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.props4082600519988319264.smt2 824981 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.props5572992525161188802.smt2 824981 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.props16884043507187040850.smt2 824981 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.props13213122925183054453.smt2 824981 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.props12254844261679958175.smt2 824981 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.props7916121231650925591.smt2 824997 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.props10339424513465186588.smt2 824997 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.props17147199514790460042.smt2 825013 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.props4105830120865029574.smt2 825028 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.props6178777421664232736.smt2 825028 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.props10328947921789207406.smt2