Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.004s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | 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.003s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | 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.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.003s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
936264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6987727091505330790.key 936279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.3ns 936279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 936529 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 936592 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 936592 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 936592 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 937368 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 943013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.74s 943029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6987727091505330790.key 943029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 943091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7165995949734987573.key 943091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.5ns 943091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 948102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 948118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7165995949734987573.key 948133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 948133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4900521714246994625.key 948133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.2ns 948133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 953160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 953192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4900521714246994625.key 953192 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 953192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9818939666979404978.key 953192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.3ns 953192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 958148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 958164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9818939666979404978.key 958180 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 958180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8425445257577175573.key 958180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.4ns 958180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 963165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 963181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8425445257577175573.key 963181 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 963196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5143835706909119310.key 963196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.9ns 963196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 968475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 968491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5143835706909119310.key 968491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 968491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1446602323361179986.key 968491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.3ns 968491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 973740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 973755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1446602323361179986.key 973755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 973755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props15840466338595750665.key 973755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.4ns 973771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 979062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 979080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props15840466338595750665.key 979080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 979080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props17435679510656352524.key 979080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.5ns 979096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 984220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17435679510656352524.key 984220 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 984220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3119673753468070059.key 984235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 592.8ns 984235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 989478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3119673753468070059.key 989478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 989493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7275745764905112718.key 989493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.5ns 989493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 994511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7275745764905112718.key 994511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 994526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2619280409237198899.key 994526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487.6ns 994526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 999672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 999703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2619280409237198899.key 999703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 999703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1399009188456442512.key 999703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 565.3ns 999703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1004975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1004990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1399009188456442512.key 1004990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1004990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props778372486639527989.key 1004990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.8ns 1004990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1010328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1010344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props778372486639527989.key 1010344 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 1010359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17119805773294708322.key 1010359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.1ns 1010359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1015669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1015700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17119805773294708322.key 1015700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24ns 1015716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3800310090364803115.key 1015716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.2ns 1015716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1021027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1021043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3800310090364803115.key 1021043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1021043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12376714915956586407.key 1021043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.9ns 1021043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1026292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1026307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12376714915956586407.key 1026307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1026323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15299050815659015644.key 1026323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 629.2ns 1026323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1031667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1031683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15299050815659015644.key 1031683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1031698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17292263597654584538.key 1031698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.2ns 1031698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1037079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1037095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17292263597654584538.key 1037110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1037110 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1037110 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1037110 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1037110 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1037110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props18132643609016549388.key 1037110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.3ns 1037110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1042533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1042548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props18132643609016549388.key 1042548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1042564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props4920130426577622796.key 1042564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294ns 1042564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1047934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1047949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props4920130426577622796.key 1047949 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1047949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props18366199992689985395.key 1047949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209ns 1047965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1052801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 1052816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props18366199992689985395.key 1052816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1052816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props15470834758253496483.key 1052816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 838.5ns 1052832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1057791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1057807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15470834758253496483.key 1057807 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1057822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6442983778479803552.key 1057822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 315.6ns 1057822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1062867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1062882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6442983778479803552.key 1062882 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1063299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7047698605586070901.key 1063299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.4ns 1063299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1068438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1068453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7047698605586070901.key 1068453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1068469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3895439751981289360.key 1068469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.2ns 1068469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1073433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1073448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3895439751981289360.key 1073448 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1073448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1899347414552278455.key 1073448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.7ns 1073464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1078447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1078478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1899347414552278455.key 1078478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1078478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props11356107158081538687.key 1078478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 370.6ns 1078478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1083495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11356107158081538687.key 1083495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns 1083495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2471726608839049411.key 1083495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.1ns 1083510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 1088376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2471726608839049411.key 1088376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.8ns 1088376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1984297253386138479.key 1088376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208ns 1088376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1093330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1093345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1984297253386138479.key 1093345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1093361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7537466939655497148.key 1093361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.1ns 1093361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1098352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1098367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7537466939655497148.key 1098367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1098383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4970354297802716899.key 1098383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.1ns 1098383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1103278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 1103294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4970354297802716899.key 1103294 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 1103309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15797087612935529750.key 1103309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.2ns 1103309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1108579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1108611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15797087612935529750.key 1108611 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.6ns 1108611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5826359433138767690.key 1108611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.9ns 1108611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1113871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1113887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5826359433138767690.key 1113903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.8ns 1113903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8929074789438494631.key 1113903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.1ns 1113903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1118881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 1118897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8929074789438494631.key 1118897 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1118897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props378043123801998372.key 1118897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.7ns 1118897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1123900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1123916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props378043123801998372.key 1123916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1123916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4011608423831302963.key 1123916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.2ns 1123916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1128575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 1128591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4011608423831302963.key 1128591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1128607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13050106038743720374.key 1128607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.5ns 1128607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1133172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 1133187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13050106038743720374.key 1133187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1133203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11008090580065697071.key 1133203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.6ns 1133203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1137848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 1137880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11008090580065697071.key 1137880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1137880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2342943313779549642.key 1137880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.9ns 1137880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1142529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 1142545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2342943313779549642.key 1142545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1142561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9678356012936163526.key 1142561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.9ns 1142561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1147438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 1147469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9678356012936163526.key 1147469 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1147469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props775704993199172687.key 1147469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.7ns 1147469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1152364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1152380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props775704993199172687.key 1152380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1152380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3268694371881042725.key 1152380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.7ns 1152399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1157299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 1157315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3268694371881042725.key 1157315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1157315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1157315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1157315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1157315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1157315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8312120531845341684.key 1157331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467ns 1157331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1162309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 1162324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8312120531845341684.key 1162324 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1162340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5240381126500105637.key 1162340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.7ns 1162340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1167219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1167235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5240381126500105637.key 1167235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.7ns 1167250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7425513899980909225.key 1167250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.8ns 1167250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1172327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1172390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7425513899980909225.key 1172391 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 1172397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props913988861923555146.key 1172397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.7ns 1172397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1177299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 1177315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props913988861923555146.key 1177315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1177315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2838354124701955473.key 1177315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.4ns 1177331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1182125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 1182141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2838354124701955473.key 1182141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1182157 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.props17130767231902387164.smt2 1182157 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.props4612565894816994686.smt2 1182157 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.props12542709116597868041.smt2 1182157 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.props1218253582257423291.smt2 1182172 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.props14089056822763557550.smt2 1182172 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.props7297486176438593134.smt2 1182172 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.props16953726990193587066.smt2 1182172 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.props7259397118891078835.smt2 1182172 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.props12279846759651276245.smt2 1182172 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.props9634248433681166511.smt2 1182188 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.props3165592744503595684.smt2 1182188 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.props9938474515147300970.smt2 1182188 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.props13059305437619388272.smt2 1182188 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.props16076899047244760679.smt2 1182188 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.props1725746177931936675.smt2 1182188 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.props15342996128997036409.smt2 1182203 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.props15955998020446856714.smt2 1182203 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.props8092437870998888458.smt2 1182203 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.props10497211075901026979.smt2 1182203 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.props10142298503162629178.smt2 1182203 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.props3534059665206819609.smt2 1182203 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.props12720233342599172438.smt2 1182203 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.props224268254904428283.smt2 1182203 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.props12595061240135439377.smt2