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.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.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.002s | 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.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | 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.004s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.003s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.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
578519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15210329725116348766.key 578520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.4ns 578523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 578745 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 578745 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 578745 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 578745 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 579355 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 583190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 583206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15210329725116348766.key 583222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 583253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9388177543884688249.key 583253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.8ns 583253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 586577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9388177543884688249.key 586577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 586592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4425697255995399158.key 586592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.6ns 586592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 589869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4425697255995399158.key 589869 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 589869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6022081770064854547.key 589869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.3ns 589869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 593301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6022081770064854547.key 593301 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 593332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9230820556313991269.key 593332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 6.7ms 593348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 596771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9230820556313991269.key 596771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 596787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14137122670038291290.key 596787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.4ns 596787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 600095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14137122670038291290.key 600095 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 600111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10929667532209171538.key 600111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.4ns 600111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 603458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10929667532209171538.key 603458 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 603458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16855590999133872019.key 603474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 869.1ns 603474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 606973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16855590999133872019.key 606973 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 606973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16792875562660367995.key 606973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.9ns 606973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 610682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16792875562660367995.key 610682 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 610698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17437150929201553908.key 610698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.4ns 610698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 613965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17437150929201553908.key 613965 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 613965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12634371530914827129.key 613965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.6ns 613996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 617396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12634371530914827129.key 617396 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 617396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10291647020206517438.key 617396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 449.7ns 617412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 620826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10291647020206517438.key 620826 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 620842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9361375105550891975.key 620842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.5ns 620842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 624400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9361375105550891975.key 624400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 624400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13414918149613508771.key 624400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.2ns 624415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 627683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13414918149613508771.key 627698 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 627698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7480697866381838412.key 627698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.4ns 627698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 630992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7480697866381838412.key 630992 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 631007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8446644257546287610.key 631007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142ns 631007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 634343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8446644257546287610.key 634343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.1ns 634359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props18172004249561532100.key 634359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 674.5ns 634359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 638036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18172004249561532100.key 638036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 638036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8448080765538182040.key 638036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.8ns 638036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 641320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8448080765538182040.key 641320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 641320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props8336149728654188684.key 641320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.8ns 641336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 644602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8336149728654188684.key 644617 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 644617 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 644617 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 644617 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 644617 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 644617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17859091179356140548.key 644617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns 644617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 647937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17859091179356140548.key 647937 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 647937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7147279609540708616.key 647937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.6ns 647937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 651421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7147279609540708616.key 651421 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 651421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11644120017631270693.key 651421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.9ns 651436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 654894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11644120017631270693.key 654894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 654909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props15263724247942254444.key 654909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.5ns 654909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 658166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15263724247942254444.key 658166 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 658182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12283697205691260131.key 658182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.3ns 658182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 661580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12283697205691260131.key 661580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 662013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12223404693304889210.key 662013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.8ns 662013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 665688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12223404693304889210.key 665688 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 665703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5518182826493338766.key 665703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.09ms 665703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 669398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5518182826493338766.key 669398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 669398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10780319657579014049.key 669398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 416.8ns 669413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 672992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10780319657579014049.key 672992 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 673007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4558431511668590991.key 673007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.8ns 673007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 676402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4558431511668590991.key 676402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 676418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props10996497314583697578.key 676418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248ns 676418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 679770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10996497314583697578.key 679770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 679786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8433026248555492289.key 679786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.1ns 679786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 683182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8433026248555492289.key 683182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 683182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props18185632746286534250.key 683182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.24ms 683198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 686616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props18185632746286534250.key 686616 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 686616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8855797531042005494.key 686616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.64ms 686631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 689899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8855797531042005494.key 689899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 689899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props6123930905077872311.key 689899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.8ns 689915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 693324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6123930905077872311.key 693324 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 693324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1329324963136560931.key 693324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146ns 693324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 696671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1329324963136560931.key 696671 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 696671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5116565600994077259.key 696671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.5ns 696671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 700127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5116565600994077259.key 700127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 700142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14562162977116978251.key 700142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.1ns 700142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 703551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14562162977116978251.key 703551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 703567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6399403678901082979.key 703567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.8ns 703567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 706982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6399403678901082979.key 706998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 706998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13844502936927735537.key 706998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.8ns 706998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 710530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13844502936927735537.key 710530 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 710530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9747361427681818123.key 710530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.4ns 710530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713986 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 714002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9747361427681818123.key 714002 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 714018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8317252386335628972.key 714018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.2ns 714019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 717717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8317252386335628972.key 717717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 717717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props40598166288778844.key 717717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.8ns 717717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 720980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props40598166288778844.key 720996 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 720996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3468595139089575649.key 720996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 557.8ns 720996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 724650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3468595139089575649.key 724650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 724650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13468133162616804178.key 724650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.7ns 724666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 728094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13468133162616804178.key 728094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 728110 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 728110 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 728110 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 728110 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 728110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15492804006789555036.key 728110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157ns 728110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 731611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15492804006789555036.key 731627 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 731627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10210534976964991864.key 731627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.4ns 731627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 735160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10210534976964991864.key 735160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns 735160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11882473184730140743.key 735160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.5ns 735160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 738651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11882473184730140743.key 738651 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 738651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13506080551424390535.key 738651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.9ns 738651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 742137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13506080551424390535.key 742137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 742153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15219547976755940964.key 742153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns 742153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 745623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15219547976755940964.key 745623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 745623 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.props4941299343824288461.smt2 745638 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.props17985158225932596878.smt2 745638 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.props12111365617294875466.smt2 745638 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.props13903276435910555154.smt2 745638 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.props12912832609733042637.smt2 745638 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.props15077092808477347836.smt2 745638 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.props14921539656787331328.smt2 745638 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.props15201094952476127297.smt2 745654 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.props3862320371216684051.smt2 745654 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.props12864070031246548157.smt2 745654 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.props17005049525302404870.smt2 745654 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.props7062730626170876251.smt2 745654 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.props15588589732593545260.smt2 745654 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.props14715024857832156996.smt2 745654 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.props10811205360754203760.smt2 745654 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.props12449608592073004680.smt2 745670 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.props5016174841682555208.smt2 745670 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.props4371405599068607784.smt2 745670 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.props18044566215335726545.smt2 745670 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.props16526171800645813013.smt2 745670 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.props14426648911203196961.smt2 745670 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.props17782615889227572491.smt2 745683 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.props4267601265408611383.smt2 745683 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.props3941758251758845356.smt2