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.002s | 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.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.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.003s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.003s | 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.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.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
472620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16844450837229239801.key 472620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.2ns 472622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 472729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 472729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 472729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 472729 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 473150 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 476126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 476142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16844450837229239801.key 476158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 476173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props4045543895822625620.key 476173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.9ns 476173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 478946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 478961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4045543895822625620.key 478961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 478961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1381453599366846483.key 478961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.5ns 478977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 481609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 481625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1381453599366846483.key 481625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 481625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7727170237538520589.key 481625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 374.5ns 481625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 484330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 484346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7727170237538520589.key 484346 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 484346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9303658769742224395.key 484346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.1ns 484346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 486993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 487009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9303658769742224395.key 487009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 175ns 487024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12249344425408125379.key 487024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.5ns 487024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 489742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 489757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12249344425408125379.key 489757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 489757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17919358834953790826.key 489757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.9ns 489757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 492433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 492449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17919358834953790826.key 492449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 492464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5968164371825872018.key 492464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.3ns 492464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 495140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 495156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5968164371825872018.key 495156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 495156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2900995322134794421.key 495156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.8ns 495156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 497919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 497935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2900995322134794421.key 497935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 497950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8780203010464510442.key 497950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.4ns 497950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 500636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 500652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8780203010464510442.key 500652 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 500668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10010697800605943305.key 500668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.1ns 500668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 503447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 503463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10010697800605943305.key 503463 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 503463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16285807184830401739.key 503463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230ns 503463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 506163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 506178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16285807184830401739.key 506178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 506194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10753984478491127345.key 506194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.3ns 506194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 508981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 508997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10753984478491127345.key 508997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 508997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props18046222881947553069.key 508997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.9ns 508997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 511797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 511811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props18046222881947553069.key 511811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 511811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17298026962179113356.key 511811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.3ns 511811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 514508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 514524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17298026962179113356.key 514524 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 514524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props15048440410521294816.key 514524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.8ns 514524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 517340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 517355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props15048440410521294816.key 517355 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 517355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10130774236392039898.key 517371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.5ns 517371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 520053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 520068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10130774236392039898.key 520068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 520068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props5866794651849510774.key 520068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 367.1ns 520084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 522860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 522875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5866794651849510774.key 522875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 522875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props851405124882338218.key 522875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.3ns 522875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 525611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props851405124882338218.key 525611 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 525611 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 525611 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 525611 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 525611 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 525611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10005933020153289230.key 525611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.2ns 525611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 528395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 528410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10005933020153289230.key 528410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 528426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5545294783009417411.key 528426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.2ns 528426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 531209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5545294783009417411.key 531209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 531224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6630188341820640772.key 531224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.5ns 531224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 533923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6630188341820640772.key 533923 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 533923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9843621977362348870.key 533923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211ns 533923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 536697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 536712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9843621977362348870.key 536712 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 536728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3055640595573438921.key 536728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198ns 536728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 539469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 539484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3055640595573438921.key 539484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 539766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16316298426962692979.key 539766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.3ns 539766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 542439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 542455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16316298426962692979.key 542455 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 542471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2508445919765908415.key 542471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.8ns 542471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 545243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 545259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2508445919765908415.key 545259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 545259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4624322105487309508.key 545259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.1ns 545274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 548027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4624322105487309508.key 548043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 548043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9484771017046979387.key 548043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.8ns 548043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 550721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9484771017046979387.key 550737 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 550752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1377581917843843715.key 550752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.4ns 550752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 553500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 553515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1377581917843843715.key 553515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 553515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props3808476724499907309.key 553515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.8ns 553515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 556272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 556288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3808476724499907309.key 556288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 556288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3884211822897813309.key 556288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.2ns 556288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 558947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3884211822897813309.key 558947 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 558963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4657804155177851065.key 558963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.3ns 558963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 561745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4657804155177851065.key 561745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 561745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8143371050562460308.key 561745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.7ns 561745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 564508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8143371050562460308.key 564508 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 564508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14849032498264910107.key 564508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.8ns 564524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 567269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14849032498264910107.key 567269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 567285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props195660076217548002.key 567285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.5ns 567285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 569974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props195660076217548002.key 569974 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 569974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13574249791683557738.key 569974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.7ns 569990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 572741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13574249791683557738.key 572757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 572757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6795176083539236491.key 572757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.6ns 572757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 575524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 575539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6795176083539236491.key 575539 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 575539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17391637138796065732.key 575539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373.5ns 575555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 578325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 578341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17391637138796065732.key 578341 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 578341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10107153206015625978.key 578341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.6ns 578357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 581144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10107153206015625978.key 581144 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 581144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props17890504501766978948.key 581144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.8ns 581160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 583951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17890504501766978948.key 583951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 583951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8291235425534212783.key 583951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 583951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 586723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8291235425534212783.key 586723 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 586739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11837337854101768883.key 586739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.8ns 586739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 589431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11837337854101768883.key 589431 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.4ns 589431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1525365289061755575.key 589431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.1ns 589431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 592231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1525365289061755575.key 592231 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.9ns 592247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 592247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 592247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 592247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 592247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1732911227765970694.key 592247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.6ns 592247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 595014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 595030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1732911227765970694.key 595030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 595030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2435592062972692302.key 595030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.9ns 595030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 597816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2435592062972692302.key 597816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 597816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12283288435377006148.key 597816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.5ns 597816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 600569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12283288435377006148.key 600569 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 600585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5761074245195854773.key 600585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.9ns 600585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 603331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5761074245195854773.key 603331 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 603331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7184388554431316003.key 603331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.2ns 603331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 606083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7184388554431316003.key 606083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 606083 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.props6424604018907591941.smt2 606083 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.props13477166682715940987.smt2 606083 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.props803942167311379072.smt2 606083 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.props538280551924904163.smt2 606099 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.props17725827134013329662.smt2 606099 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.props8593946432534908564.smt2 606099 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.props8016375584192318974.smt2 606099 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.props2986484520953820223.smt2 606099 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.props6159760347406296103.smt2 606099 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.props9041408927486519561.smt2 606099 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.props18313022614724192872.smt2 606099 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.props12549954205193761197.smt2 606099 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.props11630390282566871809.smt2 606114 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.props6032554564676766351.smt2 606114 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.props15002631562171676699.smt2 606114 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.props13907739912400545911.smt2 606114 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.props12528521034509640676.smt2 606114 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.props8994355074968453655.smt2 606114 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.props5876042006956619474.smt2 606114 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.props696391357100112959.smt2 606114 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.props16414613729897530344.smt2 606130 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.props9314076159577235326.smt2 606130 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.props15572031459341185726.smt2 606130 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.props17449724017188497148.smt2