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.001s | 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.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.005s | 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.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.006s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | 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
656857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6149831501637992805.key 656857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.9ns 656872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657029 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 657044 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 657044 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 657044 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 657826 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 661609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 661625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6149831501637992805.key 661625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 661641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16367968357981540813.key 661641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.2ns 661656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 665175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16367968357981540813.key 665190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 665190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6501656165769673159.key 665190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 384ns 665190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 668973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6501656165769673159.key 668989 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 668989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9673530929342005411.key 668989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.1ns 668989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 672491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9673530929342005411.key 672491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 672507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16812467226629291627.key 672507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.2ns 672507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 676055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16812467226629291627.key 676055 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 676071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4164420731748926512.key 676071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.7ns 676071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 679542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4164420731748926512.key 679542 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 679558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props14486043966544377212.key 679558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.2ns 679558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 683154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14486043966544377212.key 683154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 683154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props14245833918100536963.key 683154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.6ns 683154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 686624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14245833918100536963.key 686624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 686624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3382999713977497332.key 686624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204ns 686624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 690141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3382999713977497332.key 690141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 690141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1823617521967058013.key 690141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.6ns 690157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 693613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1823617521967058013.key 693613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 693628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7430071778837493960.key 693628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.7ns 693628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 697084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7430071778837493960.key 697084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 697099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10277542162969911610.key 697099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.8ns 697099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 700632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10277542162969911610.key 700632 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 700647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5293993200168521394.key 700647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.5ns 700647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 704118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5293993200168521394.key 704118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 704134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props8440530102898134055.key 704134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.9ns 704134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 707652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props8440530102898134055.key 707652 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 707668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16906844586199235684.key 707668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.7ns 707668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 711233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16906844586199235684.key 711233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 711248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7660574399842616863.key 711248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.9ns 711248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 714720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7660574399842616863.key 714720 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 714736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2914785392097326214.key 714736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.4ns 714736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 718097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2914785392097326214.key 718097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 718112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14823743221185597338.key 718112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.6ns 718112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 721411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14823743221185597338.key 721411 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 721411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props14597423430303231320.key 721411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 697.9ns 721411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 724773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14597423430303231320.key 724773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24ns 724789 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 724789 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 724789 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 724789 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 724789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14209901523150731680.key 724789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 724789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 728135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14209901523150731680.key 728135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 728151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5487714326334608116.key 728151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.5ns 728151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 731515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5487714326334608116.key 731515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 731515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props3693183315927290138.key 731515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.4ns 731515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 734861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3693183315927290138.key 734861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 734877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6090380285517560400.key 734877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 386ns 734877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 738223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6090380285517560400.key 738223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 738223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props380173729121743300.key 738223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247ns 738223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 741678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props380173729121743300.key 741678 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 742069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8218960548040572611.key 742069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.1ns 742069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 745463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8218960548040572611.key 745463 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 745479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15893716824054982761.key 745479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 419ns 745479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 748902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15893716824054982761.key 748902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 748902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props2935865042003760050.key 748902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 278ns 748918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 752312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2935865042003760050.key 752312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 752327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props10855527027925704617.key 752327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.3ns 752327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 755783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10855527027925704617.key 755783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 755783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14688359570496751844.key 755783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.3ns 755799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 759066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14688359570496751844.key 759066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 759082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5861816606767209126.key 759082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 636.3ns 759082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 762397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5861816606767209126.key 762397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 762397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props14275561471175372029.key 762397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604.2ns 762412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 765774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14275561471175372029.key 765774 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 765774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7371513836160705895.key 765774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.3ns 765774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 769105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7371513836160705895.key 769105 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 769105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9687651766496650873.key 769105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.4ns 769105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 772404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9687651766496650873.key 772404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 772404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props10552252592871588303.key 772404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.5ns 772420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 775812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10552252592871588303.key 775812 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 775827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2964685021189422172.key 775827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.7ns 775827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 779079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2964685021189422172.key 779079 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24ns 779079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13720844542486448736.key 779079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 354.2ns 779079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 782441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13720844542486448736.key 782441 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 782441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16722836975967716284.key 782441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.5ns 782456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 785959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16722836975967716284.key 785959 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 785974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2864521643500767911.key 785974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.5ns 785974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 789258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 789274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2864521643500767911.key 789274 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 789289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7098145152442909113.key 789289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.2ns 789289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 792667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7098145152442909113.key 792667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 792683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8458730233630425163.key 792683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.2ns 792683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 795934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8458730233630425163.key 795934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 795934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12754635050282244702.key 795934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.6ns 795934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 799296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12754635050282244702.key 799296 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 799296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1946670738281842236.key 799296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.1ns 799296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 802626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1946670738281842236.key 802626 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 802626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props14754019121314490036.key 802626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.9ns 802642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 806033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14754019121314490036.key 806033 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 806049 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 806049 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 806049 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 806049 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 806049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12394363964520107900.key 806049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.5ns 806049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 809410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12394363964520107900.key 809410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 809410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16728669803315288841.key 809410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258ns 809410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 812709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 812725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16728669803315288841.key 812725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 812725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props8851950655775987600.key 812725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157ns 812725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 816085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 816101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props8851950655775987600.key 816101 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 816117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6488577633487215668.key 816117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249ns 816117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 819478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 819494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6488577633487215668.key 819494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 819510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props497383568675028293.key 819510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.7ns 819510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 822841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 822872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props497383568675028293.key 822872 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.5ns 822872 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.props2058205806299830949.smt2 822872 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.props15648568992378332690.smt2 822872 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.props10106918959063855464.smt2 822872 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.props5251954594302648989.smt2 822872 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.props276142241336142087.smt2 822887 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.props14373513100577074643.smt2 822887 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.props2192760477841429952.smt2 822887 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.props1780158257431774821.smt2 822887 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.props4404710029900541392.smt2 822887 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.props6787411448828392542.smt2 822887 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.props3770149533802467150.smt2 822887 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.props8455925236077062522.smt2 822887 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.props11387031235204221872.smt2 822887 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.props6435988790701420512.smt2 822887 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.props4645878418181197063.smt2 822903 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.props9758372726832359686.smt2 822903 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.props5755734420053498201.smt2 822903 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.props1053019981113308886.smt2 822903 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.props3558161456383485012.smt2 822903 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.props4397268030451198875.smt2 822903 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.props4060025328032010130.smt2 822919 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.props3679872586992389289.smt2 822919 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.props13239017784532539648.smt2 822919 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.props3467962530865897480.smt2