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.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.005s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.008s | 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.005s | 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.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.003s | 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.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
692529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17120205646565242156.key 692529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.4ns 692545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692716 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 692716 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 692716 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 692716 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 693357 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 697453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 697484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17120205646565242156.key 697484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25ns 697500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6024089344850141973.key 697500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.2ns 697516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 700924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6024089344850141973.key 700940 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27ns 700940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13331929094361686497.key 700940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.8ns 700940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 704412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13331929094361686497.key 704412 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 704412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props275288600004793408.key 704427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 556.6ns 704427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 707929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props275288600004793408.key 707929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 707945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props10412002486851387454.key 707945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.2ns 707945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 711511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10412002486851387454.key 711511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 711526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17513210589900227620.key 711526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203ns 711526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 715001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17513210589900227620.key 715001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 715001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6804438142549067090.key 715001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.1ns 715001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 718566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6804438142549067090.key 718566 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 718581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props17038238777878735802.key 718581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.9ns 718581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 722069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17038238777878735802.key 722069 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 722084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14223063923311835613.key 722084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.6ns 722084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 725680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14223063923311835613.key 725680 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 725695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14523345115334069612.key 725695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms 725695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 729150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14523345115334069612.key 729150 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 729165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props9309971463675455078.key 729165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.2ns 729165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 732824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props9309971463675455078.key 732824 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 732840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props719145530101848874.key 732840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.6ns 732840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 736404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props719145530101848874.key 736404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 736404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5228660148435505312.key 736404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.7ns 736420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 740063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5228660148435505312.key 740063 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 740063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1987396932335329630.key 740063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.2ns 740063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 743629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1987396932335329630.key 743644 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 743644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15524935636119103560.key 743644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.1ns 743644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 747272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15524935636119103560.key 747272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 747287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16648049521576006448.key 747287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.5ns 747287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 750915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16648049521576006448.key 750915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 750915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12639499688708310791.key 750915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.9ns 750931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 754497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12639499688708310791.key 754497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.4ns 754497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props676563451063321079.key 754497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.7ns 754512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 758358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props676563451063321079.key 758358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 758374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props16271929240727194861.key 758374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.1ns 758374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 762254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16271929240727194861.key 762254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 762254 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762254 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762254 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762254 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1362391437872043252.key 762254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 541.6ns 762269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 765725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1362391437872043252.key 765725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 765725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2478074468108011539.key 765725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 481.8ns 765741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 769134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2478074468108011539.key 769134 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 769150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17069444960475684072.key 769150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns 769150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 772606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17069444960475684072.key 772606 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 772621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8820164766786244204.key 772621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.9ns 772621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 776093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8820164766786244204.key 776093 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 776108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props8593969028964724975.key 776108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 285.6ns 776108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 779595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8593969028964724975.key 779595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 780048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props13493594108578942572.key 780048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.9ns 780048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 783441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props13493594108578942572.key 783441 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 783441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6749278852144705130.key 783441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.7ns 783441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 786974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6749278852144705130.key 786974 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 786989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17469518451337408593.key 786989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 490.5ns 786989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 790413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17469518451337408593.key 790413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 790413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5045503999875674737.key 790413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.8ns 790413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 794040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 794055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5045503999875674737.key 794055 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 794071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6029663976823387472.key 794071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.4ns 794071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 797653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6029663976823387472.key 797653 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 797669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6811387071675051188.key 797669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 911.3ns 797669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 801279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 801294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6811387071675051188.key 801294 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 801294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6114098524559503721.key 801294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.8ns 801311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 804767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6114098524559503721.key 804767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 804783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7971257687671573539.key 804783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.2ns 804783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 808269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 808300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7971257687671573539.key 808300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 808300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1778473230983950064.key 808300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.5ns 808300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 811943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1778473230983950064.key 811943 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 811959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14854751103093826000.key 811959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.7ns 811959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 815383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 815398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14854751103093826000.key 815414 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 815414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11062787632334089750.key 815414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 679.1ns 815414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 819040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 819056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11062787632334089750.key 819056 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 819056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11827387116646576319.key 819056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.1ns 819056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 822526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 822542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11827387116646576319.key 822542 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 822557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props7712775879723674203.key 822557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277ns 822557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 826263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 826278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props7712775879723674203.key 826278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 826294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9254832242077582125.key 826294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.4ns 826294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 829936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9254832242077582125.key 829936 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 829952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props8043511491008178845.key 829952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.1ns 829952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 833532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8043511491008178845.key 833532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 833547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1411350578869579884.key 833547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.7ns 833547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 837190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1411350578869579884.key 837190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 837205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10459214310949276581.key 837205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.5ns 837205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 840723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10459214310949276581.key 840723 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 840739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17844608775528363405.key 840739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.4ns 840739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 844430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17844608775528363405.key 844430 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 844430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props783050384764453732.key 844430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.4ns 844430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 847931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 847947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props783050384764453732.key 847947 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 847947 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 847947 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 847947 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 847947 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 847947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props891583713099023746.key 847947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.2ns 847963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 851530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 851545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props891583713099023746.key 851561 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 851561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7210179706906808392.key 851561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.4ns 851561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 855048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 855063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7210179706906808392.key 855063 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 855079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props133614934020035155.key 855079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.3ns 855079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 858769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props133614934020035155.key 858769 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 858769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7521619019069937402.key 858769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.9ns 858769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 862459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 862475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7521619019069937402.key 862475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 862491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13408345592699521510.key 862491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.8ns 862491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 866024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 866039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13408345592699521510.key 866039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 866055 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.props12696874823528384192.smt2 866055 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.props1393411525255215199.smt2 866055 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.props17493158596280876777.smt2 866055 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.props14164461735034983035.smt2 866071 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.props5307560299997463058.smt2 866071 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.props4696775932388219471.smt2 866071 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.props2385363048171821702.smt2 866071 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.props15671401425131174807.smt2 866071 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.props15410320407560374288.smt2 866071 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.props12960920170614568024.smt2 866071 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.props15442152934035542107.smt2 866071 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.props7940185333997810333.smt2 866071 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.props11497968561510395281.smt2 866086 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.props4308683770478908130.smt2 866086 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.props12817868018612907077.smt2 866086 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.props2023344724077729870.smt2 866086 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.props18329014637726837279.smt2 866086 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.props11216524295304771589.smt2 866086 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.props17290364300188545442.smt2 866086 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.props14971233978799253352.smt2 866102 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.props8644243668930757304.smt2 866102 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.props13548946414134588337.smt2 866102 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.props11150123603725129218.smt2 866102 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.props16557226289322320290.smt2