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.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.017s | 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.005s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.005s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.004s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.003s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.003s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.005s | 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
637968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14437287350957827834.key 637968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.6ns 637971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638103 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638103 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638103 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638103 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638644 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 642250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 642297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14437287350957827834.key 642303 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 642323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8304030447737070924.key 642323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164ns 642323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 645409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8304030447737070924.key 645409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 645425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props148138968361704239.key 645425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.4ns 645425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 648599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props148138968361704239.key 648615 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 648615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18010825860396147868.key 648615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.4ns 648615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 651653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18010825860396147868.key 651653 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 651668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8711992295653747040.key 651668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.6ns 651668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 654762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8711992295653747040.key 654762 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 654809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8667086737081631042.key 654809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.9ns 654809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 658476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8667086737081631042.key 658476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 658476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1389068066674171784.key 658476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.7ns 658507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 661768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1389068066674171784.key 661768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 661783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13586582000263351467.key 661783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.5ns 661783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 664850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13586582000263351467.key 664850 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 664866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15331059471516314148.key 664866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.8ns 664866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 667973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15331059471516314148.key 667973 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 667973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3574416137726476081.key 667973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.4ns 667973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 671044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3574416137726476081.key 671044 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 671044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10604352609387614659.key 671044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.2ns 671060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 674546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10604352609387614659.key 674546 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 674561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14568949749748202116.key 674561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.6ns 674577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 677869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14568949749748202116.key 677869 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 677869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1612802795856454921.key 677869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.6ns 677885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 680981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1612802795856454921.key 680981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 680996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11908575900277728377.key 680996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.3ns 680996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 684066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11908575900277728377.key 684066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 684082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15160608973755537057.key 684082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.7ns 684082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 687152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15160608973755537057.key 687152 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 687152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8882142598399079488.key 687152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.1ns 687168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 690357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8882142598399079488.key 690357 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 690372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8484117306851061250.key 690372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.9ns 690372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 693490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8484117306851061250.key 693490 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 693490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14858097465817420188.key 693490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.8ns 693490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 696821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14858097465817420188.key 696821 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 696836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4159538296778462346.key 696836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.6ns 696836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 699854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4159538296778462346.key 699854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 699854 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 699854 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 699854 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 699854 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 699854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10954900917679791039.key 699854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.2ns 699854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 702968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10954900917679791039.key 702970 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 702971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10303936483702863807.key 702971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.1ns 702971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 706052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10303936483702863807.key 706068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 706068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16803039480247258965.key 706068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.1ns 706068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 709163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16803039480247258965.key 709163 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 709163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9307762432485636137.key 709163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.1ns 709163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 712298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9307762432485636137.key 712298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 712314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props18084826272323102961.key 712314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.9ns 712314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 715450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props18084826272323102961.key 715450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 715799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9081668170364306451.key 715799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.8ns 715799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 719177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9081668170364306451.key 719177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 719193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9790032465888880684.key 719193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.7ns 719193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 722282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9790032465888880684.key 722282 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 722282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15255788815825052337.key 722282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.5ns 722282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 725372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15255788815825052337.key 725372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 725372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3116165527986980042.key 725372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177ns 725372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 728475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3116165527986980042.key 728475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 728491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13892005868914832352.key 728491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.5ns 728491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 731649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13892005868914832352.key 731649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 731649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7768288651125857561.key 731649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.6ns 731649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 734763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7768288651125857561.key 734778 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 734778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5013562878251388096.key 734778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.4ns 734778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 738194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5013562878251388096.key 738194 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 738194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16137070563527820718.key 738194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.7ns 738210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 741344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16137070563527820718.key 741344 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 741344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9549365478049957032.key 741344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.9ns 741344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 744441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9549365478049957032.key 744441 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 744441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13015148101877188840.key 744441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.1ns 744456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 747599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13015148101877188840.key 747599 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 747599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11847005353609805250.key 747599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.4ns 747614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 750819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11847005353609805250.key 750819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 750819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14745795696007862340.key 750819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.1ns 750819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 754102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14745795696007862340.key 754102 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 754118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13035351202985919930.key 754118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 533.2ns 754118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 757269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13035351202985919930.key 757269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 757284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props8625225765745883557.key 757284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 379.1ns 757284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 760569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props8625225765745883557.key 760569 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 760569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15773407210786914550.key 760569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.2ns 760569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 763666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15773407210786914550.key 763666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 763681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11794132411788416869.key 763681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154ns 763681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 766793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11794132411788416869.key 766793 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 766809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props18111164814935391796.key 766809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.5ns 766809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 769936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18111164814935391796.key 769951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 769951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15825449299060351952.key 769951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns 769951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 773109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15825449299060351952.key 773140 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 773156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12590675786852178847.key 773156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.7ns 773156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 776284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12590675786852178847.key 776284 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 776284 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 776284 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 776284 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 776284 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 776284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15164811165840180409.key 776284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.4ns 776284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 779650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15164811165840180409.key 779650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 779666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6598800629435272563.key 779666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.1ns 779666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 782708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6598800629435272563.key 782708 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 782723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17454651987063608553.key 782723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.8ns 782723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 785774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17454651987063608553.key 785774 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 785774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3074625450637821341.key 785774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.8ns 785774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 788900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3074625450637821341.key 788900 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 788900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4913611999770827538.key 788900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.5ns 788900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 792075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4913611999770827538.key 792075 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 792090 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.props6642400355310564325.smt2 792090 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.props6800963715757377441.smt2 792090 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.props11792920628070481218.smt2 792106 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.props11119577033349674153.smt2 792106 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.props1530503870006660975.smt2 792106 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.props2590076149048489813.smt2 792106 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.props12007233372233732774.smt2 792122 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.props3245368705436237440.smt2 792122 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.props833664093330522977.smt2 792122 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.props18140562841283938425.smt2 792122 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.props17342416245154136149.smt2 792137 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.props18232084405400573655.smt2 792137 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.props13407395751549377556.smt2 792137 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.props6173590336158034609.smt2 792153 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.props11995749636167548021.smt2 792153 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.props5406322150078795300.smt2 792153 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.props11816084775655994643.smt2 792153 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.props6921060594564073212.smt2 792153 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.props15733727241463770389.smt2 792153 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.props6975765241810247282.smt2 792169 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.props5075760389499661351.smt2 792169 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.props1853074406994771871.smt2 792169 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.props3308666502151004941.smt2 792169 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.props13845527956249741070.smt2