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.003s | 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] | 0s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.006s | 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] | 0s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | 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
711815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props1264382434386374949.key 711815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.1ns 711815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712003 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 712003 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 712003 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 712003 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 712551 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 716741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 716757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1264382434386374949.key 716757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 716773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props4551732394809866957.key 716773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256ns 716773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 720556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4551732394809866957.key 720556 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 720572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11087287165432535117.key 720572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.2ns 720574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 724403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11087287165432535117.key 724403 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 724403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props14483719955231527408.key 724403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234ns 724403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 728264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props14483719955231527408.key 728264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 728279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17765787949946180067.key 728279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.2ns 728279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 732157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17765787949946180067.key 732157 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 732172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props769875553973105167.key 732172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.7ns 732172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 736051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props769875553973105167.key 736051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 736066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10153146225839334044.key 736066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140ns 736066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 739990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10153146225839334044.key 739990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 739990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props14148847526323235957.key 739990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.5ns 739990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 743945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14148847526323235957.key 743961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 743961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1151280034340671565.key 743961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.9ns 743961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 747917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1151280034340671565.key 747917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 747917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17956839075723542369.key 747917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 444.9ns 747917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 751903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17956839075723542369.key 751903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 751919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props44919740475230982.key 751919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.6ns 751919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 755875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props44919740475230982.key 755875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 755875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8508014448431968996.key 755875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.6ns 755875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 759861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8508014448431968996.key 759861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 759861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10430614753931784471.key 759861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.6ns 759876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 763801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10430614753931784471.key 763801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 763801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3740688245098795615.key 763801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 451ns 763817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 767772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3740688245098795615.key 767772 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 767772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3652968930600350029.key 767772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 451.3ns 767772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s 771743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3652968930600350029.key 771743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 771758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2495095593715051213.key 771758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179ns 771758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 775714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2495095593715051213.key 775714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 775714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10050404419438026400.key 775714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.3ns 775714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 779639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10050404419438026400.key 779639 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 779654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props12152433993057350146.key 779654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.2ns 779654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 783611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props12152433993057350146.key 783611 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 783611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12137490640685327906.key 783611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441ns 783611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 787566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12137490640685327906.key 787566 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 787566 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 787566 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 787566 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 787566 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 787566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props7802402863120570705.key 787566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.9ns 787582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 791521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7802402863120570705.key 791521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 791521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7352815425523204628.key 791521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.8ns 791521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.96s 795509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7352815425523204628.key 795509 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 795509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13029250479118815370.key 795509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 795509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 799432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13029250479118815370.key 799432 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 799448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11609938418938835930.key 799448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.5ns 799448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 803357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11609938418938835930.key 803357 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 803373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17918945186857166866.key 803373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.9ns 803373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 807297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17918945186857166866.key 807297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 807595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7274648248863451583.key 807595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.8ns 807595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 811518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7274648248863451583.key 811518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 811518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1260393103779638248.key 811518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.5ns 811518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 815396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 815411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1260393103779638248.key 815411 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 815411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5316673751300690477.key 815411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251ns 815411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 819335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 819351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5316673751300690477.key 819351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 819351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16417716285828346955.key 819351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.8ns 819351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 823244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 823259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16417716285828346955.key 823259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 823275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9394698928567108589.key 823275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.1ns 823275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 827184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 827216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9394698928567108589.key 827216 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 827216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15866215555411816980.key 827216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 451.1ns 827216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 831123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15866215555411816980.key 831123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 831139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5251387824652457632.key 831139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.2ns 831139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 835048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 835064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5251387824652457632.key 835064 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 835064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13856858239328696394.key 835064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.9ns 835064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 838973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 838988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13856858239328696394.key 838988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 838988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15596988693941774899.key 838988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136ns 839004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 842912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 842928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15596988693941774899.key 842928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 842944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17539989469280344037.key 842944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.2ns 842944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 846837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 846852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17539989469280344037.key 846852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 846852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5068559038849956300.key 846852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.5ns 846852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 850760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5068559038849956300.key 850760 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 850760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16521220206976789428.key 850760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.7ns 850760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 854700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16521220206976789428.key 854700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 854700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props676886818390755358.key 854700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.6ns 854700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 858608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props676886818390755358.key 858608 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 858624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7020786703725946307.key 858624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.6ns 858624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 862501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 862516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7020786703725946307.key 862516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 862516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14242807061486884698.key 862516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.4ns 862516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 866410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 866426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14242807061486884698.key 866426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 866426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12520401622300441284.key 866426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.7ns 866426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 870287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12520401622300441284.key 870287 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 870303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16552314201776313112.key 870303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.4ns 870303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 874227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16552314201776313112.key 874227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 874227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17112890050100248972.key 874227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.5ns 874227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 878104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 878120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17112890050100248972.key 878120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 878120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props788956975530035587.key 878120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns 878120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 881997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 882013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props788956975530035587.key 882013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 882013 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 882013 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 882013 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 882013 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 882013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9333730789924867847.key 882013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.3ns 882013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 885890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 885905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9333730789924867847.key 885905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 885905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6421532766934095611.key 885905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129ns 885905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 889766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 889782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6421532766934095611.key 889782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 889782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13726097951101004794.key 889782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.4ns 889782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 893675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 893690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13726097951101004794.key 893690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 893690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4572026001353377445.key 893690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.4ns 893690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 897568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 897584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4572026001353377445.key 897584 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 897584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15528021006313643465.key 897584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.7ns 897584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 901444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 901460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15528021006313643465.key 901460 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 901476 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.props13415540582245861182.smt2 901476 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.props18350716304768466829.smt2 901476 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.props2711925355513655453.smt2 901476 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.props1940090717431640330.smt2 901476 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.props10664125253095060853.smt2 901476 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.props851147456925792701.smt2 901476 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.props5579775578135642488.smt2 901476 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.props11303670613800738552.smt2 901476 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.props2211460642515335329.smt2 901476 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.props6017573651367421534.smt2 901476 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.props11334772863786139917.smt2 901476 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.props16068840613323690307.smt2 901491 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.props5885398638927465061.smt2 901491 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.props15910908562869354966.smt2 901491 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.props15810609768814276222.smt2 901491 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.props6596856846738180007.smt2 901491 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.props16539195816906314312.smt2 901491 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.props15773418331122153184.smt2 901491 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.props5943990989720187580.smt2 901491 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.props15829984444712826770.smt2 901491 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.props9263333989504853437.smt2 901507 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.props9938177777397749088.smt2 901507 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.props312238807986127501.smt2 901507 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.props16012786467408272948.smt2