Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | 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] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.005s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.004s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | 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
511615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12180402596131206419.key 511615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.7ns 511630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 511755 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 511755 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 511755 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 511755 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 512193 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 515257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 515273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12180402596131206419.key 515273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 515289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13022930402747394262.key 515289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157ns 515289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 517914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 517930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13022930402747394262.key 517930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 517946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4766039007877177605.key 517946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.9ns 517946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 520978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 520994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4766039007877177605.key 520994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 521009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4080002250738144507.key 521009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.9ns 521009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 523575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 523591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4080002250738144507.key 523591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 523591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16934516568185717451.key 523591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.8ns 523606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 526139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 526170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16934516568185717451.key 526170 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 526170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props13483429272990131495.key 526170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.9ns 526170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 528765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 528780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13483429272990131495.key 528780 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 528780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5360245118839853216.key 528780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.1ns 528780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 531360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5360245118839853216.key 531360 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 531376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4611017568035473182.key 531376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.3ns 531376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 533971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4611017568035473182.key 533971 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 533971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7981837335808911313.key 533971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.1ns 533971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 536629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 536644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7981837335808911313.key 536644 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 536644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8943318212671846968.key 536644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.4ns 536659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 539255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 539270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8943318212671846968.key 539270 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 539286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props14054516171824990792.key 539286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.9ns 539286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 542006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14054516171824990792.key 542006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 542006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5310753524275140588.key 542022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.5ns 542022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 544648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5310753524275140588.key 544664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 544664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2452193188027506257.key 544664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128ns 544664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 547415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 547430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2452193188027506257.key 547430 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 547430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6217354379745951920.key 547430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.9ns 547446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 550073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6217354379745951920.key 550073 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 550088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10525125946454170765.key 550088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.1ns 550088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 552856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10525125946454170765.key 552856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 552872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props17267165498283913175.key 552872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.6ns 552872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 555514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17267165498283913175.key 555514 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 555514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5529489190632615444.key 555514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.7ns 555639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 558281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5529489190632615444.key 558281 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 558281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props4823493738409161243.key 558281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.7ns 558281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 561033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4823493738409161243.key 561033 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 561033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5734748509262173881.key 561033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.3ns 561033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 563676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5734748509262173881.key 563676 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 563676 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 563676 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 563676 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 563676 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 563676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15568357917731291603.key 563676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126ns 563676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 566427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15568357917731291603.key 566427 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 566427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1540227901704123186.key 566427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146ns 566427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 569085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1540227901704123186.key 569085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 569085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6015444651494453723.key 569085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.4ns 569085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 571867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6015444651494453723.key 571867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 571867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8717229298447588157.key 571867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.7ns 571867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 574603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8717229298447588157.key 574603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 574603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props1574702196750143117.key 574603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.5ns 574619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 577246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1574702196750143117.key 577246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 577558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15105846000214775186.key 577558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.1ns 577574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 580310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15105846000214775186.key 580310 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 580310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props477674831634400401.key 580310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 363.8ns 580326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 583046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props477674831634400401.key 583046 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 583046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5652533434066521481.key 583046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.9ns 583046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 585657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 585673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5652533434066521481.key 585673 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 585673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5994618154089915125.key 585673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.2ns 585673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 588408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5994618154089915125.key 588408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 588424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4041208081982449212.key 588424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.5ns 588424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 591254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4041208081982449212.key 591254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 591269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props11499884871502741635.key 591269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436ns 591269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 594098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11499884871502741635.key 594098 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 594098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4322704903225498498.key 594098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.1ns 594098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 597052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4322704903225498498.key 597052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 597052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6325094429883524227.key 597052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.9ns 597052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 599601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6325094429883524227.key 599601 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 599601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16271780109759917673.key 599601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.7ns 599601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 602197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16271780109759917673.key 602197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 602197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props577405781473376485.key 602197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.7ns 602197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 604759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 604775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props577405781473376485.key 604775 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 604775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17618053112393182316.key 604775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 316.3ns 604775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 607401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17618053112393182316.key 607417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 607417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13518125086391586666.key 607417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.8ns 607417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 610105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13518125086391586666.key 610105 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 610105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props3150434730187967990.key 610105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.8ns 610105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 612732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3150434730187967990.key 612732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 612747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7633929932155727323.key 612747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 398.9ns 612747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 615438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7633929932155727323.key 615438 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 615438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1652520937977305181.key 615438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.2ns 615438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 618157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1652520937977305181.key 618157 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 618157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props17252105497679176854.key 618157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140ns 618157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 620799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17252105497679176854.key 620815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 620815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props18415958223474847007.key 620815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.8ns 620815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 623551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18415958223474847007.key 623551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 623551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props991929448416184767.key 623551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277ns 623551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 626474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props991929448416184767.key 626489 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 626489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3017976511609888678.key 626489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.2ns 626489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 629241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3017976511609888678.key 629241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 629241 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 629241 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 629241 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 629241 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 629241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6669766435388538489.key 629241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.4ns 629257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 632133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6669766435388538489.key 632133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 632133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15744788345873306057.key 632133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.8ns 632133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 634822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15744788345873306057.key 634822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 634822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5729709993766822277.key 634822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.1ns 634822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 637433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5729709993766822277.key 637433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 637433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16204207885078671272.key 637433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.6ns 637433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 640013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16204207885078671272.key 640013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 640028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2651979567248516638.key 640028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200ns 640028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 642624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2651979567248516638.key 642624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 642640 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.props4650561249719185673.smt2 642640 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.props6343030275822549734.smt2 642640 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.props1646634570229118495.smt2 642640 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.props10859202177786711185.smt2 642640 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.props4067475480793276359.smt2 642640 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.props10722266033362594460.smt2 642655 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.props4281444867027713117.smt2 642655 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.props4276767836718999826.smt2 642655 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.props7881565354327100083.smt2 642655 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.props3098531229989296716.smt2 642655 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.props5866938088547430576.smt2 642655 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.props4191926733044817479.smt2 642655 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.props8498759515798583713.smt2 642655 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.props5115802381147558724.smt2 642655 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.props2950909154405887071.smt2 642655 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.props6758572388045855856.smt2 642655 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.props15948918393988530725.smt2 642671 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.props18346380898698691420.smt2 642671 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.props12779659547968176723.smt2 642671 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.props16535388857327475319.smt2 642671 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.props16569792452423886800.smt2 642671 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.props17614483450582496709.smt2 642671 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.props6238148501401742864.smt2 642671 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.props12092658750033594382.smt2