Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.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.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | 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.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.007s | 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.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.003s | 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
730547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props460234592449496592.key 730547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.5ns 730547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730734 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 730734 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 730734 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 730734 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 731406 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 736648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.1s 736663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props460234592449496592.key 736663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 736679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props12588536549860795152.key 736679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.2ns 736694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 740384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12588536549860795152.key 740399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 740399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13836310133885901430.key 740399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.8ns 740399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 744246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13836310133885901430.key 744261 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 744261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2372459662744673368.key 744261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 844.4ns 744261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 748169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2372459662744673368.key 748169 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.5ns 748169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3693672499075203659.key 748169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.6ns 748185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 751874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3693672499075203659.key 751874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 751890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12937004379680308584.key 751890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 504.4ns 751890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 755719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12937004379680308584.key 755735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 755751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11923810675452327614.key 755751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.7ns 755751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 759596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11923810675452327614.key 759596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 759612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6517056363720789919.key 759612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.8ns 759612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 763396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6517056363720789919.key 763396 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 763396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7943293525221711141.key 763396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.8ns 763412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 767413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7943293525221711141.key 767413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 767429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3935549154845948144.key 767429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.3ns 767429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 771431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3935549154845948144.key 771431 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 771446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6672246249506783426.key 771446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 450.7ns 771493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 775494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6672246249506783426.key 775509 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 775509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7260313554416695659.key 775509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.7ns 775509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 779418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7260313554416695659.key 779418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 779433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14365314450775122506.key 779433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 600.1ns 779449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 783514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14365314450775122506.key 783514 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.4ns 783514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14587239470445204160.key 783514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.9ns 783530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 787391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14587239470445204160.key 787391 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 787407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3926328559902048516.key 787407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 675.5ns 787407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 791238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3926328559902048516.key 791238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 791254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3481660853440418269.key 791254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.6ns 791254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 795037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3481660853440418269.key 795037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 795037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props1019099253012258775.key 795037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 376.2ns 795053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 798930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 798947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1019099253012258775.key 798947 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 798947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props6929451707573274279.key 798947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.6ns 798962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 802745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6929451707573274279.key 802745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 802745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3482593387846860619.key 802745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.1ns 802761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 806576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3482593387846860619.key 806576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 806592 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 806592 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 806592 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 806592 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 806592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props424191233341960374.key 806592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.8ns 806592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 810452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props424191233341960374.key 810452 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 810452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props185435581613363744.key 810452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.3ns 810452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 814299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props185435581613363744.key 814299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 814315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16286189764753312547.key 814315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.5ns 814315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 818160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16286189764753312547.key 818160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 818176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16604235432843419790.key 818176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.9ns 818176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 822070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 822085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16604235432843419790.key 822085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 822085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props1193285446705474596.key 822085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 539.7ns 822101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 825946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1193285446705474596.key 825946 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 826353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3526248167754083167.key 826353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.9ns 826369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 830136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 830152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3526248167754083167.key 830152 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 830152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8483613189896768418.key 830152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.7ns 830168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 834014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 834029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8483613189896768418.key 834045 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 834045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props410949468389693675.key 834045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.8ns 834045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 837906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props410949468389693675.key 837906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 837906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17272750658304034891.key 837906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.2ns 837906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 841798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17272750658304034891.key 841798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 841798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6814341254265299600.key 841798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 527.8ns 841814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 845629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 845644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6814341254265299600.key 845660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 845660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1699462092001533427.key 845660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.6ns 845660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 849522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 849537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1699462092001533427.key 849537 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 849553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7980689921475826850.key 849553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.5ns 849553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 853399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 853415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7980689921475826850.key 853415 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 853430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2338312420961838251.key 853430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 541.9ns 853430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 857260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 857276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2338312420961838251.key 857276 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 857291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props135960365373572276.key 857291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.8ns 857291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 861121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props135960365373572276.key 861121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 861137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4226682963723461245.key 861137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.4ns 861137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 864920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 864951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4226682963723461245.key 864951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 864951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15742236930300500260.key 864951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 444.8ns 864951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 868830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 868861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15742236930300500260.key 868861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.5ns 868861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2784869689873136218.key 868861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.7ns 868861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 872695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 872710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2784869689873136218.key 872726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 872726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8183654488192816721.key 872726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510.4ns 872726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 876572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 876587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8183654488192816721.key 876587 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 876587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7632379868824621453.key 876587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.6ns 876603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 880480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 880495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7632379868824621453.key 880511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 880511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3340143559883192356.key 880511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.9ns 880511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 884311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 884342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3340143559883192356.key 884342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 884342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16703496415526104109.key 884342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.7ns 884358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 888235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16703496415526104109.key 888235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 888235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9234560321919818549.key 888235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.3ns 888251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 892050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9234560321919818549.key 892050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 892066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16492600392025235058.key 892066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 353ns 892066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 895927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 895943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16492600392025235058.key 895943 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 895943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props8968227687858804884.key 895943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.1ns 895958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 899772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 899804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8968227687858804884.key 899804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 899804 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 899804 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 899804 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 899804 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 899804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6793035034729424479.key 899804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.8ns 899804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 903696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 903727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6793035034729424479.key 903727 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 903727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props11427641226725894276.key 903727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.1ns 903727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 907603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 907619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11427641226725894276.key 907619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 907635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props362741671403303840.key 907635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 557.3ns 907635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 911466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 911545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props362741671403303840.key 911545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 911545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7286209448572848558.key 911545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns 911560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 915391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 915422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7286209448572848558.key 915422 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 915422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props8431575700244093904.key 915422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.1ns 915422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 919330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 919346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8431575700244093904.key 919346 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 919362 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.props10439532353471216755.smt2 919362 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.props17324818185880322980.smt2 919362 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.props159216072198081144.smt2 919362 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.props16201017527884958308.smt2 919362 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.props4359295037244581083.smt2 919362 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.props5613035809410799619.smt2 919377 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.props14172933130856864962.smt2 919377 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.props17516206256554914553.smt2 919377 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.props15933220210921748010.smt2 919377 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.props12120845617793032240.smt2 919377 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.props10725605351515332912.smt2 919377 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.props8640459712898829478.smt2 919393 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.props11951242478487547202.smt2 919393 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.props8164419368990542706.smt2 919393 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.props15394612249024413099.smt2 919393 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.props15956963505843005044.smt2 919393 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.props6732535894330356841.smt2 919393 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.props23670983592134742.smt2 919393 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.props10020801964576845393.smt2 919409 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.props15017866108940760930.smt2 919409 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.props5568139598513927454.smt2 919409 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.props9173130898651787550.smt2 919409 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.props334027548722831551.smt2 919424 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.props15135836234892869099.smt2