Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.003s | 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.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.007s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.019s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | 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
650800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2705078705295888032.key 650800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202ns 650800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 651047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 651047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 651047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 651758 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 655908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 655925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2705078705295888032.key 655925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 656017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7263574050045717447.key 656017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.1ns 656017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 659285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7263574050045717447.key 659285 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 659301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14176937982602378525.key 659301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.5ns 659301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 662719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14176937982602378525.key 662719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 662719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16925051565181284687.key 662719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.3ns 662735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 666074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16925051565181284687.key 666074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 666074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props10846701872103895342.key 666074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.9ns 666089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 669437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10846701872103895342.key 669437 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 669437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10383244925686146886.key 669437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287ns 669453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 672908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10383244925686146886.key 672908 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 672923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2463694699173439378.key 672923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 650.4ns 672923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s 676904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2463694699173439378.key 676904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 676904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8596362416311113332.key 676904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196ns 676904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 680265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8596362416311113332.key 680265 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 680265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props341472631344002847.key 680265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.1ns 680281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 683538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props341472631344002847.key 683538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 683538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12771288002877048796.key 683538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 416.4ns 683553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 686951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12771288002877048796.key 686951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 686951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5427764596706841318.key 686951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 356ns 686966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 690343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5427764596706841318.key 690343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 690358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5414129851049513967.key 690358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129ns 690358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 693622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5414129851049513967.key 693622 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 693622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5591730339779782636.key 693622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.2ns 693622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 696766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5591730339779782636.key 696766 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 696766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14636622132099064957.key 696766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.8ns 696782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 699871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14636622132099064957.key 699871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 699886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props2206233247295412934.key 699886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 678.4ns 699886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 702973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props2206233247295412934.key 702973 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 702988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5931082484754755099.key 702988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.7ns 702988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 706068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5931082484754755099.key 706068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 706084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3613293944821190041.key 706084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.7ns 706084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 709395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3613293944821190041.key 709395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 709411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props4454050592693965128.key 709411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.8ns 709411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 712638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4454050592693965128.key 712638 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.7ns 712638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props925745033756766746.key 712638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.5ns 712638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 715761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props925745033756766746.key 715761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 715761 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 715761 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 715761 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 715761 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 715761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props3173534716327498975.key 715761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237ns 715761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 718854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3173534716327498975.key 718854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 718870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props14469856262816968934.key 718870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.5ns 718870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 721871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14469856262816968934.key 721871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 721871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7980186267901494956.key 721871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.8ns 721871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 725154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7980186267901494956.key 725154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 725170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10802320299912489878.key 725170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 367.9ns 725170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 728465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10802320299912489878.key 728465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 728465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4264724640263538894.key 728465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220ns 728465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 731597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4264724640263538894.key 731597 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 731990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16871137405656012214.key 731990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252ns 731990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 735103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16871137405656012214.key 735103 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.9ns 735118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15150627191161689220.key 735118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.4ns 735118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 738268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15150627191161689220.key 738268 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 738268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15492967223716848865.key 738268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.8ns 738284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 741636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15492967223716848865.key 741636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 741652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4576951046545966788.key 741652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352ns 741652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 745210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4576951046545966788.key 745210 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 745210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9665047561992097737.key 745210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.9ns 745210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 748370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9665047561992097737.key 748370 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 748386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9805878381298392859.key 748386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.5ns 748386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 751514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9805878381298392859.key 751514 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.6ns 751514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11503005363411149259.key 751514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.5ns 751529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 754672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11503005363411149259.key 754672 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 754688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6014622271351551484.key 754688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.4ns 754688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 757974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6014622271351551484.key 757989 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 757989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10959716077867673763.key 757989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.1ns 757989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 761485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10959716077867673763.key 761485 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.6ns 761485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1203369451505012580.key 761485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.3ns 761501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 764612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 764628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1203369451505012580.key 764628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 764628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10595494291063377612.key 764628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 354.1ns 764628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 767750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10595494291063377612.key 767750 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 767766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props18347631610848711875.key 767766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.7ns 767766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 770938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 770954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props18347631610848711875.key 770954 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 770970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8950476961044051524.key 770970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.7ns 770970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 774175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8950476961044051524.key 774175 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 774206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10136248552911999607.key 774206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524ns 774206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 777567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 777583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10136248552911999607.key 777583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 777583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14301120918860858179.key 777583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 777583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 780839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14301120918860858179.key 780839 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.7ns 780855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7871296012723535880.key 780855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.6ns 780855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 783904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7871296012723535880.key 783920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 783920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3977356892804156655.key 783920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.7ns 783920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 787040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3977356892804156655.key 787040 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 787055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16515556996201068673.key 787055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.6ns 787055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 790041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16515556996201068673.key 790041 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 790041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5553658805463295578.key 790057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 998.9ns 790057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 793406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5553658805463295578.key 793406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 793406 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 793406 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 793406 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 793406 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 793406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10536768206236748710.key 793406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.7ns 793422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 796530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 796546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10536768206236748710.key 796546 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 796562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1393110400253014916.key 796562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.2ns 796562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 799803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1393110400253014916.key 799803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 799819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9496697082287925349.key 799819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.1ns 799819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 802829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9496697082287925349.key 802845 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 802845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5326274947029781957.key 802845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.3ns 802845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 805864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5326274947029781957.key 805864 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 805864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props1464836146185252262.key 805864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 982.2ns 805880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 808913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 808928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1464836146185252262.key 808928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.3ns 808944 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.props907366998852507518.smt2 808944 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.props14633568172338547885.smt2 808944 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.props4858597824648594755.smt2 808944 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.props3964128092092081488.smt2 808944 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.props8172692722047777471.smt2 808944 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.props10317923836552586022.smt2 808944 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.props7953611886942205263.smt2 808959 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.props17182129372740874439.smt2 808959 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.props13071110723683188772.smt2 808959 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.props10135880005706090798.smt2 808966 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.props255348036653282860.smt2 808966 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.props14352637876401541508.smt2 808966 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.props661975009246918153.smt2 808966 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.props2909879603850899804.smt2 808966 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.props9849756665095242420.smt2 808966 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.props4770828494652999780.smt2 808966 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.props7219459744113499278.smt2 808966 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.props14198236525504486041.smt2 808966 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.props8302525611288690484.smt2 808982 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.props540150756345975567.smt2 808997 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.props10624460517134531019.smt2 808997 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.props1900531658161617102.smt2 808997 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.props4133639634585356778.smt2 808997 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.props196825598771205354.smt2