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.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | 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.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | 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.003s | 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
923963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2818735116967417763.key 923963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.4ns 923963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 924135 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 924135 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 924135 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 924135 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 924787 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 930268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.31s 930284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2818735116967417763.key 930284 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 930346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10709296945075102003.key 930346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.4ns 930346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 935237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 935253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10709296945075102003.key 935253 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 935268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props2533169618405714576.key 935268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.5ns 935268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 940208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 940224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2533169618405714576.key 940239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 940239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6102898680343757163.key 940239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.6ns 940239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 945204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 945220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6102898680343757163.key 945220 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 945220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17396858617606688185.key 945220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.3ns 945236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 950224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 950239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17396858617606688185.key 950239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 950255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props2779821417456905796.key 950255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.8ns 950255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 955310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props2779821417456905796.key 955310 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 955325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10688056549189821234.key 955325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.5ns 955325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 960375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10688056549189821234.key 960391 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 960391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4869765812308188782.key 960391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.8ns 960391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 965420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 965435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4869765812308188782.key 965435 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 965451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14503747856657629200.key 965451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.4ns 965451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 970525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 970541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14503747856657629200.key 970541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 970541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5845562606526202773.key 970541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.3ns 970557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 975679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5845562606526202773.key 975679 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 975679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2592864511013021214.key 975679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.9ns 975679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 980805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2592864511013021214.key 980805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 980820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props18340989370697637337.key 980820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 516.9ns 980820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 985876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 985892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props18340989370697637337.key 985892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 985892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1036940284921718128.key 985892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 384.4ns 985892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 991052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 991067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1036940284921718128.key 991067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 991067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16936063308742736529.key 991067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145ns 991067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 996149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 996165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16936063308742736529.key 996165 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 996165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6400475550813016161.key 996180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.1ns 996180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1001230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1001246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6400475550813016161.key 1001262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1001262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11836209237092030466.key 1001262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.7ns 1001262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1006369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1006400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11836209237092030466.key 1006400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14ns 1006400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props1278460801127682234.key 1006400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.9ns 1006400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1011455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1011471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1278460801127682234.key 1011471 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.2ns 1011487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15810840628694664780.key 1011487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.9ns 1011487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1016489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1016504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15810840628694664780.key 1016504 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1016504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17333307233767307603.key 1016520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 540.1ns 1016520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1021594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1021610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17333307233767307603.key 1021610 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1021610 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1021610 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1021610 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1021610 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1021610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props719864564720244523.key 1021610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.2ns 1021625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1026572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1026588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props719864564720244523.key 1026588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1026603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6539708115221424595.key 1026603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.4ns 1026603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1031686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1031717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6539708115221424595.key 1031717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1031717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9478709910703001961.key 1031717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 395.2ns 1031717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1036756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1036787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9478709910703001961.key 1036787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1036787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4952512141732986965.key 1036787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.8ns 1036787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1041792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1041807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4952512141732986965.key 1041807 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1041807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props1275431569936208831.key 1041823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.7ns 1041823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1046847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1046862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1275431569936208831.key 1046862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1047216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4505062779935559935.key 1047231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.4ns 1047231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1052257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1052272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4505062779935559935.key 1052272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1052272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16336898287056375527.key 1052272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.2ns 1052288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1057301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1057317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16336898287056375527.key 1057317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1057333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props198849339032662952.key 1057333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.3ns 1057333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1062384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1062400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props198849339032662952.key 1062400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1062415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3421446680703639650.key 1062415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.8ns 1062415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1067539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1067571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3421446680703639650.key 1067571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1067571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8774858021450058847.key 1067571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.4ns 1067571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1072685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1072700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8774858021450058847.key 1072700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.3ns 1072700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7667559973765499612.key 1072700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 768.8ns 1072700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1077737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1077753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7667559973765499612.key 1077753 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1077753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6170938649909616147.key 1077753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.1ns 1077769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1082846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1082861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6170938649909616147.key 1082877 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1082877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12548925819699538350.key 1082877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.8ns 1082877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1087998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1088014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12548925819699538350.key 1088014 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1088029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2733577857605880446.key 1088029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.8ns 1088029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1092963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1092979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2733577857605880446.key 1092979 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1092979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8724418203199346579.key 1092979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 445.8ns 1092994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1098067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1098085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8724418203199346579.key 1098085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1098085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2897239076962905563.key 1098085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.8ns 1098085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1103132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1103163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2897239076962905563.key 1103163 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1103163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16471672435411445866.key 1103163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.7ns 1103163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1108171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1108187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16471672435411445866.key 1108187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1108187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5621227289267634446.key 1108187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.7ns 1108187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1113154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1113218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5621227289267634446.key 1113220 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1113224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13301569438171855416.key 1113225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.6ns 1113227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1118192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 1118208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13301569438171855416.key 1118208 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1118208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15402138250168286565.key 1118208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459ns 1118208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1123204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1123219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15402138250168286565.key 1123235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1123235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7351304567852734505.key 1123235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.4ns 1123235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1128246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1128277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7351304567852734505.key 1128277 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1128277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props612785055712790533.key 1128277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.2ns 1128277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1133291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1133307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props612785055712790533.key 1133307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1133322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11632118091193572558.key 1133322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168ns 1133322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1138382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1138398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11632118091193572558.key 1138398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1138414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12370985299175248937.key 1138414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.8ns 1138414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1143502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1143518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12370985299175248937.key 1143518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1143534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1143534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1143534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1143534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1143534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16689725994906147436.key 1143534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.6ns 1143534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1148635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1148650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16689725994906147436.key 1148650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1148666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12132000449152178017.key 1148666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.6ns 1148666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1153789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1153806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12132000449152178017.key 1153806 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1153820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14179069460593731528.key 1153820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.9ns 1153820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1158935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1158983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14179069460593731528.key 1158985 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1158985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props900863746135081391.key 1158985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.2ns 1158985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1164146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1164162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props900863746135081391.key 1164162 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1164162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9321345479428503831.key 1164162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.3ns 1164162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1169359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 1169375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9321345479428503831.key 1169375 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.3ns 1169375 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.props1826311597869537809.smt2 1169375 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.props5624994977952915737.smt2 1169391 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.props2279658325387562923.smt2 1169391 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.props8998474456126334395.smt2 1169391 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.props5716738054340683007.smt2 1169391 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.props10992283256012755656.smt2 1169391 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.props12602044799537359530.smt2 1169391 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.props2738300228078210351.smt2 1169391 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.props11412154026498978904.smt2 1169406 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.props8635744745765760333.smt2 1169406 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.props10891977186907890178.smt2 1169406 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.props10223418423724218205.smt2 1169406 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.props13113820089303342699.smt2 1169406 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.props5026514368146467603.smt2 1169406 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.props6862295772459682076.smt2 1169406 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.props7600735716012691955.smt2 1169422 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.props14229165473466757325.smt2 1169422 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.props11661528456131310389.smt2 1169422 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.props11338569043237781622.smt2 1169422 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.props12583904644757553778.smt2 1169422 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.props7497364352717152407.smt2 1169422 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.props10258014096487574291.smt2 1169422 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.props6870226204815290351.smt2 1169437 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.props4075991109873017694.smt2