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.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | 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.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.003s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.004s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | 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
540558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12427982124458527942.key 540558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.7ns 540558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 540730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 540730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 540730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 540730 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 541277 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 544936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 544967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12427982124458527942.key 544967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 544983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9424054728785469825.key 544983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.4ns 544998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 548109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9424054728785469825.key 548124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 548124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props2975494689494638715.key 548124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.6ns 548124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 551188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 551204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2975494689494638715.key 551204 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 551204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18080882198705851239.key 551204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 395.3ns 551219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 554332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 554347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18080882198705851239.key 554363 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 554378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props10201256039897578616.key 554378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.6ns 554378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 557489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10201256039897578616.key 557489 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 557505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14284822531425200459.key 557505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.9ns 557505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 560648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14284822531425200459.key 560648 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 560648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11237044114869913865.key 560648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.9ns 560648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 563823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11237044114869913865.key 563823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 563839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3144219909819588247.key 563839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.7ns 563839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 566981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3144219909819588247.key 566981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 566996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15175399082626557216.key 566996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147ns 566996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 570154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15175399082626557216.key 570170 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 570170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15949990761005527576.key 570170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.2ns 570170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 573359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15949990761005527576.key 573375 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 573375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12742138189675759062.key 573375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 472ns 573422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 576627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12742138189675759062.key 576627 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 576642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props12625438981857854969.key 576642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.2ns 576642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 579957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12625438981857854969.key 579957 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 579972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2651744715665914349.key 579972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169ns 579972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 583193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2651744715665914349.key 583193 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 583208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props514881881893384108.key 583208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.3ns 583208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 586399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props514881881893384108.key 586399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 586414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4815038078411827516.key 586414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.7ns 586414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 589636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4815038078411827516.key 589636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 589651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3913542776234106773.key 589651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.1ns 589651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 592872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3913542776234106773.key 592872 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 592872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props7513969776242689430.key 592872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.3ns 592872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 596281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7513969776242689430.key 596297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 596297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8781442132674263059.key 596297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.6ns 596297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 599549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8781442132674263059.key 599549 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 599564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props16582409374260672763.key 599564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 549.6ns 599564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 602785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16582409374260672763.key 602785 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 602785 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 602785 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 602785 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 602785 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 602785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props18382817955237358783.key 602785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns 602785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 606005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props18382817955237358783.key 606005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 606021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12880081193865586200.key 606021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.3ns 606021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 609382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12880081193865586200.key 609382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 609382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10506616437520352629.key 609382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146ns 609398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 612603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10506616437520352629.key 612603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 612603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4226898808368431546.key 612603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.9ns 612619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 615824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4226898808368431546.key 615824 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 615824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17839515796180725662.key 615824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.7ns 615824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 619076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17839515796180725662.key 619092 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 619420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4966361282350147275.key 619420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.5ns 619420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 622767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4966361282350147275.key 622783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 622783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props12684171088004823006.key 622783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.6ns 622783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 625988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12684171088004823006.key 625988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 625988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props46493873343889928.key 625988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.9ns 625988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 629208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props46493873343889928.key 629208 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 629224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4092147705075389531.key 629224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.3ns 629224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 632413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4092147705075389531.key 632413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 632413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8176359355977499371.key 632413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 431.9ns 632429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 635775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8176359355977499371.key 635775 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 635775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12634376052979803839.key 635775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.2ns 635791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 638979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12634376052979803839.key 638979 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 638979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3949587011411026323.key 638979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.31ms 638995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 642201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3949587011411026323.key 642201 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 642217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1663636278720950066.key 642217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.1ns 642217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 645563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1663636278720950066.key 645563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 645579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13856967827479452733.key 645579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.7ns 645579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 648784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13856967827479452733.key 648784 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 648784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14273582536641826229.key 648784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.1ns 648800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 651990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14273582536641826229.key 652006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 652006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17325514557201004760.key 652006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.4ns 652006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 655366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17325514557201004760.key 655366 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 655382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props18187062669018788219.key 655382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.5ns 655382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 658556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props18187062669018788219.key 658571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 658571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props933913676306223196.key 658571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.8ns 658571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 661760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props933913676306223196.key 661760 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 661776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5831180294746621780.key 661776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.9ns 661776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 665106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5831180294746621780.key 665106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 665122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15633002884317118288.key 665122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234ns 665122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 668343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15633002884317118288.key 668343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 668358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11616943734788388586.key 668358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.1ns 668358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 671579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11616943734788388586.key 671579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 671595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props13397549196738232028.key 671595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.5ns 671595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 674972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13397549196738232028.key 674972 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 674987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props12134307496248064359.key 674987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.2ns 674987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 678207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props12134307496248064359.key 678223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 678223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props15830211071672971040.key 678223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.5ns 678223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 681601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15830211071672971040.key 681601 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 681601 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681601 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681601 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681601 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5066028852645868134.key 681601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns 681617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 684790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5066028852645868134.key 684790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 684806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6243652951620680203.key 684806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.2ns 684806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 688026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6243652951620680203.key 688026 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 688042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14763603549096454018.key 688042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.2ns 688042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 691388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14763603549096454018.key 691388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 691404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3542876340768641937.key 691404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.3ns 691404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 694640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3542876340768641937.key 694640 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 694655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6691837551767017334.key 694655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.7ns 694655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 698047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6691837551767017334.key 698047 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 698047 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.props101829050174687987.smt2 698047 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.props17413261298495155046.smt2 698063 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.props17988796295507532995.smt2 698063 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.props10678052362434428584.smt2 698063 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.props1819608834246370929.smt2 698063 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.props9828596237940363678.smt2 698063 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.props4177162306148912618.smt2 698063 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.props10131012238688056450.smt2 698063 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.props3751797494603711849.smt2 698063 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.props15759417674856339755.smt2 698078 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.props16030825302164887606.smt2 698078 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.props104772172299976823.smt2 698078 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.props16662711124641788048.smt2 698078 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.props7265098364934975772.smt2 698078 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.props9553465015532740814.smt2 698078 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.props9339020460329616570.smt2 698078 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.props16488671318882918039.smt2 698094 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.props4822812901946381334.smt2 698094 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.props3068334804137416402.smt2 698094 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.props10966496193841357309.smt2 698094 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.props179492020818176470.smt2 698094 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.props4044866033280944942.smt2 698094 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.props9161761557960646134.smt2 698094 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.props4351875045870878055.smt2