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.002s | 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.001s | 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.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.003s | 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.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.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.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
795665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3943958127234029474.key 795665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.4ns 795665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 795837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 795837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 795837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 796478 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 801247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s 801278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3943958127234029474.key 801278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 801294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15710718049246431689.key 801294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.8ns 801310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 805578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15710718049246431689.key 805593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 805593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16884800740662162964.key 805593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.4ns 805593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 809802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16884800740662162964.key 809802 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 809818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5065611209777966421.key 809818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 809818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 813945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 813976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5065611209777966421.key 813976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 813976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15144279321139925007.key 813976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.5ns 813976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 818215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15144279321139925007.key 818215 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 818215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5712198871234353912.key 818215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.7ns 818230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 822451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 822467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5712198871234353912.key 822467 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 822467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17352343394314715332.key 822467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.4ns 822467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 826672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 826703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17352343394314715332.key 826703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 826703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9159594500330854244.key 826703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.1ns 826703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 830894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 830909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9159594500330854244.key 830909 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 830925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4054295302748934506.key 830925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.3ns 830925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 835147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 835256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4054295302748934506.key 835256 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 835272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17476468247311327684.key 835272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143ns 835272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 839542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 839558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17476468247311327684.key 839558 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 839558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7968012651729202652.key 839558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.4ns 839558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 843810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 843825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7968012651729202652.key 843825 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 843825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17846229014523948417.key 843841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305ns 843841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 848250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 848266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17846229014523948417.key 848266 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 848266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props7262913422531982739.key 848266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.4ns 848281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 852736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 852767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props7262913422531982739.key 852767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 852767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props742044298291317553.key 852767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.4ns 852767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 857192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 857208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props742044298291317553.key 857208 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 857208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10773638383301243447.key 857208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 376.5ns 857208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 861648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10773638383301243447.key 861648 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 861663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14792335672324291177.key 861663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.9ns 861663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 865994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14792335672324291177.key 865994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 865994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5002743268651383674.key 865994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.4ns 865994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 870326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5002743268651383674.key 870326 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.8ns 870326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14423168553730001264.key 870326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.8ns 870341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 874609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14423168553730001264.key 874625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 874625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3566771315269144324.key 874625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.1ns 874625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 878940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 878956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3566771315269144324.key 878956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 878956 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 878956 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 878956 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 878956 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 878972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15596100641971261620.key 878972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.9ns 878972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 883192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 883208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15596100641971261620.key 883224 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 883224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2505667996615908188.key 883224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.1ns 883224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 887602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 887617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2505667996615908188.key 887617 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 887617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props2224378948463176470.key 887617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns 887617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 891808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 891823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2224378948463176470.key 891839 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 891839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7455992630326835747.key 891839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.9ns 891839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 896077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 896093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7455992630326835747.key 896093 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 896109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4422218464264694337.key 896109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.5ns 896109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 900551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4422218464264694337.key 900551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 900879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9577472379057333490.key 900879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238ns 900879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 905163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 905178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9577472379057333490.key 905178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 905194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14972789699510170341.key 905194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 397.2ns 905194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 909682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14972789699510170341.key 909682 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 909698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11136098519380387784.key 909698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.2ns 909698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 913982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11136098519380387784.key 913982 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 913982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9815103397277958466.key 913982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.2ns 913997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 918281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 918297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9815103397277958466.key 918297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 918297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5908180819131528978.key 918297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.4ns 918313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 922722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 922754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5908180819131528978.key 922754 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 922754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7387556732962274295.key 922754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.1ns 922754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 927210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 927226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7387556732962274295.key 927226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 927226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7614270021044866374.key 927226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.6ns 927241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 931683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 931698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7614270021044866374.key 931698 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 931714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props264284485728697693.key 931714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.7ns 931714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 936048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 936151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props264284485728697693.key 936151 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 936157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16289086666976532902.key 936157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.9ns 936157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 940537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 940552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16289086666976532902.key 940552 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 940552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props6999748405594835799.key 940552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.5ns 940552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 944930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 944961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6999748405594835799.key 944961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 944961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props599977704999211341.key 944961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.7ns 944961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 949402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 949417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props599977704999211341.key 949417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 949417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16017514112627837378.key 949417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.3ns 949417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 953795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 953810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16017514112627837378.key 953810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 953826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9166864984844669715.key 953826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.2ns 953826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 958142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 958158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9166864984844669715.key 958158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 958158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14756025317801949266.key 958158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.2ns 958158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 962583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 962599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14756025317801949266.key 962615 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 962615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12921666157380346684.key 962615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.3ns 962615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 966914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 966929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12921666157380346684.key 966945 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 966945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16654809520172306671.key 966945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.8ns 966945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 971370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 971385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16654809520172306671.key 971401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 971417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16492129174034874954.key 971417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 593ns 971417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s 975935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16492129174034874954.key 975935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 975951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props6104633425847481399.key 975951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 412ns 975951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 980315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6104633425847481399.key 980315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 980315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props2037744157737243766.key 980330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.3ns 980330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 984583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2037744157737243766.key 984583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 984583 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 984583 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 984583 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 984583 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 984583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16420024634294840225.key 984583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153ns 984583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 988867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 988883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16420024634294840225.key 988883 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 988898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3448762842373385011.key 988898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.8ns 988898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 993230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 993246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3448762842373385011.key 993246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 993246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12285737775317946571.key 993246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.2ns 993261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 997577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 997592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12285737775317946571.key 997592 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 997592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props282834191846794726.key 997592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465ns 997608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1002064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 1002080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props282834191846794726.key 1002080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 1002095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14351032860923181893.key 1002095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.2ns 1002095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1006520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 1006551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14351032860923181893.key 1006551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1006551 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.props2160705117879987465.smt2 1006551 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.props3845946352980834831.smt2 1006551 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.props10470275076810957968.smt2 1006551 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.props5381393008594506738.smt2 1006567 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.props17414324234939436807.smt2 1006567 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.props4448347549962349014.smt2 1006567 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.props4683577591746270547.smt2 1006567 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.props13274411955908359980.smt2 1006567 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.props520203989733896297.smt2 1006567 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.props14934554666632368287.smt2 1006567 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.props10130420550620114011.smt2 1006567 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.props4482297014128348307.smt2 1006582 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.props13834387703526932800.smt2 1006582 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.props3500112260578944223.smt2 1006582 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.props9351804594541421625.smt2 1006582 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.props1165545633855566031.smt2 1006582 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.props2031147505890090801.smt2 1006582 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.props1668487073801130653.smt2 1006582 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.props11226260549554645787.smt2 1006582 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.props7080796073948007712.smt2 1006582 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.props12561966620405323155.smt2 1006598 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.props15889854569146586113.smt2 1006598 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.props6826870324950101630.smt2 1006598 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.props2424187357845578066.smt2