Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.014s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | 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.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
780913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6413086755124662213.key 780913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.4ns 780913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 781100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 781100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 781100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 781712 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 786434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 786450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6413086755124662213.key 786450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 786465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props12942570239717420045.key 786465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.7ns 786481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 790709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12942570239717420045.key 790709 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 790709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8596352508282946143.key 790709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 493.7ns 790709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 794955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 794970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8596352508282946143.key 794970 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 794970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props8198360178417032597.key 794970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.9ns 794970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 799190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props8198360178417032597.key 799190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 799190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9260212731472715278.key 799190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175ns 799206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 803469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9260212731472715278.key 803469 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 803469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4393819577107684984.key 803469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.5ns 803485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 807765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4393819577107684984.key 807765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 807781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1218152494549280009.key 807781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.9ns 807781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 812075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 812091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1218152494549280009.key 812106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 812106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13533244425211053221.key 812106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.6ns 812106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 816461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 816476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13533244425211053221.key 816476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 816476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12186594990757667154.key 816476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.1ns 816476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 820724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 820739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12186594990757667154.key 820756 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 820756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props813245151254852205.key 820756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499ns 820756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 825149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props813245151254852205.key 825149 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 825149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16439915942608927092.key 825149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.9ns 825165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 829491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16439915942608927092.key 829491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 829506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2855082607507843188.key 829506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.4ns 829506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 833826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2855082607507843188.key 833826 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 833826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6380673392341005937.key 833826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.67ms 833841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 838193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 838209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6380673392341005937.key 838209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 838225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16219321408218884479.key 838225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.1ns 838225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 842584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 842600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16219321408218884479.key 842600 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 842600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3710718654758691468.key 842600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.9ns 842600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 846949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 846964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3710718654758691468.key 846964 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 846980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props716163575240356996.key 846980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 586.1ns 846980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 851342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 851358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props716163575240356996.key 851358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 851373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14370126329773329948.key 851373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177ns 851373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 855724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 855739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14370126329773329948.key 855755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 855755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props2286789865881294802.key 855755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.7ns 855755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 860095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 860110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2286789865881294802.key 860110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 860110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4363963871150807614.key 860110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.6ns 860110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 864418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 864433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4363963871150807614.key 864433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 864449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 864449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 864449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 864449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 864449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8923697738001786533.key 864449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.7ns 864449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 868796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 868812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8923697738001786533.key 868812 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 868812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props18097408541851848552.key 868812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.5ns 868812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 873126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 873142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props18097408541851848552.key 873142 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 873142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6395223508226755461.key 873142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.4ns 873142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 877456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 877472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6395223508226755461.key 877472 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 877488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5248214085491005706.key 877488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 508.8ns 877488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 881771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 881787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5248214085491005706.key 881787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 881787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4116634131871682991.key 881787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 354.9ns 881787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 886207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 886222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4116634131871682991.key 886222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 886541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6040731627911109013.key 886557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.1ms 886557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 890815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 890831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6040731627911109013.key 890831 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 890831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8392496725136812331.key 890831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 402ns 890846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 895103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 895118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8392496725136812331.key 895118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 895118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props12612242754531113717.key 895118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.8ns 895118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 899385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 899400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12612242754531113717.key 899400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 899400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props12903096834033330401.key 899400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 365ns 899400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 903654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 903669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12903096834033330401.key 903669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 903669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13062027624640887601.key 903669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.6ns 903669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 908018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 908049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13062027624640887601.key 908049 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.1ns 908049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14037929108454272916.key 908049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.3ns 908049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 912345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 912377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14037929108454272916.key 912377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 912377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props14758099870349218131.key 912377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543ns 912377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 916674 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 916689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14758099870349218131.key 916689 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 916689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props11546750745195194786.key 916689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 460.2ns 916689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 921043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11546750745195194786.key 921043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 921043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8691050704662800564.key 921043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.9ns 921043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 925390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8691050704662800564.key 925390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 925390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props16937089723081280153.key 925390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.4ns 925406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 929670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 929686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16937089723081280153.key 929686 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 929686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props9633626937422956526.key 929686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.7ns 929686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 933945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 933960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props9633626937422956526.key 933960 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 933976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10953829240795885524.key 933976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.9ns 933976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 938318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10953829240795885524.key 938318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 938333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5779657912765226545.key 938333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.6ns 938333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 942564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5779657912765226545.key 942564 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 942579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6870924462387355941.key 942579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.3ns 942579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 946873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6870924462387355941.key 946873 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 946889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4812208344266776663.key 946889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.2ns 946889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 951122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4812208344266776663.key 951122 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 951122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8642619521400996465.key 951122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.9ns 951138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 955438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8642619521400996465.key 955438 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 955453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2917307093509734789.key 955453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.1ns 955453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 959741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2917307093509734789.key 959741 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 959756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props658934551426120539.key 959756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.4ns 959756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 964050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 964065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props658934551426120539.key 964065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 964081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17497318447097534486.key 964081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.5ns 964081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 968356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 968374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17497318447097534486.key 968374 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 968374 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 968374 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 968374 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 968374 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 968374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15029717272656522357.key 968374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.1ns 968387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 972690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 972706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15029717272656522357.key 972706 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 972706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9937767444135760779.key 972706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.4ns 972721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 977039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 977070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9937767444135760779.key 977070 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 977070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12172770664720079640.key 977070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.5ns 977070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 981312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 981327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12172770664720079640.key 981327 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.6ns 981327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16341123749809600291.key 981327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns 981343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 985629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 985660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16341123749809600291.key 985660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 985660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3425322525837992081.key 985660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 419.2ns 985660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 989986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3425322525837992081.key 990001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 990001 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.props395865971379111726.smt2 990001 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.props10518076975091379204.smt2 990001 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.props14367521339660943607.smt2 990001 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.props198300982953216217.smt2 990001 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.props2675549501801573563.smt2 990001 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.props13265047109044984438.smt2 990001 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.props18159687769274622225.smt2 990017 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.props15087242506885556304.smt2 990017 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.props3992265248353297547.smt2 990017 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.props1984514710219356276.smt2 990017 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.props1197918962710901267.smt2 990017 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.props2576014511505244261.smt2 990017 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.props8031346217105621983.smt2 990017 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.props164253333876013510.smt2 990017 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.props1530616310435655315.smt2 990032 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.props8049799458649889889.smt2 990032 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.props7417704688966631068.smt2 990032 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.props8839652785070419238.smt2 990032 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.props6991000001376252513.smt2 990032 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.props2146049559229012798.smt2 990048 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.props1808037557259065906.smt2 990048 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.props11499289424052726384.smt2 990048 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.props3556552294844831349.smt2 990048 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.props12026744543698559558.smt2