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.001s | 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.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.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.004s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | 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.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | 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.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
505455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16478007884367895984.key 505455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.2ns 505455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 505573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 505573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 505573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 505573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 505995 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 509004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 509020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16478007884367895984.key 509020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 509036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16514602886673892099.key 509036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.4ns 509036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 511579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 511594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16514602886673892099.key 511594 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 511594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16236154357171067527.key 511594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.6ns 511594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 514196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 514211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16236154357171067527.key 514211 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 61.9ns 514211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props15012555958051129846.key 514211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.4ns 514211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 516796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 516813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15012555958051129846.key 516813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 516813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props11560922753264621616.key 516813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.8ns 516813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 519392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 519408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11560922753264621616.key 519408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 519408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props545319059647299310.key 519408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.5ns 519408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 522094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 522110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props545319059647299310.key 522110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 522127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12393770876557552618.key 522127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.6ns 522128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 524762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 524777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12393770876557552618.key 524777 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 524777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13440530050668668872.key 524777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.1ns 524777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 527426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 527426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13440530050668668872.key 527441 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 527441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15967269682401555765.key 527441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227ns 527441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 530178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 530178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15967269682401555765.key 530194 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 530194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props16551452434066240531.key 530194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.3ns 530194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 532991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 533007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16551452434066240531.key 533007 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 533007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8144454953715317117.key 533007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 384.6ns 533023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 535716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 535732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8144454953715317117.key 535732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 535749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props15891799247890079437.key 535749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.9ns 535752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 538401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props15891799247890079437.key 538401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 538401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16652782000959137828.key 538401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.3ns 538401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 541149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16652782000959137828.key 541149 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 541149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2459463905504718083.key 541149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.2ns 541149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 543797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 543813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2459463905504718083.key 543813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 543829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9800512188294099466.key 543829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.1ns 543829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 546529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9800512188294099466.key 546529 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 546545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props15429913799826521831.key 546545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.4ns 546545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 549175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 549190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props15429913799826521831.key 549190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 549190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12249686120850624749.key 549190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 332.4ns 549190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 551884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 551899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12249686120850624749.key 551899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 551915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10483488321920341634.key 551915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns 551915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 554593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 554608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10483488321920341634.key 554608 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 554608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9077110484519713865.key 554608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.8ns 554608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 557250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9077110484519713865.key 557250 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 557250 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 557250 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 557250 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 557250 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 557250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12592250505591735363.key 557250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.3ns 557266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 559946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 559962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12592250505591735363.key 559962 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 559978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6030149808739045276.key 559978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.2ns 559978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 562678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 562694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6030149808739045276.key 562694 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 562710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5742908272449796214.key 562710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.3ns 562710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 565388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 565404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5742908272449796214.key 565404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 565420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12858314833916401742.key 565420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.1ns 565420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 568114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12858314833916401742.key 568114 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 568114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props1196098238543661913.key 568114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.7ns 568114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 570783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1196098238543661913.key 570783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 571065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14841046454323833001.key 571065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.8ns 571065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 573770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14841046454323833001.key 573770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 573770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11129716228129546252.key 573770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.9ns 573785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 576471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11129716228129546252.key 576471 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 576471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14668351237339702875.key 576471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.8ns 576486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 579173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14668351237339702875.key 579173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 579189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props11367386418814937873.key 579189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.9ns 579189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 581881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11367386418814937873.key 581896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 581896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8374241324510424292.key 581896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.8ns 581896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 584590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8374241324510424292.key 584590 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 584590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props3533798230358473143.key 584606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 629.6ns 584606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 587285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 587300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3533798230358473143.key 587300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 587300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11286478582418132455.key 587300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.5ns 587300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 590055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 590055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11286478582418132455.key 590055 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 590071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13641409198880224002.key 590071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.8ns 590071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 592771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13641409198880224002.key 592771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 592771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1821374048321862529.key 592771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.4ns 592787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 595463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 595478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1821374048321862529.key 595478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 595478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5239761965377547927.key 595478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.9ns 595478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 598141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 598156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5239761965377547927.key 598156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 598172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12268617782603688706.key 598172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.6ns 598172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 600892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12268617782603688706.key 600892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 600892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props321422951760252936.key 600892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.5ns 600908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 603586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props321422951760252936.key 603586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 603586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1588546520351183295.key 603586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.6ns 603586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 606258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1588546520351183295.key 606258 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 606258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6080515458077974651.key 606258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.1ns 606258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 608969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6080515458077974651.key 608984 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 608984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12265240060076533005.key 608984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.8ns 608984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 611657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12265240060076533005.key 611657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 611673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1527631074269503683.key 611673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.9ns 611673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 614374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1527631074269503683.key 614374 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 614374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10035395144046979153.key 614374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.4ns 614390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 617067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10035395144046979153.key 617067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 617083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8963971432631375080.key 617083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.2ns 617083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 619734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8963971432631375080.key 619734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 619750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9489996670932150819.key 619750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128ns 619750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 622451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9489996670932150819.key 622451 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 622451 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 622451 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 622451 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 622451 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 622451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props107962638681153213.key 622451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283ns 622451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 625168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props107962638681153213.key 625168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 625168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8313917869839488346.key 625168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.2ns 625168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 627878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8313917869839488346.key 627878 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 627878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14145406144685694249.key 627893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.9ns 627893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 630617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14145406144685694249.key 630617 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 630617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12541833492801955399.key 630617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.9ns 630617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 633315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12541833492801955399.key 633315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 633315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5801815750194279803.key 633315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.8ns 633315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 636000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5801815750194279803.key 636000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 636000 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.props17551338964764957148.smt2 636000 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.props3982013895693789375.smt2 636016 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.props12564901528815288863.smt2 636016 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.props3389335597339518438.smt2 636016 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.props1671953702800597191.smt2 636016 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.props5786865998420671337.smt2 636016 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.props9742644161090298509.smt2 636016 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.props5453292420308400688.smt2 636016 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.props14193002220832932013.smt2 636016 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.props10935580740852455661.smt2 636016 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.props13923332855396916355.smt2 636016 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.props18262965543743903176.smt2 636016 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.props14974750092366232099.smt2 636016 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.props6500137137835387703.smt2 636016 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.props12517701158512291471.smt2 636031 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.props8763289787624450939.smt2 636031 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.props13226317074979341503.smt2 636031 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.props9731830353535086271.smt2 636031 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.props14544990083053808295.smt2 636031 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.props5124359055231380126.smt2 636031 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.props11737725153898547306.smt2 636031 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.props18133366657376475909.smt2 636031 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.props3464072738633271065.smt2 636031 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.props12310729016270918241.smt2