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] | 0s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.005s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.004s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.005s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.008s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.004s | 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.001s | 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.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
491874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4241658416817154718.key 491874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.1ns 491874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 491988 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 491988 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 491988 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 491988 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 492372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 495368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 495368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4241658416817154718.key 495368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 495383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3279950435470405591.key 495383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.5ns 495383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 497940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 497940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3279950435470405591.key 497940 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 497955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props325230045963187567.key 497955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.5ns 497955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 500518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 500518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props325230045963187567.key 500533 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 500533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9602896012025958130.key 500533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.6ns 500533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 503085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 503085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9602896012025958130.key 503085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 503101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16470033400863621222.key 503101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184ns 503101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 505688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 505704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16470033400863621222.key 505704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 505720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14070734455376168098.key 505720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.6ns 505720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 508323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 508337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14070734455376168098.key 508337 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 508337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10668023100140570418.key 508337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.8ns 508337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 510901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 510916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10668023100140570418.key 510916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 510916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props569953861776229505.key 510916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.7ns 510916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 513561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 513564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props569953861776229505.key 513564 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 513564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7520268646790761237.key 513564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.1ns 513579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 516214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 516230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7520268646790761237.key 516231 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 516231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8573294751268184823.key 516231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.1ns 516231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 518828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 518844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8573294751268184823.key 518844 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 518844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17931069069746812486.key 518844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188ns 518844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 521509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 521525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17931069069746812486.key 521525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 521541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3506001002543361394.key 521541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.1ns 521541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 524214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 524230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3506001002543361394.key 524230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 524230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16675962172332232944.key 524230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.6ns 524230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 526912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 526927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16675962172332232944.key 526927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 526927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16188242235311820148.key 526927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.7ns 526927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 529585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 529601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16188242235311820148.key 529601 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 529601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15705291526883755206.key 529601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.6ns 529616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 532180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 532196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15705291526883755206.key 532196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 532211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1880867786456129940.key 532211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.5ns 532211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 534865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 534880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1880867786456129940.key 534880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 534880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4388292899873232661.key 534880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.4ns 534880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 537537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 537554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4388292899873232661.key 537554 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 537554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13829860889445500452.key 537554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.7ns 537554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 540200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 540200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13829860889445500452.key 540216 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 540216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13759642902870402923.key 540216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.8ns 540216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 542865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 542880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13759642902870402923.key 542880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 542880 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 542880 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 542880 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 542880 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 542880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15127044560902636417.key 542880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.7ns 542880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 545565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 545580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15127044560902636417.key 545580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 545580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10561353401023781862.key 545580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.4ns 545580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 548255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10561353401023781862.key 548256 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 548259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6200892631335939322.key 548259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.4ns 548262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 550835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6200892631335939322.key 550835 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 550851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props18232448581690502162.key 550851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.4ns 550851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 553490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 553506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props18232448581690502162.key 553506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 553506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props11119814310320745112.key 553506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.1ns 553521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 556156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 556172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11119814310320745112.key 556172 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 556448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props1041366043967324550.key 556448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.6ns 556448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 559104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 559119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1041366043967324550.key 559119 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 559119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16116401023100677771.key 559119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.2ns 559119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 561785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16116401023100677771.key 561785 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 561785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17578914426147125695.key 561785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.8ns 561785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 564445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17578914426147125695.key 564461 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 564461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props1872560698072321420.key 564461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.6ns 564461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 567115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1872560698072321420.key 567115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 567115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13300413051026795610.key 567115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182ns 567130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 569766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13300413051026795610.key 569766 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 569766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1250407761168437625.key 569766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.9ns 569766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 572418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1250407761168437625.key 572418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 572418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props8812147979760032256.key 572418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340.2ns 572418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 575060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 575060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8812147979760032256.key 575060 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 575076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7910546926104603017.key 575076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.6ns 575076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 577800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7910546926104603017.key 577800 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 577800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props17174779516436340509.key 577800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.9ns 577800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 580450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17174779516436340509.key 580450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 580465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7475244207637219362.key 580465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.8ns 580465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 583109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7475244207637219362.key 583109 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 583109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7367537876644190599.key 583124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.1ns 583124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 585763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 585779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7367537876644190599.key 585779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 585779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10321805443946599260.key 585779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.4ns 585779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 588428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10321805443946599260.key 588428 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 588428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props11403467570872638555.key 588428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.1ns 588428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 591074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11403467570872638555.key 591074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 591074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16684651880605099646.key 591074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.7ns 591089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 593811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16684651880605099646.key 593811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 593811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props5222082407087993976.key 593811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.6ns 593811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 596458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5222082407087993976.key 596458 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 596473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14387601342961964720.key 596473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.4ns 596473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 599129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14387601342961964720.key 599129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 599145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16857736576466177656.key 599145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 278.3ns 599145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 601781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16857736576466177656.key 601781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 601781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props6549342413595629412.key 601781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.4ns 601797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 604510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 604525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6549342413595629412.key 604525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 604525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10319991027232803866.key 604525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.8ns 604525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 607221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10319991027232803866.key 607221 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 607221 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607221 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607221 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607221 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17673713182857803340.key 607221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.3ns 607221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 609887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17673713182857803340.key 609887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 609903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5389337111131041591.key 609903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.9ns 609903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 612618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5389337111131041591.key 612618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 612618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props192920581964794509.key 612618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109ns 612618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 615270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props192920581964794509.key 615270 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 615270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11334012300969427956.key 615270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.9ns 615270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 617935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11334012300969427956.key 617935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 617935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9340225745701945285.key 617935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124ns 617935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 620650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9340225745701945285.key 620650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 620650 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.props9630260621873033820.smt2 620681 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.props1166055852529665180.smt2 620681 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.props2279473831363230688.smt2 620681 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.props17226330558659021438.smt2 620681 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.props5909571983281688286.smt2 620681 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.props12987829072554752521.smt2 620681 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.props7933116369414032447.smt2 620681 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.props9499148496647673616.smt2 620681 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.props14212167914394157508.smt2 620681 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.props11051959471160398024.smt2 620697 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.props5413024971977711893.smt2 620697 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.props16557850932128254589.smt2 620697 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.props5359998337013501843.smt2 620697 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.props1486393291816909015.smt2 620697 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.props17634729461219534556.smt2 620697 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.props8612130538437927205.smt2 620697 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.props15223818247760857967.smt2 620697 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.props14686216990864346280.smt2 620697 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.props10737928414996757399.smt2 620697 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.props11884387761862810763.smt2 620713 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.props5950264963748871422.smt2 620713 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.props12315406831589971565.smt2 620728 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.props3301607711011427343.smt2 620728 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.props10525207124187777131.smt2