Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | 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.012s | 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
517012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15701194566954076291.key 517012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.5ns 517012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 517137 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 517137 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 517137 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 517137 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 517575 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 520561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 520577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15701194566954076291.key 520577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 520592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6577905619674829871.key 520592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.9ns 520609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 523094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 523110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6577905619674829871.key 523110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 523110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3580445273249589169.key 523110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.2ns 523126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 525612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3580445273249589169.key 525612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 525627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2613140637043890418.key 525627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.8ns 525627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 528144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 528160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2613140637043890418.key 528160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 528175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4601145879113093607.key 528175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.4ns 528175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 530678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 530694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4601145879113093607.key 530694 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 530694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5406412314469693352.key 530694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.1ns 530709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 533226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5406412314469693352.key 533226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 533226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15854499795810422988.key 533226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.2ns 533242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 535774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 535789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15854499795810422988.key 535789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 535789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1679763706345135194.key 535789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.9ns 535789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 538400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1679763706345135194.key 538400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 538416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9222948210295724900.key 538416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130ns 538416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 540965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 540965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9222948210295724900.key 540965 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns 540981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13471498376032216741.key 540981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.9ns 540981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 543560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 543576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13471498376032216741.key 543576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 543576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15723493974183334427.key 543576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.8ns 543576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 546155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15723493974183334427.key 546155 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 546155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11743004909545825262.key 546155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.6ns 546171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 548844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11743004909545825262.key 548844 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 548844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8513257597302165518.key 548859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 649.7ns 548859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 551423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 551439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8513257597302165518.key 551439 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 551454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11138721513833745071.key 551454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.9ns 551454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 554020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 554035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11138721513833745071.key 554035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 554035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9704436637174135933.key 554035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.1ns 554050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 556614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 556630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9704436637174135933.key 556630 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 556645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props18379085292811718280.key 556645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.2ns 556645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 559335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 559351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18379085292811718280.key 559351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 559366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8945234952574095188.key 559366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.7ns 559366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 561961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8945234952574095188.key 561961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 561961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1664289539609864208.key 561961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.1ns 561976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 564571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1664289539609864208.key 564571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 564587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props8705500789291973261.key 564587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.6ns 564587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 567291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8705500789291973261.key 567291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 567291 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 567291 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 567291 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 567291 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 567291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16859057994740058675.key 567291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.5ns 567291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 569885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16859057994740058675.key 569885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 569885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6272943551152025005.key 569885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns 569901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 572480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6272943551152025005.key 572480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 572480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14187938929522379655.key 572480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.6ns 572480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 575043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 575043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14187938929522379655.key 575043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 575058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6857044621706572794.key 575058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.5ns 575058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 577717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6857044621706572794.key 577717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 577717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16375299217695599697.key 577717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.8ns 577717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 580265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16375299217695599697.key 580265 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 580563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16637147621341121971.key 580563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.2ns 580563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 583237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16637147621341121971.key 583237 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 583237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8805863415465724414.key 583237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.2ns 583237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 585770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 585785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8805863415465724414.key 585785 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 585785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10349383848736293416.key 585785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.8ns 585785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 588333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10349383848736293416.key 588349 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 588349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2412345631847269091.key 588349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.3ns 588349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 590991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 591006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2412345631847269091.key 591006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 591006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6140963689561394554.key 591006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.6ns 591006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 593554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6140963689561394554.key 593554 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns 593554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17806337456288820207.key 593554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 337.2ns 593554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 596086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17806337456288820207.key 596086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 596102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1564272922885206970.key 596102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.2ns 596102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 598728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 598743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1564272922885206970.key 598743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 598759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2866307515562932100.key 598759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.5ns 598759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 601293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2866307515562932100.key 601293 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 601309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3141089371268574077.key 601309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.5ns 601309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 603951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3141089371268574077.key 603951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 603951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2693723889989374034.key 603951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.4ns 603966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 606499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2693723889989374034.key 606499 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 606515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props18236561780049373290.key 606515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.5ns 606515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 609156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props18236561780049373290.key 609156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 609156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2582508736263729182.key 609156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.6ns 609156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 611705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2582508736263729182.key 611705 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 611721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8979997230096108536.key 611721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.7ns 611721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 614269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8979997230096108536.key 614269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 614269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9656944187941118480.key 614269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.9ns 614269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 616942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9656944187941118480.key 616942 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 616942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props18310961406990777307.key 616942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.9ns 616942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 619506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props18310961406990777307.key 619506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 619506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props15429045066346340058.key 619506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.1ns 619506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 622398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props15429045066346340058.key 622414 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 622414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11405884735643149060.key 622414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.1ns 622414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 625056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11405884735643149060.key 625071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 625071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9397954789275403633.key 625071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.9ns 625071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 627870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9397954789275403633.key 627885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 627885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props2663027634487946113.key 627885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.3ns 627885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 630340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2663027634487946113.key 630340 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 630340 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630340 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630340 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630340 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14320424555393439948.key 630340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.9ns 630340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 632794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14320424555393439948.key 632810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 632810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props11018528895717618914.key 632810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184ns 632810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 635326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11018528895717618914.key 635326 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 635326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7156107974009490132.key 635326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.8ns 635326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 637813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7156107974009490132.key 637813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 637813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4674881952731236477.key 637813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.6ns 637813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 640300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4674881952731236477.key 640300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 640316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12080579946196021332.key 640316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.3ns 640316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 642880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12080579946196021332.key 642896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 642896 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.props13933204672289752682.smt2 642896 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.props7204821541564392696.smt2 642896 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.props10898636468478187491.smt2 642896 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.props4648221453095137518.smt2 642911 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.props402083293124445828.smt2 642911 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.props5058198800583721755.smt2 642911 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.props6752133874780698947.smt2 642911 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.props12045232049532157984.smt2 642911 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.props15070332872064517774.smt2 642911 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.props11509990900337433536.smt2 642911 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.props9075154397966000898.smt2 642927 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.props14646021975704556063.smt2 642927 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.props10756120918487308549.smt2 642932 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.props13224117422478929963.smt2 642933 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.props16116310115055235565.smt2 642933 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.props10482333645747151509.smt2 642933 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.props10274999246734826815.smt2 642933 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.props6374223065634074844.smt2 642933 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.props5085762206018228584.smt2 642933 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.props7289218013284735130.smt2 642933 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.props12997761808276939858.smt2 642943 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.props4442632738268894909.smt2 642943 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.props12263953869268191258.smt2 642943 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.props4876659744069688784.smt2