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.003s | 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.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.012s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.011s | 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.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | 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.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
926941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props608282915972982213.key 926941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.4ns 926941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 927169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 927169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 927169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 927169 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 927879 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 933542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.6s 933573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props608282915972982213.key 933573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 933641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15619244958277896852.key 933641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.8ns 933641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 938650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15619244958277896852.key 938650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 938650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3510340741272057984.key 938650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 438.2ns 938650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 943689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 943704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3510340741272057984.key 943720 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 943720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16850852653915627460.key 943720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.2ns 943720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 948996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 949012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16850852653915627460.key 949012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 949027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17758363973575592201.key 949027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164ns 949027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 954031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17758363973575592201.key 954031 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 954046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1574860532326275480.key 954046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.6ns 954046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 958942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 958958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1574860532326275480.key 958958 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 958958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1345685004459095370.key 958973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.1ns 958973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 963868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 963899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1345685004459095370.key 963899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 963899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3717316964574851811.key 963899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.4ns 963899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 969216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 969247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3717316964574851811.key 969247 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 969247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props638380583432084242.key 969247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns 969247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 974228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 974244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props638380583432084242.key 974244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 974260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5392079961122666851.key 974260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.4ns 974260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 979253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 979268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5392079961122666851.key 979268 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 979284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2408692323581253495.key 979284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.6ns 979284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 984359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2408692323581253495.key 984375 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 984390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8918634640713447142.key 984390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 605.6ns 984390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 989680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8918634640713447142.key 989680 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 989696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4224125810116521673.key 989696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.51ms 989696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 994664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4224125810116521673.key 994664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 994680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10414499699674523593.key 994680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.3ns 994680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 999738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 999769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10414499699674523593.key 999769 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 999769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9477288318394457066.key 999769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.6ns 999769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1004805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1004836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9477288318394457066.key 1004836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1004852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props18000247796818208171.key 1004852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 612.9ns 1004867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1010049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1010080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18000247796818208171.key 1010080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1010080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8959901763037707546.key 1010080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.1ns 1010080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1015075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1015091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8959901763037707546.key 1015091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.1ns 1015091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props5331962733176510880.key 1015091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.1ns 1015106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1020055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1020070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5331962733176510880.key 1020070 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1020070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10758892944900722204.key 1020070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.6ns 1020070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1025036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1025067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10758892944900722204.key 1025067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.3ns 1025067 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1025067 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1025067 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1025083 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1025083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16466100455975378839.key 1025083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.5ns 1025083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1030323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 1030338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16466100455975378839.key 1030338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1030338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7808730724494366774.key 1030338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.5ns 1030338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1035336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1035351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7808730724494366774.key 1035351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1035351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13507420238447448124.key 1035351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.7ns 1035367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1040242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1040258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13507420238447448124.key 1040258 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1040273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11869328067234729500.key 1040273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.3ns 1040273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1045245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11869328067234729500.key 1045245 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1045245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2089443489915092814.key 1045245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 466.7ns 1045245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1050719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 1050751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2089443489915092814.key 1050751 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1051107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5698023521803494125.key 1051107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.2ns 1051107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1055985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1056000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5698023521803494125.key 1056000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1056016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5990441730465594879.key 1056016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.7ns 1056016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1061096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5990441730465594879.key 1061096 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1061096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16472830040540072052.key 1061096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 393.5ns 1061096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1066073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 1066089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16472830040540072052.key 1066089 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.4ns 1066089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2665181931767297577.key 1066089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245ns 1066089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1071315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1071331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2665181931767297577.key 1071331 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1071346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6342143328862142402.key 1071346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.7ns 1071346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1076855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 1076887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6342143328862142402.key 1076887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.1ns 1076887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1209381696237743540.key 1076887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.2ns 1076887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1081891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1081907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1209381696237743540.key 1081923 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1081923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15615863700166125205.key 1081923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.6ns 1081923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1087000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1087016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15615863700166125205.key 1087016 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1087032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12977138516989396778.key 1087032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.7ns 1087032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1092166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1092182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12977138516989396778.key 1092182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1092182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15158448409926214274.key 1092182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.4ns 1092197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1097733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 1097765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15158448409926214274.key 1097765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1097765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17989318465340342172.key 1097765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.4ns 1097765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1102870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1102885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17989318465340342172.key 1102901 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1102901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8264584791937501102.key 1102901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.2ns 1102901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1107897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1107913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8264584791937501102.key 1107913 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1107928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props645130093746866700.key 1107928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.5ns 1107928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1112834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 1112850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props645130093746866700.key 1112850 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1112865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8389707182260359399.key 1112865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.6ns 1112865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1117838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 1117854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8389707182260359399.key 1117870 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1117885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5127110158448005422.key 1117885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.6ns 1117885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1123402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 1123433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5127110158448005422.key 1123433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1123433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10542401602164361462.key 1123433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.5ns 1123433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1128413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1128429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10542401602164361462.key 1128429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1128445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props382280085290373874.key 1128445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.8ns 1128445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1133374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1133405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props382280085290373874.key 1133405 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1133405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6520889868615384886.key 1133405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.5ns 1133405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1138401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1138432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6520889868615384886.key 1138432 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1138432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3361383633132187737.key 1138432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.9ns 1138432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1143405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1143420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3361383633132187737.key 1143420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1143420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13276763461993972828.key 1143420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226ns 1143420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1148543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1148559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13276763461993972828.key 1148559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1148559 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1148559 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1148559 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1148559 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1148574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15430529303709540067.key 1148574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.7ns 1148574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1153619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1153635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15430529303709540067.key 1153635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1153635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props14089301231894882460.key 1153635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 328.3ns 1153651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1158627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1158658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14089301231894882460.key 1158658 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.5ns 1158658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props4687726349724284548.key 1158658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.2ns 1158658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1163690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1163706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4687726349724284548.key 1163706 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.6ns 1163721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props15763328463522766764.key 1163721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.2ns 1163721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1168855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1168871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15763328463522766764.key 1168871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1168886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4766439414526319578.key 1168886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.5ns 1168886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1173921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1173937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4766439414526319578.key 1173937 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1173937 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.props6218392356032061163.smt2 1173952 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.props14133529737755922463.smt2 1173952 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.props1554192301753674339.smt2 1173952 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.props1031426896608618559.smt2 1173952 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.props17777448414880843633.smt2 1173952 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.props2118794254089485828.smt2 1173952 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.props8055699246658393129.smt2 1173952 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.props14324608905194932988.smt2 1173952 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.props5276155925206021847.smt2 1173968 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.props11625165175347397675.smt2 1173968 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.props13929085363699766978.smt2 1173968 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.props3865532381186932254.smt2 1173968 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.props15895620912336863146.smt2 1173968 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.props4899378127485496502.smt2 1173968 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.props5060709115565608228.smt2 1173968 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.props14201121249666214724.smt2 1173985 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.props3726913142504666840.smt2 1173986 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.props2936008261840776125.smt2 1173988 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.props8188676300206915034.smt2 1173989 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.props1827513459331549878.smt2 1173993 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.props8212652999380816642.smt2 1174009 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.props5738431927298318795.smt2 1174022 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.props1723094799729413425.smt2 1174024 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.props3160599703931395588.smt2