Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.003s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | 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.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | 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.002s | 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.001s | 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.002s | 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.003s | 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
1017189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12333086708975474031.key 1017189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.3ns 1017189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1017439 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1017439 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1017439 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1017439 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1018397 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 1024195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7s 1024211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12333086708975474031.key 1024211 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 1024258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props488706341063092038.key 1024258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.6ns 1024258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1029708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1029740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props488706341063092038.key 1029740 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 1029740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1326938962695825304.key 1029740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 584.5ns 1029740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1035198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1035229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1326938962695825304.key 1035229 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 1035229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9995932865317910499.key 1035229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 541.8ns 1035245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1040844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s 1040860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9995932865317910499.key 1040860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 1040875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props76140343058149671.key 1040875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.1ns 1040875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1046491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.62s 1046507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props76140343058149671.key 1046507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1046522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16406752235555925643.key 1046522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.7ns 1046522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1052066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 1052083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16406752235555925643.key 1052083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1052098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13086378505353152376.key 1052098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.6ns 1052098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1057618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 1057649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13086378505353152376.key 1057649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1057649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13836385214522189482.key 1057649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.3ns 1057665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1063262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 1063277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13836385214522189482.key 1063277 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1063293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1458616638650613344.key 1063293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.5ns 1063293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1068799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 1068814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1458616638650613344.key 1068814 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 1068830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4432709706382393105.key 1068830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.8ns 1068830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1074278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1074309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4432709706382393105.key 1074309 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 1074309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8275333095304879400.key 1074309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.5ns 1074309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1079873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 1079905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8275333095304879400.key 1079905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 1079905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13195420851786387118.key 1079905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 435.3ns 1079905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1085402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1085418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13195420851786387118.key 1085418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14ns 1085418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12041016145104798610.key 1085418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.7ns 1085433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1090828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1090860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12041016145104798610.key 1090860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1090860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2718594836361115444.key 1090860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.2ns 1090860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1096256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1096272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2718594836361115444.key 1096287 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 1096290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3019097213231619309.key 1096290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.4ns 1096290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1101738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1101754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3019097213231619309.key 1101754 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1101770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5710186092340458681.key 1101770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.5ns 1101770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1107260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1107276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5710186092340458681.key 1107292 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.5ns 1107292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14511036484013776816.key 1107292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 550.5ns 1107292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1112687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1112718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14511036484013776816.key 1112718 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1112718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3445920893991626191.key 1112718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 685.5ns 1112718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1118162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 1118177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3445920893991626191.key 1118177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 1118177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props15007600442655193780.key 1118177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.4ns 1118193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1123580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1123596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15007600442655193780.key 1123596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 1123596 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1123924 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1123924 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1123924 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1123939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13689712948961247689.key 1123939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.7ns 1123939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1129526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.58s 1129542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13689712948961247689.key 1129542 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 1129542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7844321317104422222.key 1129542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.1ns 1129557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1135156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 1135187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7844321317104422222.key 1135187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1135187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1603845945228652703.key 1135187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.9ns 1135203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1140815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.62s 1140830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1603845945228652703.key 1140830 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1140846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11086404563654851552.key 1140846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193ns 1140846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1146411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s 1146442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11086404563654851552.key 1146442 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1146442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props18359417190389233124.key 1146442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.4ns 1146442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1151996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 1152012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props18359417190389233124.key 1152012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1152411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6567231834505994943.key 1152411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.5ns 1152411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1157872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1157903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6567231834505994943.key 1157903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1157903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10173908528556239026.key 1157903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.1ns 1157903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1163393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 1163408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10173908528556239026.key 1163408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 1163424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14853775071225002446.key 1163424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 506.7ns 1163424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1168904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 1168919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14853775071225002446.key 1168919 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 1168935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props1306204976190107959.key 1168935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.4ns 1168935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1174458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 1174489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1306204976190107959.key 1174489 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns 1174489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16859379997332233426.key 1174489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340ns 1174489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1180020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 1180036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16859379997332233426.key 1180036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 1180052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7682303276063801844.key 1180052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.5ns 1180052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1185458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1185474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7682303276063801844.key 1185474 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 1185490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13002679251834546689.key 1185490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.3ns 1185490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1191028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 1191043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13002679251834546689.key 1191043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 1191059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5867279249135590294.key 1191059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.8ns 1191059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1196586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 1196602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5867279249135590294.key 1196602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 1196602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props18144080398470746873.key 1196602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.3ns 1196617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1202079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 1202110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props18144080398470746873.key 1202110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 1202110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17083706476206990685.key 1202110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.8ns 1202110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1207508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1207555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17083706476206990685.key 1207555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1207555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5376301717549747053.key 1207555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.9ns 1207555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1212920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1212951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5376301717549747053.key 1212951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1212951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10235467858796380081.key 1212951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.1ns 1212951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1218389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1218404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10235467858796380081.key 1218420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1218420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props295431649413723266.key 1218420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.11ms 1218420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1223829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1223845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props295431649413723266.key 1223845 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1223845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7470976411410776734.key 1223845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.6ns 1223860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1229203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 1229234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7470976411410776734.key 1229234 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 1229234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17651736632375442320.key 1229234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.6ns 1229234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1234682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1234713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17651736632375442320.key 1234713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 1234713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5358517709168499336.key 1234713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.7ns 1234729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1240159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1240190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5358517709168499336.key 1240190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1240190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props7311691448972601510.key 1240190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.5ns 1240190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1245651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1245667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7311691448972601510.key 1245667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 1245682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props365976857721271006.key 1245682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.4ns 1245682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1251305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.62s 1251321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props365976857721271006.key 1251321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1251321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12761178770487706669.key 1251321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.3ns 1251336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1257173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.84s 1257188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12761178770487706669.key 1257188 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 1257204 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1257204 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1257204 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1257204 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1257204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12209628350570796242.key 1257204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.7ns 1257204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1262906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.7s 1262938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12209628350570796242.key 1262938 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.7ns 1262938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props14393932340581899597.key 1262938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.1ns 1262938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1268668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.73s 1268700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14393932340581899597.key 1268700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 1268700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11534268189899753736.key 1268700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 370ns 1268715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1274379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s 1274410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11534268189899753736.key 1274410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 1274410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props274603901141773322.key 1274410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.7ns 1274426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1280073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.65s 1280088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props274603901141773322.key 1280088 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 1280104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13594483381784239510.key 1280104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 514.5ns 1280104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1285606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 1285637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13594483381784239510.key 1285637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 1285637 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.props6519917044754118577.smt2 1285637 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.props16330921955196454825.smt2 1285653 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.props6295013893901395927.smt2 1285653 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.props1035917057451590329.smt2 1285653 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.props11375183296439701766.smt2 1285653 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.props538139881387398904.smt2 1285653 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.props18300086191197880444.smt2 1285653 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.props9027713867077865835.smt2 1285668 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.props15811739992683103213.smt2 1285668 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.props11207457878539249649.smt2 1285668 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.props8651417420593711116.smt2 1285668 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.props14735766380183821967.smt2 1285668 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.props7237300154032366032.smt2 1285684 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.props7527519044804098887.smt2 1285684 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.props6896076472262592113.smt2 1285684 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.props17741989871105359126.smt2 1285684 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.props12020462462174234574.smt2 1285684 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.props6679259874706243856.smt2 1285684 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.props11398657585943448111.smt2 1285684 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.props11074346275900963881.smt2 1285684 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.props13604397893221185838.smt2 1285700 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.props4563672671801123217.smt2 1285700 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.props9241049608799666586.smt2 1285700 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.props10018635335847767389.smt2