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.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.001s | 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.001s | 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.004s | 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.002s | 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.002s | passed |
[3] bool3.props | testTranslation(TestData)[3] | 0.009s | 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.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
638178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14938217358747870869.key 638178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.9ns 638178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638335 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638335 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638335 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638335 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638994 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 642361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 642376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14938217358747870869.key 642376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 642408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5026789969550232919.key 642408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 642408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 645628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5026789969550232919.key 645628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 645628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10224360882823991049.key 645628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 498.5ns 645628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 648874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10224360882823991049.key 648874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 648874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5981872966394246711.key 648874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235ns 648874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 652003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5981872966394246711.key 652003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 652003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4963637856783296992.key 652003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.6ns 652003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 655133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4963637856783296992.key 655133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 655133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10584643410429973385.key 655133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.6ns 655133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 658230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10584643410429973385.key 658230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 658230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1901835487752847586.key 658230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 658245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 661592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1901835487752847586.key 661592 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 661608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props18323985588949547872.key 661608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136ns 661608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 664925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18323985588949547872.key 664925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 664925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9441909080092369971.key 664925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.1ns 664941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 668074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9441909080092369971.key 668074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 668074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3366742109222687116.key 668074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.3ns 668074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 671297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3366742109222687116.key 671297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 671312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11459981806858224417.key 671312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.6ns 671312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 674548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11459981806858224417.key 674548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 674548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2081301221723464238.key 674548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411ns 674563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 677949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2081301221723464238.key 677949 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 677949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12836510271932032028.key 677949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.7ns 677964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 681076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12836510271932032028.key 681076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 681076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11868044372275931365.key 681076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.7ns 681094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 684230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11868044372275931365.key 684230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 684246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10937800352587468961.key 684246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190ns 684246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 687405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10937800352587468961.key 687405 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 687405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12106286635852585311.key 687405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns 687420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 690641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12106286635852585311.key 690641 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 690657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props7689298126582484092.key 690657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.6ns 690657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 694486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7689298126582484092.key 694486 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 694486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7938845076479787320.key 694486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.7ns 694502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 697675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7938845076479787320.key 697675 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 697675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props14827896477318526103.key 697675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.5ns 697675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 700731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14827896477318526103.key 700731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 700731 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 700731 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 700731 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 700731 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 700731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props3823983349773360987.key 700731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.5ns 700731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 703864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3823983349773360987.key 703864 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 703864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17506206425424195227.key 703864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.6ns 703864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 707141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17506206425424195227.key 707141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 707141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1578464697654392328.key 707157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns 707157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 710479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1578464697654392328.key 710494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 710494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14175340408296592569.key 710494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.5ns 710494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 713655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14175340408296592569.key 713655 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 713671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3329798183827042654.key 713671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 370.3ns 713671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 716934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3329798183827042654.key 716934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 717325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7804904673011896450.key 717325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.8ns 717325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 720429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7804904673011896450.key 720429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 720445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13616625855126719838.key 720445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 508.8ns 720445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 723549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13616625855126719838.key 723549 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 723565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3180362339942556218.key 723565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.2ns 723565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 726676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3180362339942556218.key 726676 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 726676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2348006407789133108.key 726676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.7ns 726692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 729991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2348006407789133108.key 729991 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 730007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5426427597439485938.key 730007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 362ns 730007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 733491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5426427597439485938.key 733491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.6ns 733491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props991767048032868206.key 733491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333ns 733507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 736587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props991767048032868206.key 736603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 736603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10795770059361336037.key 736603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369ns 736603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 739751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10795770059361336037.key 739751 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 739751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7619577360710445736.key 739767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.8ns 739767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 742843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7619577360710445736.key 742858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 742858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10462748103271361710.key 742858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.3ns 742858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 746250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10462748103271361710.key 746250 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 746266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3802753359174917736.key 746266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.9ns 746266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 749666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3802753359174917736.key 749666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 749666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2819004551993210924.key 749666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 361.4ns 749666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 752809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2819004551993210924.key 752825 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 752825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13374784997965748785.key 752825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.5ns 752825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 755920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13374784997965748785.key 755920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 755920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14401284989450368556.key 755920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.3ns 755936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 759115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14401284989450368556.key 759115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 759115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props948163170125780446.key 759115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.5ns 759115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 762491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props948163170125780446.key 762491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 762491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10715519834254778179.key 762491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.8ns 762491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 765908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10715519834254778179.key 765908 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 765908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14545959668837721383.key 765908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.4ns 765908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 769035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14545959668837721383.key 769035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 769035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8125270626827984728.key 769035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 769035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 772152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8125270626827984728.key 772152 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 772152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15484675392706461870.key 772152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.7ns 772168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 775279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15484675392706461870.key 775279 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 775295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11517550730473623454.key 775295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.8ns 775295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 778563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11517550730473623454.key 778563 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 778563 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 778563 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 778563 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 778563 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 778563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14199741259789977136.key 778563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.1ns 778563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 781884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14199741259789977136.key 781884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 781884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12530027339762894565.key 781884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.4ns 781884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 785044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12530027339762894565.key 785044 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 785044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15676145348147209437.key 785044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.3ns 785044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 788423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15676145348147209437.key 788423 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 788438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8170146308389682500.key 788438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.1ns 788438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 791625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8170146308389682500.key 791625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 791625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4128636324244295183.key 791625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.4ns 791625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 794761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 794777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4128636324244295183.key 794777 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 794777 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.props73547766766759245.smt2 794793 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.props10567347043148832443.smt2 794793 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.props11970761778937805950.smt2 794793 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.props17779416736701776340.smt2 794809 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.props13171082462712558447.smt2 794810 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.props4075307393462087958.smt2 794812 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.props6728455824016028687.smt2 794813 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.props12698100358508533624.smt2 794814 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.props10401327294135735899.smt2 794815 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.props4459885406360373256.smt2 794817 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.props16556835984984575354.smt2 794818 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.props1998915571862369449.smt2 794818 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.props17041057358266626566.smt2 794818 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.props2994404184204999152.smt2 794818 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.props8993839205006611956.smt2 794818 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.props13773428120680112332.smt2 794818 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.props9021955477495275300.smt2 794818 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.props17846497964045367234.smt2 794818 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.props7978234592889119088.smt2 794818 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.props9845616795124238245.smt2 794818 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.props16146678353921512325.smt2 794834 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.props6598413124660836748.smt2 794834 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.props13031158834096841603.smt2 794834 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.props2369347378599465011.smt2