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] | 0s | 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.004s | 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.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.004s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | 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.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
744883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7025617171836421606.key 744883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.8ns 744883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745212 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 745243 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 745243 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 745243 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 746431 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 750856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.98s 750872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7025617171836421606.key 750887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 750903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5296877644314449549.key 750903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177ns 750903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 754796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5296877644314449549.key 754796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 754811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10303073174071188846.key 754811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.1ns 754811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 758735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10303073174071188846.key 758735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 758735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16008399097131368794.key 758735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.8ns 758735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 762550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16008399097131368794.key 762550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 762550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3375110518396962252.key 762550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.3ns 762566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 766928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3375110518396962252.key 766928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 766943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12992301761040844772.key 766943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.1ns 766943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 770962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 770993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12992301761040844772.key 770993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 770993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2376346470180367639.key 770993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.6ns 770993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 774856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2376346470180367639.key 774856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 774872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2160546021452666961.key 774872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.4ns 774872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 778859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2160546021452666961.key 778859 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 778859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8730470024340978737.key 778859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.7ns 778859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 782751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8730470024340978737.key 782751 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 782751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9013255589065002485.key 782751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.2ns 782751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 786663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9013255589065002485.key 786663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 786663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17335829854265934510.key 786675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 625.6ns 786675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 790600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17335829854265934510.key 790600 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 790615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props12076378264435176992.key 790615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.7ns 790615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 794586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 794602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12076378264435176992.key 794602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 794618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16478097665463696489.key 794618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.9ns 794618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 798588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 798620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16478097665463696489.key 798620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 798620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10353076085349005663.key 798620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448ns 798620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 802622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10353076085349005663.key 802638 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 802638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9417636162765875497.key 802638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.5ns 802638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 806703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9417636162765875497.key 806703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 806734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14931299272465500958.key 806734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 532.4ns 806734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s 810704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14931299272465500958.key 810704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 810719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props18347834306569682199.key 810719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.9ns 810719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 814737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18347834306569682199.key 814737 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 814737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10061482737951418313.key 814737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.3ns 814737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 818817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10061482737951418313.key 818817 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 818833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props15797560419533412653.key 818833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.5ns 818833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 822805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 822820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15797560419533412653.key 822820 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 822836 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 822836 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 822836 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 822836 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 822836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2418634854461463363.key 822836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.5ns 822836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 826948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 826964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2418634854461463363.key 826964 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 826980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16716954895431917553.key 826980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.9ns 826980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 830779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 830795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16716954895431917553.key 830795 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 830811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10300223664856186884.key 830811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.9ns 830811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 834736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 834752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10300223664856186884.key 834767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 834767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props17329477112658413057.key 834767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.2ns 834767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 838629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 838645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17329477112658413057.key 838645 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 838645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15377040192877850152.key 838645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.3ns 838645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 842491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 842523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15377040192877850152.key 842523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 842961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3895551212328944219.key 842961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.4ns 842961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 846823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 846838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3895551212328944219.key 846838 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 846838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8914197641258309557.key 846838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413ns 846838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 850747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8914197641258309557.key 850747 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 850747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11016092663608458635.key 850747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.5ns 850747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 854640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11016092663608458635.key 854640 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 854655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props14815467365170967063.key 854655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 490.8ns 854655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 858563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props14815467365170967063.key 858563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 858563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14411710367354724674.key 858563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.1ns 858563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 862489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 862504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14411710367354724674.key 862504 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 862504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17062571014567547995.key 862504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.3ns 862504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 866477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 866493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17062571014567547995.key 866493 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 866508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15304405273433150870.key 866508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.2ns 866508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 870464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15304405273433150870.key 870464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 870464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1082873416217029630.key 870464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.5ns 870479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 874435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1082873416217029630.key 874435 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 874435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15990846494118692993.key 874435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.1ns 874435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 878422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 878438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15990846494118692993.key 878453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 878453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14810252126666333671.key 878453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.2ns 878453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 882393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 882409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14810252126666333671.key 882424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 882424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props14726050641239706245.key 882424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 419.1ns 882424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 886396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 886411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14726050641239706245.key 886411 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 886427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1776122065156287726.key 886427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.3ns 886427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 890335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 890351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1776122065156287726.key 890351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 890351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6876115688873271436.key 890351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.5ns 890366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 894290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 894306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6876115688873271436.key 894306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 894306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props18046522892809536754.key 894306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.3ns 894306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 898309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 898325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props18046522892809536754.key 898325 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 898340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11715006690290729275.key 898340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.9ns 898340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 902279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 902295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11715006690290729275.key 902295 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 902310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props9465790987396211331.key 902310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.5ns 902310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 906297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 906314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9465790987396211331.key 906314 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 906328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4719142138920318550.key 906328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.1ns 906328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 910315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 910330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4719142138920318550.key 910330 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 910330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10396398939952185403.key 910330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.8ns 910330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 914254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 914285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10396398939952185403.key 914285 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 914285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1483941271227078479.key 914285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229ns 914285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 918287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 918302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1483941271227078479.key 918302 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 918302 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 918302 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 918302 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 918318 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 918318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5616762629123119811.key 918318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.5ns 918318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 922273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s 922289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5616762629123119811.key 922289 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 922289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props14363905960026811874.key 922289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.9ns 922289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 926183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 926199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14363905960026811874.key 926199 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 926214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13039845423262829377.key 926214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420ns 926214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s 930170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13039845423262829377.key 930186 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 930186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1594453035205456168.key 930186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.7ns 930186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 934171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1594453035205456168.key 934171 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 934187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7510982926135431645.key 934187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.3ns 934187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 938174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7510982926135431645.key 938174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 938174 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.props14916097764470484616.smt2 938174 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.props11234486136274100755.smt2 938174 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.props16847081682998923186.smt2 938174 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.props8744840166717134810.smt2 938190 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.props9574534644017802255.smt2 938190 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.props6363858938658067009.smt2 938190 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.props15606856585517714655.smt2 938190 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.props8004600431132247225.smt2 938190 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.props2454815334289635355.smt2 938190 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.props3704154575610145904.smt2 938190 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.props18212537730413921528.smt2 938190 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.props8218837351736852357.smt2 938190 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.props16302484513705266777.smt2 938190 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.props2863099633706291222.smt2 938190 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.props2944423011440159175.smt2 938190 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.props10474585049458341874.smt2 938205 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.props17797954226407133022.smt2 938205 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.props17805692808378639626.smt2 938205 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.props12445090404995727377.smt2 938205 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.props14962689426221847232.smt2 938205 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.props13846322286753969843.smt2 938205 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.props17513708248805797597.smt2 938205 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.props8531607062712530124.smt2 938205 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.props1684557935897066463.smt2