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.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.003s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | 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.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.003s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.003s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.003s | 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.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
560733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props11037393032778374903.key 560733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns 560733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560920 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 560920 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 560920 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 560920 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 561500 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 565157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 565173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11037393032778374903.key 565173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 565204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props90069887690106050.key 565204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.5ns 565204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 568409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props90069887690106050.key 568425 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 568425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15915621605931056735.key 568425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.3ns 568425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 571709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15915621605931056735.key 571709 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 571709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props13238621497879129971.key 571709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.8ns 571724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 574977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13238621497879129971.key 574977 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.9ns 574992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9005314430122525203.key 574992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.8ns 574992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 578228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 578244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9005314430122525203.key 578244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 578260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16396512054038494007.key 578260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.2ns 578260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 581465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16396512054038494007.key 581465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 581481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props9727199671014548392.key 581481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 541.4ns 581481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 584749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9727199671014548392.key 584749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 584749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props11676555519727020666.key 584749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns 584765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 588047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11676555519727020666.key 588063 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 588063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7013384766255518665.key 588063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.1ns 588063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 591267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7013384766255518665.key 591283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 591283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15778955444289263125.key 591283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.5ns 591283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 594473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15778955444289263125.key 594473 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 594473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16693638362052940324.key 594488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.5ms 594519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 598226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 598242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16693638362052940324.key 598242 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 598242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8644542165599526470.key 598242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.2ns 598242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 601651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8644542165599526470.key 601651 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.4ns 601651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9542982930787670046.key 601651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 367.6ns 601651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 604857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 604872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9542982930787670046.key 604888 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 604888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5254632246257065964.key 604888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.1ns 604888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 608342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5254632246257065964.key 608342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 608342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props18054629218665092480.key 608342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.1ns 608358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 611594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props18054629218665092480.key 611594 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.8ns 611610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12526627318069090067.key 611610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.4ns 611610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 614815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12526627318069090067.key 614815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 614815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5904331086584083925.key 614815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510.5ns 614830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 618192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5904331086584083925.key 618192 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 618208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8791245492482052565.key 618208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.9ns 618223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 621538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8791245492482052565.key 621538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 621554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4065626897758363220.key 621554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.4ns 621554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 624946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4065626897758363220.key 624946 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 624962 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 624962 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 624962 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 624962 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 624962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8738934752175581148.key 624962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.9ns 624962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 628275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8738934752175581148.key 628275 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 628291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8432381857681737219.key 628291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.7ns 628291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 631623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8432381857681737219.key 631623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 631623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15485652060235653614.key 631623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.5ns 631638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 635047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15485652060235653614.key 635065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 635065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13391610037733176605.key 635065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns 635065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 638377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13391610037733176605.key 638377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 638377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16252453329447308058.key 638377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.9ns 638392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 641801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16252453329447308058.key 641801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 642238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8009243261523274448.key 642238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.8ns 642238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 645459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8009243261523274448.key 645459 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 645459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props328843379839642344.key 645459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.5ns 645459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 648867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props328843379839642344.key 648867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 648867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11022969956001915757.key 648867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.6ns 648883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 652182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11022969956001915757.key 652182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 652198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5321987543129036175.key 652198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.3ns 652198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 655605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5321987543129036175.key 655605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 655605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props11098081910762246332.key 655605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 655621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 659091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11098081910762246332.key 659091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 659091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props11644494936891117629.key 659107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.7ns 659107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 662688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11644494936891117629.key 662688 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 662688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10481579148989579369.key 662688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.3ns 662688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 666049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10481579148989579369.key 666049 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 666049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16292583928094413359.key 666049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.8ns 666065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 669536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16292583928094413359.key 669536 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 669552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2823787864810487487.key 669552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.7ns 669552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 672897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2823787864810487487.key 672897 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 672897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15779829693453732023.key 672897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.2ns 672913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 676493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15779829693453732023.key 676493 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 676493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7049698119462081396.key 676493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.2ns 676508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 679807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7049698119462081396.key 679807 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 679807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props12954928985494262861.key 679807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247ns 679822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 683294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12954928985494262861.key 683294 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 683294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9124024373110447316.key 683294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.7ns 683310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 686608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9124024373110447316.key 686608 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 686608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5216132476743414170.key 686608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.5ns 686608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 690078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5216132476743414170.key 690094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 690094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4552072292843576362.key 690094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.1ns 690094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 693410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4552072292843576362.key 693410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 693410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3203529589715211431.key 693410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.5ns 693410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 696897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3203529589715211431.key 696897 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 696897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6658451520259094334.key 696897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.6ns 696913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 700446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6658451520259094334.key 700446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 700461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props6023837702898225784.key 700461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.5ns 700461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 703838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6023837702898225784.key 703838 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 703838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13536506038355132764.key 703838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205ns 703854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 707402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13536506038355132764.key 707402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 707418 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 707418 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 707418 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 707418 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 707418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8316826573188953961.key 707418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.6ns 707418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 711124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8316826573188953961.key 711124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 711139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props11707592835602371773.key 711139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.3ns 711139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 714641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11707592835602371773.key 714641 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 714641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5353656285508678393.key 714641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.2ns 714641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 718268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5353656285508678393.key 718268 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 718284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props18276914211120500793.key 718284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.8ns 718284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 721818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props18276914211120500793.key 721818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 721836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17781663500340765558.key 721836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.5ns 721836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 725211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17781663500340765558.key 725211 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 725211 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.props9799698054613490996.smt2 725226 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.props17245558752178066784.smt2 725226 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.props11140761304742335107.smt2 725226 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.props14732050570344045761.smt2 725226 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.props113848393219002944.smt2 725226 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.props3682007188192491481.smt2 725226 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.props5794603286289940965.smt2 725242 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.props9752584526761747109.smt2 725242 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.props4693868492866897414.smt2 725242 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.props3608283738583634229.smt2 725242 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.props5565353420059875171.smt2 725257 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.props15118856378487889816.smt2 725257 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.props11941700748382844805.smt2 725257 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.props12895415867642602635.smt2 725257 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.props8615022106302830891.smt2 725257 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.props9715421754494522903.smt2 725273 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.props18029592807250254647.smt2 725273 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.props10968137726137550694.smt2 725273 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.props1673048604295587095.smt2 725273 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.props11453482343627695959.smt2 725273 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.props16694212388663108080.smt2 725289 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.props4680093234048098999.smt2 725289 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.props15812971729193588627.smt2 725289 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.props2201512154756021051.smt2