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.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.005s | 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.001s | 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.002s | 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
757944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17345385069521655252.key 757944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.1ns 757944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758110 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 758110 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 758110 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 758110 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 758902 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 763301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 763317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17345385069521655252.key 763317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 763364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6903256815603377815.key 763364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.4ns 763364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 767464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6903256815603377815.key 767464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 767464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props11512462764379053417.key 767464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.2ns 767464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 771505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11512462764379053417.key 771505 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 771505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7918109986243245665.key 771505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.1ns 771521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 775601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7918109986243245665.key 775601 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 775601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13111853175112825129.key 775601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.7ns 775614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 779841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13111853175112825129.key 779841 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 779856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12601140194869517533.key 779856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.9ns 779856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 783915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12601140194869517533.key 783915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 783915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2862160012406416276.key 783915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.8ns 783915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 787994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2862160012406416276.key 787994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 787994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4850424415427514145.key 787994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.4ns 788009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 792196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4850424415427514145.key 792196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 792196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15616210984553354062.key 792196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.1ns 792196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 796310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 796325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15616210984553354062.key 796325 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 796341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7916865097251577788.key 796341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 365.7ns 796341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 800449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7916865097251577788.key 800449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 800465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4159560290619380624.key 800465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.6ns 800465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 804681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4159560290619380624.key 804681 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 804696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3133774069508673787.key 804696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.44ms 804696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 808828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 808860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3133774069508673787.key 808860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 49.6ns 808860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14518901435594926055.key 808860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392ns 808875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 813042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 813057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14518901435594926055.key 813057 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 813057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props4287513359055880676.key 813057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.8ns 813057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 817172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4287513359055880676.key 817172 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 817172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17833445816651997440.key 817172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.9ns 817172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 821400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17833445816651997440.key 821400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 821400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5022217308103634923.key 821400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns 821400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 825580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5022217308103634923.key 825580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 825580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16981673068735727850.key 825580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.9ns 825580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 829801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16981673068735727850.key 829801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 829817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17529604506260129642.key 829817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns 829817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 833981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17529604506260129642.key 833981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 833981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9893362121555261599.key 833981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.7ns 833981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 838214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 838230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9893362121555261599.key 838246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 838246 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 838246 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 838246 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 838246 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 838246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5010721802937280341.key 838246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.4ns 838246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 842389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 842405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5010721802937280341.key 842405 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 842420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5936765082333106585.key 842420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.7ns 842420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 846537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 846553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5936765082333106585.key 846553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 846553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17140711207971637716.key 846553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.3ns 846553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 850707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17140711207971637716.key 850707 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 850707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props17004361144585974323.key 850707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.7ns 850723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 854878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17004361144585974323.key 854878 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 854878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2910502401667847027.key 854878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.5ns 854878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 859067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 859083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2910502401667847027.key 859083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 859382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14947919957250792162.key 859382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 540.4ns 859382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 863505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 863521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14947919957250792162.key 863521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 863537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14387196733599890295.key 863537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.6ns 863537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 867698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 867713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14387196733599890295.key 867713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 867729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14250481811818628545.key 867729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.6ns 867729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 871923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 871939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14250481811818628545.key 871939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 871939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17878274425297251955.key 871939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 398.7ns 871939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 876139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 876154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17878274425297251955.key 876154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 876154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props12465629006900784982.key 876154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.9ns 876154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 880298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 880314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12465629006900784982.key 880314 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.7ns 880329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props13853089533225817740.key 880329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 395.3ns 880329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 884536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 884551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13853089533225817740.key 884551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 884567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props912327705946057830.key 884567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 402ns 884567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 888719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props912327705946057830.key 888719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 888734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4854415194187897610.key 888734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 495.1ns 888734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 892887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4854415194187897610.key 892887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 892887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11472809062121311200.key 892887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.7ns 892887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 897012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 897027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11472809062121311200.key 897027 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 897027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9968846475681432875.key 897027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373.2ns 897027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 901186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 901203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9968846475681432875.key 901203 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 901203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16305524040671384685.key 901203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133ns 901218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 905279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 905295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16305524040671384685.key 905295 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 905310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11873233703947094525.key 905310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.1ns 905310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 909384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11873233703947094525.key 909400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 909400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props3217474624244627569.key 909400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.1ns 909400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 913527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3217474624244627569.key 913527 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 913527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13127349207006088079.key 913527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.1ns 913527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 917668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13127349207006088079.key 917668 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 917668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11914024640927148407.key 917668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.2ns 917668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 921804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11914024640927148407.key 921804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 921819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props473691618759297159.key 921819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.5ns 921819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 926008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props473691618759297159.key 926008 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 926023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3946087440454873951.key 926023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.2ns 926023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 930159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3946087440454873951.key 930159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 930159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7523065055352295380.key 930159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.8ns 930159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 934347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7523065055352295380.key 934363 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 934363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17334843749300328667.key 934363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.8ns 934363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 938445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17334843749300328667.key 938445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 938445 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 938445 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 938445 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 938445 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 938461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14133919815252444498.key 938461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220ns 938461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 942575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14133919815252444498.key 942575 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 942590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15841999310500604887.key 942590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.1ns 942590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 946747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15841999310500604887.key 946762 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 946762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16567626745322044841.key 946762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.4ns 946762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 950893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 950909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16567626745322044841.key 950909 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 950925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10971244251356153600.key 950925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137ns 950925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 955044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10971244251356153600.key 955044 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 955060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14566214154077889864.key 955060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.3ns 955060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 959234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14566214154077889864.key 959234 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 959250 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.props16302154784713241444.smt2 959250 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.props15288320652719212602.smt2 959250 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.props12292419956702070507.smt2 959250 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.props15041669736479925217.smt2 959250 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.props13411279802112482478.smt2 959250 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.props10189353924182410272.smt2 959265 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.props10399237831135725532.smt2 959265 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.props9815767745218766506.smt2 959265 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.props7890328214147723515.smt2 959265 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.props16508094672364328731.smt2 959265 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.props10851514532864821507.smt2 959265 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.props15062280134045276031.smt2 959276 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.props16742628929259631281.smt2 959276 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.props15501415804721517449.smt2 959276 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.props5936242108455252681.smt2 959276 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.props14145881846036598950.smt2 959276 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.props5604282366948697664.smt2 959276 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.props16672898591728827796.smt2 959276 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.props289839059285260656.smt2 959276 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.props12787346589754166106.smt2 959276 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.props10935142959494732235.smt2 959292 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.props7742837738539942965.smt2 959292 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.props10907464748856392107.smt2 959292 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.props17328842324816243063.smt2