Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.003s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.007s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.003s | 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.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.003s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
644032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3499858495417670999.key 644032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.4ns 644047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644203 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 644203 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 644203 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 644203 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 644797 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 648597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 648612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3499858495417670999.key 648612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 648644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9216932585638803732.key 648644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.8ns 648644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 652004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9216932585638803732.key 652004 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 652020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props7340141030784065054.key 652020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 601.1ns 652020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 655506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7340141030784065054.key 655506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 655521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props11528713886100620780.key 655521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.4ns 655521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 658774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11528713886100620780.key 658789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 658789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3610926378356332534.key 658789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 664.5ns 658789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 662074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3610926378356332534.key 662074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 662074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15746121103642075581.key 662074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.5ns 662074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 665357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15746121103642075581.key 665357 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 665357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15887502913706738128.key 665357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.7ns 665373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 668673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15887502913706738128.key 668673 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 668673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3212105211357420555.key 668673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.3ns 668673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 672050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3212105211357420555.key 672065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 672065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13408455593638737128.key 672065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.3ns 672065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 675583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13408455593638737128.key 675583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 675583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17575560822623496158.key 675583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.5ns 675583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 679069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17575560822623496158.key 679069 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 679069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17948545741156233798.key 679069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.2ns 679116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 682780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17948545741156233798.key 682780 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 682780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7585531030197966647.key 682780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 602.2ns 682796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 686329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7585531030197966647.key 686329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 686329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13006262575531466636.key 686329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.2ns 686329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 689581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13006262575531466636.key 689581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 689596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9853945243391759190.key 689596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.2ns 689596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 692865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9853945243391759190.key 692865 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 692865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7710955691273514731.key 692865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.1ns 692881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 696179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7710955691273514731.key 696179 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 696195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5494420712202320712.key 696195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.7ns 696195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 699495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5494420712202320712.key 699495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 699510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14980067970614042338.key 699510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.9ns 699510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 702840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14980067970614042338.key 702840 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 702856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1781976373726357375.key 702856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.9ns 702856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 706123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1781976373726357375.key 706123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 706123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4828591559459133652.key 706123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 450.8ns 706123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 709516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4828591559459133652.key 709516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 709516 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 709516 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 709516 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 709516 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 709516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props16622417474556604167.key 709516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.4ns 709516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 712925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16622417474556604167.key 712925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 712925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16088011968127836131.key 712925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.1ns 712925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 716411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16088011968127836131.key 716411 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 716411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13828376501169496316.key 716411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.1ns 716411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 719992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13828376501169496316.key 719992 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 720008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7792875874905493463.key 720008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.2ns 720008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 723511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7792875874905493463.key 723511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 723511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props620656768061020824.key 723511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.4ns 723511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 726950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props620656768061020824.key 726967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 727372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props13441074231788269338.key 727372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.3ns 727388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 730843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props13441074231788269338.key 730859 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 730859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props4904090446102086293.key 730859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.6ns 730859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 734236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4904090446102086293.key 734236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns 734251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8437607120534098960.key 734251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.6ns 734251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 737706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8437607120534098960.key 737706 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 737706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props8922943338653669100.key 737706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.8ns 737722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 741210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props8922943338653669100.key 741210 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 741225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props146169045818409217.key 741225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.9ns 741225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 744633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props146169045818409217.key 744649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 744649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15702870392149716545.key 744649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 532.6ns 744649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 748043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15702870392149716545.key 748059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 748059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1739971012514816617.key 748059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.06ms 748059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 751452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1739971012514816617.key 751452 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 751468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13629622237071993639.key 751468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.9ns 751468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 754845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13629622237071993639.key 754845 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 754845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props6871452163602702386.key 754845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.3ns 754845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 758301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6871452163602702386.key 758301 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 758301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props10829367229095999599.key 758301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns 758301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 761678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10829367229095999599.key 761678 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 761678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props1825762460003849256.key 761678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.8ns 761694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 765086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props1825762460003849256.key 765086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 765102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4433552281075545202.key 765102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.2ns 765102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 768496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4433552281075545202.key 768496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 768496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1969512794774663230.key 768496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.2ns 768496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 771935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1969512794774663230.key 771935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 771935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props15879050351956184402.key 771935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.6ns 771935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 775312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15879050351956184402.key 775312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 775312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1811773631210762214.key 775312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 315.3ns 775328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 778768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1811773631210762214.key 778768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 778784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11706291020849900359.key 778784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.5ns 778784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 782146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11706291020849900359.key 782146 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 782162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4062488867109577654.key 782162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220ns 782162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 785507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4062488867109577654.key 785507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 785507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10210725866218949614.key 785507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 494.8ns 785507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 788947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10210725866218949614.key 788947 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 788947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3609647490551861891.key 788947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 386ns 788962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 792309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3609647490551861891.key 792309 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 792309 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 792309 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 792309 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 792309 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 792309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11143317590442644173.key 792309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.4ns 792309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 795731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11143317590442644173.key 795731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 795731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17820545925481573738.key 795731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.7ns 795731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 799125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17820545925481573738.key 799125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 799140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props2104800066408612796.key 799140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.1ns 799140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 802548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2104800066408612796.key 802548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 802564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9667795847918445977.key 802564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236ns 802564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 805878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9667795847918445977.key 805893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 805893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15117184988436183080.key 805893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.6ns 805893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 809381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15117184988436183080.key 809381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 809381 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.props17088319558070370189.smt2 809397 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.props16762962192307725019.smt2 809397 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.props4472362989771920744.smt2 809397 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.props8755895121110604831.smt2 809397 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.props17258520162003404533.smt2 809397 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.props4674476584977683709.smt2 809397 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.props17294158828919539182.smt2 809412 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.props11262976683570965756.smt2 809412 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.props16208083504794031781.smt2 809412 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.props2606541050584739987.smt2 809412 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.props10961668846858498958.smt2 809412 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.props11508407999677779314.smt2 809412 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.props2592298569628210175.smt2 809412 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.props11793141812880301058.smt2 809428 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.props15269977061423324174.smt2 809428 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.props3654004954471215977.smt2 809428 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.props14519933208310620550.smt2 809428 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.props5688339377783088026.smt2 809428 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.props17407838563971556531.smt2 809428 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.props12811843408562356920.smt2 809443 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.props606622786005585780.smt2 809443 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.props9828600295881462309.smt2 809443 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.props8911593737185379482.smt2 809443 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.props12384583371092835278.smt2