Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.005s | 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.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.003s | 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.002s | 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.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.003s | 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
670716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9849534434319124839.key 670716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.4ns 670716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670881 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 670881 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 670881 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 670881 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 671468 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 675842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 675857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9849534434319124839.key 675857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 675888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props12662080674754620750.key 675888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.9ns 675888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 679176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12662080674754620750.key 679176 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 679191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11562735484855536862.key 679191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.4ns 679191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 682444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11562735484855536862.key 682460 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 682460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props10025788913211096250.key 682460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.8ns 682460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 685660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10025788913211096250.key 685660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 685676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13572989530655118519.key 685676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 571.9ns 685676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 689887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13572989530655118519.key 689903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 689903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8594340569194315892.key 689903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 728.6ns 689919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 693171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8594340569194315892.key 693171 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.4ns 693171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7239263620621830092.key 693171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.7ns 693187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 696413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7239263620621830092.key 696429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 696429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2851250321605209846.key 696429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.1ns 696429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 699716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2851250321605209846.key 699716 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 699731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4000740099953591456.key 699731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.6ns 699731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 703066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4000740099953591456.key 703066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 703081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props70151135736260215.key 703081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.2ns 703097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 707295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props70151135736260215.key 707295 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.9ns 707295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17558441269888010386.key 707295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.1ns 707311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 710525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17558441269888010386.key 710525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 710525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9408173426485830985.key 710525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.8ns 710541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 713778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9408173426485830985.key 713778 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 713778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props7960496864496811983.key 713778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.3ns 713778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 717014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props7960496864496811983.key 717030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 717030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7400740632253568001.key 717030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286ns 717030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 720438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7400740632253568001.key 720438 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 720438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props8473626172159814692.key 720438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.3ns 720453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 724027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8473626172159814692.key 724027 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 724043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6965648854744998963.key 724043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.2ns 724043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 727408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6965648854744998963.key 727408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 727424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props1298659681207614024.key 727424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.7ns 727424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 730660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1298659681207614024.key 730660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 730660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props295532711761422153.key 730660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.5ns 730660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 733959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props295532711761422153.key 733959 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 733959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17434463631165483243.key 733959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 464.7ns 733959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 737300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17434463631165483243.key 737316 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 737316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 737316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 737316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 737316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 737316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props3821261705484314607.key 737316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.4ns 737332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 740834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3821261705484314607.key 740834 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 740849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7892402432940899456.key 740849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.9ns 740849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 744490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7892402432940899456.key 744505 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 744505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13524270055502100712.key 744505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.7ns 744505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 747749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13524270055502100712.key 747765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 747765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props845461288810194953.key 747765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.2ns 747765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 751229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props845461288810194953.key 751229 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 751245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props8329565973694957743.key 751245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.9ns 751245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 754653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8329565973694957743.key 754653 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 755062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props472922957442337661.key 755062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.6ns 755078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 758741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props472922957442337661.key 758741 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 758756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9458032294029379870.key 758756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 472.1ns 758756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 762429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9458032294029379870.key 762429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 762444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props7296442268725548660.key 762444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.8ns 762444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 765928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7296442268725548660.key 765928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 765944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props11314694095329403548.key 765944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.2ns 765944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 769384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11314694095329403548.key 769384 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 769400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9726685052361876053.key 769400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255ns 769400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 772809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9726685052361876053.key 772809 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 772824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12592782188263803495.key 772824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.6ns 772824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 776319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12592782188263803495.key 776319 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 776319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11609119253312146864.key 776319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.85ms 776335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 779998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11609119253312146864.key 779998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 779998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9383894055863731051.key 779998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.8ns 779998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 783422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9383894055863731051.key 783422 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 783422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1369635241372321070.key 783422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.8ns 783422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 786830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1369635241372321070.key 786830 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 786846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4803681925465763837.key 786846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.4ns 786846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 790215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4803681925465763837.key 790215 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 790215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16785937024670612870.key 790215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 344.6ns 790215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 793705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16785937024670612870.key 793705 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 793720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8460939621363197222.key 793720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 507.7ns 793720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 797317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8460939621363197222.key 797317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 797317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5015145450781121357.key 797317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 514.9ns 797317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 800634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5015145450781121357.key 800650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 800650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5863040326652222766.key 800650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.5ns 800650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 804216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5863040326652222766.key 804216 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 804231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16188706020971732824.key 804231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.5ns 804231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 807440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16188706020971732824.key 807440 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 807455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props17772204056145146628.key 807455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 315.9ns 807455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 810585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17772204056145146628.key 810600 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 810600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props17693650561959121157.key 810600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.5ns 810616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 813697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 813713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17693650561959121157.key 813728 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 813728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11885570321533754573.key 813728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.6ns 813728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 817433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11885570321533754573.key 817449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 817449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1001658381506666967.key 817449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.9ns 817449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 821120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1001658381506666967.key 821120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 821120 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 821120 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 821120 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 821120 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 821135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8612320682699809856.key 821135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.6ns 821135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 824386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 824417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8612320682699809856.key 824417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 824417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8481085648603452602.key 824417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.5ns 824417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 827530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 827545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8481085648603452602.key 827561 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 827561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props18359323999015264099.key 827561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.2ns 827561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 830726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 830741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props18359323999015264099.key 830741 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 830757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8693392691065976551.key 830757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.3ns 830757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 834149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 834181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8693392691065976551.key 834181 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 834197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props10665171781227149033.key 834197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.6ns 834197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 837542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10665171781227149033.key 837542 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 837558 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.props602750111453215550.smt2 837558 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.props1214493802527140060.smt2 837558 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.props12346541253707327528.smt2 837558 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.props15890184224071810858.smt2 837558 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.props3561136565170536824.smt2 837558 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.props17534207442016042677.smt2 837574 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.props15469181978336595584.smt2 837574 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.props10543173353281572951.smt2 837574 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.props11726380376779987479.smt2 837574 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.props7115471276542790384.smt2 837574 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.props6344933896386426826.smt2 837574 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.props2624199925369077806.smt2 837592 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.props4111496305827686966.smt2 837593 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.props5647259228641900593.smt2 837593 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.props1768444514829087868.smt2 837593 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.props8834020799773068057.smt2 837593 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.props13142253564346557213.smt2 837593 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.props7288590553005064538.smt2 837609 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.props3712386597957270178.smt2 837609 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.props9255796512937774161.smt2 837609 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.props8293029127613670373.smt2 837609 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.props13118106051340938826.smt2 837609 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.props1708904958407129866.smt2 837609 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.props4157880071036974529.smt2