Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.005s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.003s | 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.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.011s | 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
686889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8239133766951054379.key 686889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192ns 686889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 687076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 687076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 687076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 687764 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 691814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 691830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8239133766951054379.key 691830 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 691861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props18195340369702463318.key 691861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.1ns 691861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 695613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props18195340369702463318.key 695613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 695629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10703735542301347000.key 695629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 752.5ns 695629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 699522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10703735542301347000.key 699522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 699538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7815479261900656506.key 699538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.2ns 699538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 702883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7815479261900656506.key 702883 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 702899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14389233052502243638.key 702899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.7ns 702899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 706275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14389233052502243638.key 706290 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 706290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10849008039005721100.key 706290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.5ns 706290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 709698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10849008039005721100.key 709698 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 709698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7379277368679574198.key 709698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154ns 709698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 713139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7379277368679574198.key 713139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.9ns 713139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6437988406248533081.key 713139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.5ns 713154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 716766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6437988406248533081.key 716766 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 716766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1276575483689347070.key 716766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.3ns 716766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 720457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1276575483689347070.key 720457 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 720473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15257027497584538041.key 720473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 354.3ns 720473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 723912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15257027497584538041.key 723912 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 723928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5887157052063884588.key 723928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.1ns 723928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 727335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5887157052063884588.key 727335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 727335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7389173738271967297.key 727335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.1ns 727351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 730947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7389173738271967297.key 730947 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 730963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props11638950021595367168.key 730963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519.1ns 730963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 734448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11638950021595367168.key 734448 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 734448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13698867745901164153.key 734448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.4ns 734448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 738091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13698867745901164153.key 738091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 738091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11752179890444459704.key 738091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.8ns 738107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 741693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11752179890444459704.key 741693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 741710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1327760091511293275.key 741710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.5ns 741710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 745212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1327760091511293275.key 745212 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 745212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props17007630158162016835.key 745212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.8ns 745227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 748761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17007630158162016835.key 748761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 748776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16031035931366505358.key 748776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.4ns 748776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 752436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16031035931366505358.key 752436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 752436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10543933280498944223.key 752436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.8ns 752451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 755876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10543933280498944223.key 755892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 755892 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 755892 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 755892 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 755892 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 755892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16234564572005777726.key 755892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.2ns 755892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 759472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16234564572005777726.key 759472 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 759472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16690868389022396570.key 759472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.8ns 759472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 763208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16690868389022396570.key 763208 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 763208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props8121359608421724833.key 763208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 408ns 763224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 766899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props8121359608421724833.key 766899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 766915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16919951753740313733.key 766915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.3ns 766915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 770530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 770545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16919951753740313733.key 770545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 770561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props18368816720604560967.key 770561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.3ns 770561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 774204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props18368816720604560967.key 774204 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 774595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4378195069000478744.key 774595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.5ns 774611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 778426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4378195069000478744.key 778441 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 778457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props18040315087429552720.key 778457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 624.7ns 778457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 782131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props18040315087429552720.key 782131 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 782131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10207303476086623666.key 782131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.1ns 782147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 785820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10207303476086623666.key 785836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 785836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2685571613880167167.key 785836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.7ns 785836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 789137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 789152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2685571613880167167.key 789152 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 789168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props11600772372240988356.key 789168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333ns 789168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 792609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11600772372240988356.key 792609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 792609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1511928709804046326.key 792609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.8ns 792609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 796172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 796188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1511928709804046326.key 796188 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 796203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4493535820544274854.key 796203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.4ns 796203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 799752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4493535820544274854.key 799752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 799752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7648531999404106996.key 799752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.5ns 799752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 803237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7648531999404106996.key 803237 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 803237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15796407998672827506.key 803237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.5ns 803253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 806755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15796407998672827506.key 806755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 806755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9398629511590669870.key 806755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.1ns 806755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 810210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9398629511590669870.key 810210 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 69.5ns 810226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15651258714476284407.key 810226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.9ns 810226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 813634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 813650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15651258714476284407.key 813650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 813666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4636550215656203486.key 813666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.7ns 813666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 817247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4636550215656203486.key 817247 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 817263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6589710346947707768.key 817263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.9ns 817263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 820843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 820874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6589710346947707768.key 820874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 820874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props12642830288801551732.key 820874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.5ns 820890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 824518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 824534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12642830288801551732.key 824549 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 824549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16830021825703711931.key 824549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.5ns 824549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 827880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 827896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16830021825703711931.key 827896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 827896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props10597056394010816472.key 827911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 662.8ns 827911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 831398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props10597056394010816472.key 831398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 831414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8997256407200009556.key 831414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318ns 831414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 834948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 834980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8997256407200009556.key 834980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 834980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15260411309354729763.key 834980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 698ns 834995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 838387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 838403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15260411309354729763.key 838403 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 838419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1346404810374612207.key 838419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 973.9ns 838419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 841874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1346404810374612207.key 841890 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 841890 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 841890 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 841890 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 841890 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 841890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5390777844186566645.key 841890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.4ns 841890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 845393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 845409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5390777844186566645.key 845409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 845409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6075757892492659114.key 845409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.6ns 845409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 848817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 848832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6075757892492659114.key 848832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 848832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props4860047263282070933.key 848832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214ns 848832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 852195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 852320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4860047263282070933.key 852320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 852320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5644242044874644704.key 852320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.5ns 852335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 855651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 855666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5644242044874644704.key 855666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 855682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17665466856447248187.key 855682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.3ns 855682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 859075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 859090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17665466856447248187.key 859106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 859106 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.props12860754603938966516.smt2 859106 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.props17658092754013242724.smt2 859106 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.props7505750233753279816.smt2 859106 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.props12604560360996361293.smt2 859122 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.props8424070647732767969.smt2 859122 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.props16497463259598184227.smt2 859122 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.props9476275624252081086.smt2 859122 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.props16485561674700375121.smt2 859137 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.props11861417719690067088.smt2 859137 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.props14126437998940260857.smt2 859137 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.props15499931810240275223.smt2 859137 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.props12179651578887063180.smt2 859153 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.props6979409604051721133.smt2 859153 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.props10924409979834724694.smt2 859153 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.props8033740498496595044.smt2 859153 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.props4059824577468395509.smt2 859153 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.props10618503107501693360.smt2 859153 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.props14084548664768784744.smt2 859168 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.props2065270157442467629.smt2 859168 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.props5027625588224995332.smt2 859168 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.props14035015486887569182.smt2 859168 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.props17255400088090988724.smt2 859168 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.props4510993633712238276.smt2 859168 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.props16921399127820517789.smt2