Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.018s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.004s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.006s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.003s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.028s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.003s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | 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
609784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4582262675644580000.key 609784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.4ns 609784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 609972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 609972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 609972 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 610858 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 614218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 614234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4582262675644580000.key 614234 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 614265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10424732059230672342.key 614265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176ns 614265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 617499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10424732059230672342.key 617499 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 617499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16542844498960156647.key 617499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.9ns 617499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 620724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16542844498960156647.key 620724 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 620724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props13680202826154610648.key 620724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.9ns 620724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 623930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13680202826154610648.key 623930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 623930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9241731924184142026.key 623930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.6ns 623930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 627139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9241731924184142026.key 627139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 627139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props3493896474118841022.key 627139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.7ns 627139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 630327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3493896474118841022.key 630327 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 630342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props16108994824728831797.key 630342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.1ns 630342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 633612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16108994824728831797.key 633612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 633612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5160003597722519530.key 633612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.2ns 633612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 637535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5160003597722519530.key 637535 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 637535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1809690272926074239.key 637535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.2ns 637535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 640646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1809690272926074239.key 640646 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 640646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17635688158275971525.key 640646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.4ns 640662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 643934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17635688158275971525.key 643934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 643950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props14142531008447871903.key 643950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.7ns 643950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 647079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14142531008447871903.key 647079 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 647079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9219879967155955003.key 647079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 361.9ns 647094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 650250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9219879967155955003.key 650250 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.9ns 650250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8781704789581865943.key 650250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.1ns 650250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 653787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8781704789581865943.key 653787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 653803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10744150310887818966.key 653803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.9ns 653803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 657001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10744150310887818966.key 657001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 657016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10853058874982569678.key 657016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.3ns 657016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 660269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10853058874982569678.key 660269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 660285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props17016797231595017986.key 660285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.1ns 660285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 663455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17016797231595017986.key 663455 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 663455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12576702303734730648.key 663455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.2ns 663471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 666566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12576702303734730648.key 666582 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 666582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props12148421388421944395.key 666582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.5ns 666582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 669755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props12148421388421944395.key 669755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 669755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1500862627113073814.key 669755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.8ns 669755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 672897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1500862627113073814.key 672897 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 672897 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 672897 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 672897 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 672913 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 672913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props773582216764750674.key 672913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.4ns 672913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 676156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props773582216764750674.key 676156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 676156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7557916517164692800.key 676156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.6ns 676156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 679275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7557916517164692800.key 679275 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 679290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props3813994810862819108.key 679290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.6ns 679290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 682395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3813994810862819108.key 682395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 682395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16842037029029117823.key 682395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231ns 682411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 685460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16842037029029117823.key 685460 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 685475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7185117727186254213.key 685475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.7ns 685475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 688670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7185117727186254213.key 688670 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 689186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4450592299183022577.key 689186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.6ns 689186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 692592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4450592299183022577.key 692607 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 692607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6210593568908977247.key 692607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.6ns 692607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 695707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6210593568908977247.key 695723 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 695723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14944417046248870095.key 695723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250ns 695723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 698740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14944417046248870095.key 698740 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 698755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props11685601922492481623.key 698755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 398.3ns 698755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 701874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11685601922492481623.key 701874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 701890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props18201678381108036038.key 701890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.2ns 701890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 705056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props18201678381108036038.key 705056 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 302.7ns 705056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6024114320461376521.key 705056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 802.7ns 705056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 708262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6024114320461376521.key 708262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 708278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6414095110838002467.key 708278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.2ns 708278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 711590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6414095110838002467.key 711606 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 711606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9529920574412708864.key 711606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.4ns 711606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 714672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9529920574412708864.key 714687 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 714687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11090177520786573769.key 714687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.2ns 714687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 717798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11090177520786573769.key 717798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 717814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5263141580492009792.key 717814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213ns 717814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 720948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5263141580492009792.key 720964 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 720964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13186632955099427861.key 720964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.5ns 720964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 724099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13186632955099427861.key 724099 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 724115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10389812335049294952.key 724115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.2ns 724115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 727242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10389812335049294952.key 727258 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 727258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8571855552203760024.key 727258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.8ns 727258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 730345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8571855552203760024.key 730361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 730361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props12433790124328624538.key 730361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138ns 730361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 733728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12433790124328624538.key 733728 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 733728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17425790296521150532.key 733728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.9ns 733728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 736833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17425790296521150532.key 736833 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 736833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props13244218995187181346.key 736833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.8ns 736833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 739914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13244218995187181346.key 739930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 739930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props898766814103477966.key 739930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.3ns 739930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 743073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props898766814103477966.key 743073 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 743089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props5660400144073566426.key 743089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456ns 743089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 746480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5660400144073566426.key 746496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 746496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props8590148842562349175.key 746496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.7ns 746496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 749861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8590148842562349175.key 749876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 749876 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 749876 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 749876 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 749876 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 749876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10905326229978284852.key 749876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.7ns 749876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 753272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10905326229978284852.key 753287 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 753287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8513739560908928598.key 753287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.3ns 753287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 756368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8513739560908928598.key 756368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 756368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props946307293698245659.key 756368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269ns 756368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 759463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props946307293698245659.key 759463 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 759479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14840482127574738361.key 759479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.2ns 759479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 762590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14840482127574738361.key 762590 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 762590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5595999177276410337.key 762590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 376.2ns 762590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 765811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5595999177276410337.key 765811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 765827 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.props7713325427972198394.smt2 765827 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.props3776240302238796920.smt2 765842 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.props10737556365382171356.smt2 765858 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.props7530652354516232050.smt2 765858 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.props14114581997611363717.smt2 765858 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.props7820094702077224313.smt2 765858 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.props14233412011366856098.smt2 765874 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.props13952097204750180275.smt2 765874 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.props9654502205176000555.smt2 765874 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.props15416698975275061154.smt2 765889 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.props3165643597212539837.smt2 765889 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.props2153287179066157816.smt2 765905 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.props5060739714300445997.smt2 765905 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.props33207977742556304.smt2 765905 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.props7599531704927619557.smt2 765905 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.props1848087873452748784.smt2 765905 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.props8705093988200986546.smt2 765905 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.props5778776120600980554.smt2 765921 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.props3826034709017450382.smt2 765921 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.props2619946146099694647.smt2 765928 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.props6887587770180191271.smt2 765931 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.props7651955795809210593.smt2 765933 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.props12684809829583341062.smt2 765934 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.props2600005520568885144.smt2