Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0s | 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.004s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.006s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | 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.006s | 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.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
557582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props13532414047830474099.key 557582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.7ns 557582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557809 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 557810 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 557810 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 557810 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 558338 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 561517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 561532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props13532414047830474099.key 561532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 561548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props17174023178480761457.key 561548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.6ns 561563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 564278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props17174023178480761457.key 564278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 564294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4750315975157789068.key 564294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297ns 564294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 567154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4750315975157789068.key 567154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 567201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props12432599137513635085.key 567201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.28ms 567201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 571311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12432599137513635085.key 571327 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 571358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16968844171921377954.key 571358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.8ns 571358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 574323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16968844171921377954.key 574339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 574339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10630157367586557157.key 574339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.8ns 574339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 577095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10630157367586557157.key 577095 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 577095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17867187500719077764.key 577095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184ns 577111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 579849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17867187500719077764.key 579849 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 579865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8134893655601631816.key 579865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 332ns 579865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 582582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8134893655601631816.key 582582 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 582598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1250270843570045201.key 582598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.6ns 582598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 585450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 585466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1250270843570045201.key 585482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.5ns 585482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15451117304732960301.key 585482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.7ns 585482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 588744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15451117304732960301.key 588744 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 588744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6774305160958689815.key 588744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.9ns 588744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 591387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6774305160958689815.key 591403 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 591403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11302699862578589977.key 591403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.5ns 591403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 594366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11302699862578589977.key 594382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 594382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16830692065168475002.key 594382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.6ns 594382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 597122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16830692065168475002.key 597122 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 597122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3261364463665367288.key 597122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.7ns 597122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 599858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3261364463665367288.key 599858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 599858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3102354338735963539.key 599858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.1ns 599858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 602548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3102354338735963539.key 602548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 602562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16015344698228973667.key 602562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.7ns 602562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 605445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16015344698228973667.key 605445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns 605460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6208251849111108775.key 605460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221ns 605460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 608305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6208251849111108775.key 608305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 608305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10793215940795731822.key 608305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161ns 608305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 611245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10793215940795731822.key 611245 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 611261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5083400250603677969.key 611261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 766.1ns 611261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 614010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5083400250603677969.key 614010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 614025 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 614025 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 614025 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 614025 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 614025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11269864512096865486.key 614025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.4ns 614025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 616751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11269864512096865486.key 616767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 616767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6981680100995333465.key 616767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.8ns 616767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 619565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6981680100995333465.key 619565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 619581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14752438949196005689.key 619581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 670.1ns 619581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 622337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14752438949196005689.key 622337 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 622337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8595639941144850694.key 622337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604.8ns 622353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 625323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8595639941144850694.key 625323 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 625323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12912895774443093747.key 625323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.8ns 625338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 628106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12912895774443093747.key 628106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 628437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props96554076885379813.key 628437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.5ns 628437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 631394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props96554076885379813.key 631394 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 631394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11106605508242855174.key 631394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.3ns 631410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 634178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11106605508242855174.key 634178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 634178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14577716495933610211.key 634178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 552.6ns 634178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 636944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14577716495933610211.key 636944 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 636960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6159925910902146522.key 636960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.1ns 636960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 639627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6159925910902146522.key 639642 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 639642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props12301242242737696568.key 639642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.1ns 639642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 642489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12301242242737696568.key 642505 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 642505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10069498156482303318.key 642505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.8ns 642505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 645398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10069498156482303318.key 645398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 645414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3951534839758924364.key 645414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.6ns 645414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 648335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3951534839758924364.key 648335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 648335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12746053632186325538.key 648335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.1ns 648351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 651056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12746053632186325538.key 651056 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 651072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12418640176845369608.key 651072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.3ns 651072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 653745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12418640176845369608.key 653761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 653761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1131066965600684973.key 653761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.4ns 653761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 656494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1131066965600684973.key 656494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 656494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3176298560014783385.key 656494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.2ns 656494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 659237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3176298560014783385.key 659253 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 659253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5026841393197479868.key 659253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 882.2ns 659253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 662160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5026841393197479868.key 662160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 662175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14561940757224290021.key 662175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.8ns 662175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 664881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14561940757224290021.key 664881 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 664896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7064112119246354062.key 664896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.4ns 664896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 667854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7064112119246354062.key 667854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 667854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15180806854962901862.key 667854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.2ns 667854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 670598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15180806854962901862.key 670598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 670598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16995038290711120989.key 670598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.7ns 670598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 673276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 673291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16995038290711120989.key 673291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 673291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6255688467959201574.key 673291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.2ns 673307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 675997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6255688467959201574.key 675997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 675997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3182047150808926447.key 675997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.8ns 675997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 678936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3182047150808926447.key 678936 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 678936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10809738810603088317.key 678936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.4ns 678952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 681752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10809738810603088317.key 681767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 681767 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681767 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681767 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681767 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1628838239949909967.key 681767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.8ns 681767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 684629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1628838239949909967.key 684629 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 684629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8789653448017132973.key 684629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.6ns 684644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 687349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8789653448017132973.key 687364 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 687364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10829800756618224630.key 687364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.7ns 687364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 690006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10829800756618224630.key 690006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 690022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4677767984903984291.key 690022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.4ns 690022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 692789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4677767984903984291.key 692789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 692789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props8040308415869276318.key 692789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282ns 692789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 695636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8040308415869276318.key 695636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 695636 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.props13367942795451563868.smt2 695667 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.props17853235218851443173.smt2 695667 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.props17044364589633737020.smt2 695667 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.props2896927173444864142.smt2 695667 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.props1166055978908478466.smt2 695667 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.props9612821837854090964.smt2 695667 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.props7000344088480271260.smt2 695667 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.props15847718154998366650.smt2 695683 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.props4270571874949375800.smt2 695683 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.props13387942896654986685.smt2 695683 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.props1472037312366654647.smt2 695683 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.props17408938838028066444.smt2 695683 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.props18194307551731972156.smt2 695683 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.props7413476381016175902.smt2 695683 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.props2310687188466194435.smt2 695683 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.props7438739700240613552.smt2 695698 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.props7874460406787081655.smt2 695698 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.props9583419842053990189.smt2 695698 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.props9395477218521617656.smt2 695698 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.props13783590250170676435.smt2 695698 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.props8669940115215422962.smt2 695698 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.props8157475987058085048.smt2 695698 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.props6749829081445793374.smt2 695698 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.props18227358292838585990.smt2