Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.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.002s | 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.002s | 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.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | 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
806325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6172585316581342110.key 806325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.1ns 806325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806511 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 806511 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 806511 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 806511 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 807094 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 811674 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 811690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6172585316581342110.key 811690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 811721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8966116240746697171.key 811721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.6ns 811721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 815891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 815907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8966116240746697171.key 815907 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 815922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10286908988930481470.key 815922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.4ns 815927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 820146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 820162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10286908988930481470.key 820162 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 820162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props13752337580385885923.key 820162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.4ns 820162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 824506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 824522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13752337580385885923.key 824522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 824537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15862223269403753230.key 824537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.5ns 824537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 828840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 828856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15862223269403753230.key 828856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 828872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props3944677221244010232.key 828872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.3ns 828872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 833240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3944677221244010232.key 833240 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 833240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4830703956642935674.key 833240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233ns 833240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 837550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4830703956642935674.key 837550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 837550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3649372500301919292.key 837550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.1ns 837566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 841986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3649372500301919292.key 841986 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 841986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5925747584343510286.key 841986 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.6ns 841986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 846320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 846336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5925747584343510286.key 846336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 846336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12608928113917217985.key 846336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345ns 846336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 850776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12608928113917217985.key 850776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 850792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7206217866628615145.key 850792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.7ns 850792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 855171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 855187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7206217866628615145.key 855187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 855202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14948983051328037364.key 855202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.8ns 855202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 859600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 859616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14948983051328037364.key 859616 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 36ns 859631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8295713812519330064.key 859631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.9ns 859631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 863931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 863946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8295713812519330064.key 863946 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.3ns 863962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props8017482947811479049.key 863962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.3ns 863962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 868321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 868336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props8017482947811479049.key 868336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 868352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props13627314977804626571.key 868352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447.1ns 868352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 872683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 872714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13627314977804626571.key 872714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 872714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6395170625063937466.key 872714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 486.2ns 872714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 877040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 877055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6395170625063937466.key 877055 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 877055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props114294400835613821.key 877055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.2ns 877071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 881386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 881402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props114294400835613821.key 881402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 881402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3861002771016054349.key 881402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.3ns 881417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 885758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 885774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3861002771016054349.key 885774 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 885790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17550195947546377663.key 885790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.1ns 885790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 890072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 890087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17550195947546377663.key 890087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 890087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 890087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 890087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 890087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 890087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12700336254925790959.key 890087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133ns 890087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 894354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 894369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12700336254925790959.key 894385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 894385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15807601030026610669.key 894385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.5ns 894385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 898716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 898731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15807601030026610669.key 898731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 898747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17211163699902133801.key 898747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.4ns 898747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 903018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 903034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17211163699902133801.key 903034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 903049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1844219016038920802.key 903049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.3ns 903049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 907424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 907439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1844219016038920802.key 907439 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 907455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props11015110010898730321.key 907455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.8ns 907455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 911755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 911770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11015110010898730321.key 911770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 912068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8842360191796322094.key 912068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.8ns 912068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 916328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 916392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8842360191796322094.key 916393 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 916393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6946205839884146397.key 916393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.7ns 916393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 920681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 920697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6946205839884146397.key 920712 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 920712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3251963888378303649.key 920712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.9ns 920712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 925017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3251963888378303649.key 925017 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 925017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4381097878222304771.key 925017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.1ns 925032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 929403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 929418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4381097878222304771.key 929418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 929418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13265887206310610092.key 929418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.7ns 929418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 933735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 933751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13265887206310610092.key 933751 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 933751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5297753635415837433.key 933751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.4ns 933751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 938069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5297753635415837433.key 938069 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 938069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11752707042540212339.key 938069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.9ns 938085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 942419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11752707042540212339.key 942435 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 942435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3185899068676239557.key 942435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299ns 942435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 946745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3185899068676239557.key 946745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 946745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14413597332171272773.key 946745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns 946761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 951075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14413597332171272773.key 951075 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 951091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12127889293386145941.key 951091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.3ns 951091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 955415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12127889293386145941.key 955415 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 955415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6261596452417749253.key 955415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.2ns 955415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 959758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6261596452417749253.key 959758 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 959758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14483154309682141618.key 959758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.8ns 959758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 964077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 964093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14483154309682141618.key 964093 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 964109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props11772309553890497294.key 964109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.5ns 964109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 968391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 968407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11772309553890497294.key 968407 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 968407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props15664977998322780371.key 968407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.5ns 968422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 972692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 972724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15664977998322780371.key 972724 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 972724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props925795270889929447.key 972724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.8ns 972724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 977012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 977027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props925795270889929447.key 977027 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 977027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7342359175749357712.key 977027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 374ns 977027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 981329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 981345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7342359175749357712.key 981361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 981361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15921272762117363070.key 981361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.2ns 981361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 985689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 985704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15921272762117363070.key 985704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 985704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props6839502773494955602.key 985704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.4ns 985704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 990014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6839502773494955602.key 990014 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 990014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3354393423702977315.key 990014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.4ns 990029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 994379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3354393423702977315.key 994379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 994379 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 994379 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 994379 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 994379 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 994379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14565007323312884684.key 994379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.6ns 994379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 998721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 998736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14565007323312884684.key 998736 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 998736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10832603935618009412.key 998736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.6ns 998736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1003055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 1003071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10832603935618009412.key 1003071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 1003086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17052762347946809671.key 1003086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 485.8ns 1003086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1007403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 1007419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17052762347946809671.key 1007419 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1007419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props18281170581897033476.key 1007419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218ns 1007419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1011761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 1011777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props18281170581897033476.key 1011777 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 1011777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props17078916677345208415.key 1011777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.4ns 1011792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1016119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 1016134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17078916677345208415.key 1016134 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1016134 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.props7060626126510509157.smt2 1016134 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.props4732763932432898809.smt2 1016134 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.props12485881147427223761.smt2 1016134 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.props6778699313021369787.smt2 1016150 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.props4411776920631911739.smt2 1016150 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.props9003682033940660233.smt2 1016150 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.props9754984855018486386.smt2 1016150 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.props2810254311613371211.smt2 1016150 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.props15279386235352571667.smt2 1016150 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.props6704531169077121071.smt2 1016150 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.props17876838711080847958.smt2 1016150 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.props5825340074889621333.smt2 1016150 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.props17351657249450658204.smt2 1016150 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.props16632268426090960100.smt2 1016166 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.props16207438028360763722.smt2 1016166 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.props10020755493361391116.smt2 1016166 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.props6097388509919949451.smt2 1016166 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.props10083902151540218016.smt2 1016166 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.props13542810285926995084.smt2 1016166 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.props15021015970588313576.smt2 1016166 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.props1687478872592267547.smt2 1016181 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.props8210376373137841285.smt2 1016181 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.props3362479065354069605.smt2 1016181 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.props11518677885263996325.smt2