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.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.001s | 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.005s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | 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] | 0s | 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] | 0s | 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
773119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17639948599426354070.key 773119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.2ns 773134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773300 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 773300 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 773300 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 773300 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 773904 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 778602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 778618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17639948599426354070.key 778618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 778696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3648120263278212484.key 778696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.5ns 778696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 782876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3648120263278212484.key 782876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 782876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17075958173090245253.key 782876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.4ns 782876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 787141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17075958173090245253.key 787141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 787156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props10280377488165766038.key 787156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.1ns 787156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 791412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10280377488165766038.key 791412 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 791412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2735913248044751444.key 791412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.9ns 791412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 795681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2735913248044751444.key 795681 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 795681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15306659380197152086.key 795681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.3ns 795681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 800013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15306659380197152086.key 800013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 800013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props8611378393833767269.key 800013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.7ns 800013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 804316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8611378393833767269.key 804316 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 804316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props11414711067233396591.key 804316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns 804316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 808661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 808677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11414711067233396591.key 808677 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 808692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5767798649696505824.key 808692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.8ns 808692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 812975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 812990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5767798649696505824.key 812990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 813006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2714944702983051914.key 813006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 391ns 813006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 817369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2714944702983051914.key 817369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 817385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15024474468687001869.key 817385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.9ns 817385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 821696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15024474468687001869.key 821712 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 821712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5215101686748460647.key 821712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.7ns 821712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 825969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5215101686748460647.key 825969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 825985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2332643983360268031.key 825985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 394.9ns 825985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 830300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 830315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2332643983360268031.key 830315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 830315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props18301980802108887769.key 830315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 830331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 834624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 834656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props18301980802108887769.key 834656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 834656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10523671559652068288.key 834656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.8ns 834656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 838964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 838980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10523671559652068288.key 838980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 838996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16027740312739010388.key 838996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.7ns 838996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 843284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 843300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16027740312739010388.key 843315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 843315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16800539199263881266.key 843315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.7ns 843315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 847606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 847622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16800539199263881266.key 847622 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 847638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15466338198759453529.key 847638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475.8ns 847638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 851984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 852000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15466338198759453529.key 852000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 852015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7694848287093871305.key 852015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.9ns 852015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 856340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 856355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7694848287093871305.key 856355 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 856355 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 856355 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 856355 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 856355 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 856355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13430193705698303510.key 856355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.4ns 856355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 860743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 860758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13430193705698303510.key 860758 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 860758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props13957812268371337110.key 860758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.4ns 860774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 865121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13957812268371337110.key 865121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 865121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9870899143743919886.key 865121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.1ns 865121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 869393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 869409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9870899143743919886.key 869424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 869424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8336347508481440887.key 869424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.1ns 869424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 873702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 873717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8336347508481440887.key 873733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 873733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5333827062238052047.key 873733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.4ns 873733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 878086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 878102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5333827062238052047.key 878102 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 878391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9757499099600565222.key 878391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.3ns 878391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 882660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 882675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9757499099600565222.key 882675 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 882675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10731435941482840850.key 882675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.4ns 882691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 886980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 886995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10731435941482840850.key 887011 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 887011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13221758042985567497.key 887011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.3ns 887011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 891260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 891276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13221758042985567497.key 891276 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 891292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16743055414692916636.key 891292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.1ns 891292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 895568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 895584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16743055414692916636.key 895584 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 895600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props10836474602522297908.key 895600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.4ns 895600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 899864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 899879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10836474602522297908.key 899879 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 899879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12431354127108479833.key 899895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 872.4ns 899895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 904173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 904204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12431354127108479833.key 904204 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 904204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3795650412480003442.key 904204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.3ns 904204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 908509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 908525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3795650412480003442.key 908525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 908541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8136233930187493930.key 908541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.1ns 908541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 912813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 912828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8136233930187493930.key 912828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 912828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15777899270801882902.key 912828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.9ns 912828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 917174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15777899270801882902.key 917174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 917174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17170885733395395216.key 917174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.1ns 917174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 921518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17170885733395395216.key 921518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 921533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props8514161125539588416.key 921533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 398.3ns 921533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 925890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8514161125539588416.key 925890 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 925890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4482716358380358032.key 925890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.8ns 925890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 930221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4482716358380358032.key 930221 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 930236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9840041832121870222.key 930236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.6ns 930236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 934567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9840041832121870222.key 934567 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 934567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props18001579955048888662.key 934567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.3ns 934582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 938935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props18001579955048888662.key 938935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 938935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props8932510333600364953.key 938935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.4ns 938935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 943235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 943250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8932510333600364953.key 943250 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 943266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16909260768449499127.key 943266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.9ns 943266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 947558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 947574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16909260768449499127.key 947574 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 947574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15279580666764054467.key 947574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.3ns 947589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 951911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15279580666764054467.key 951911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 951926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props18291614319443652832.key 951926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.6ns 951926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 956223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 956239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props18291614319443652832.key 956239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 956239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4277525085200963736.key 956239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.6ns 956255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 960557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4277525085200963736.key 960572 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 960572 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 960572 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 960572 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 960572 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 960572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2899472040722207412.key 960572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.5ns 960572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 964821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 964837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2899472040722207412.key 964837 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 964837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5156143046458284689.key 964837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 395.1ns 964837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 969105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 969121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5156143046458284689.key 969137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 969137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11418756663730645097.key 969137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.9ns 969137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 973411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 973426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11418756663730645097.key 973426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 973426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6969581599425483400.key 973426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.2ns 973426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 977715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 977730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6969581599425483400.key 977730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 977730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5627843215961690422.key 977746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 726.7ns 977746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 982057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 982072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5627843215961690422.key 982072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 982072 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.props451864890635829999.smt2 982088 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.props13759279591391778057.smt2 982088 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.props10323212510958779671.smt2 982088 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.props10915091255824280701.smt2 982088 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.props17096214313740217739.smt2 982088 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.props5712786512276376888.smt2 982088 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.props2436671703362264420.smt2 982088 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.props2916936435150930470.smt2 982088 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.props3585891264810580751.smt2 982088 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.props14868746816524547480.smt2 982088 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.props12764012383853793948.smt2 982104 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.props14086651745122906069.smt2 982104 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.props13356982540928349327.smt2 982104 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.props4685708844894086522.smt2 982104 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.props18418062981622111254.smt2 982104 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.props14237186052334624793.smt2 982104 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.props4545882870102291392.smt2 982104 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.props17482684205112991484.smt2 982104 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.props2505371927938022602.smt2 982104 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.props1638988418467125902.smt2 982104 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.props722640502676220221.smt2 982119 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.props3997619496020531242.smt2 982119 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.props17730333490193525170.smt2 982119 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.props18158307626794136078.smt2