Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.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.012s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.003s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | 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.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.014s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.003s | 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
752135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props690929554482718326.key 752135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171ns 752135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752299 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 752315 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 752346 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 752346 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 752944 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 757417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 757433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props690929554482718326.key 757433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 757480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13845098078244148339.key 757480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.2ns 757480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 761581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13845098078244148339.key 761581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 761581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14247768128447742588.key 761581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.9ns 761597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 765757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14247768128447742588.key 765757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.7ns 765757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16494129530031829294.key 765757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.2ns 765772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 769960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16494129530031829294.key 769976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15ns 769976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9675110803406377469.key 769976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.3ns 769976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 774139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9675110803406377469.key 774139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 774139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16078506855598421328.key 774139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.9ns 774139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 778357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16078506855598421328.key 778373 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 778374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7607324701069965822.key 778374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.5ns 778374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 782565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7607324701069965822.key 782565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 782565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6887063806304439912.key 782565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.3ns 782565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 786769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6887063806304439912.key 786769 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 786769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11248999814966160746.key 786769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns 786784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 790993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11248999814966160746.key 790993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 790993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9811105270706051118.key 790993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.9ns 790993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 795186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9811105270706051118.key 795186 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 795186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6928409966312956910.key 795186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207ns 795186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 799372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6928409966312956910.key 799372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 799372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17373761481341450645.key 799372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.4ns 799372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 803582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17373761481341450645.key 803582 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 803582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10134190444331801017.key 803582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 397ns 803582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 807801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10134190444331801017.key 807801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 807817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17141792513948627672.key 807817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.6ns 807817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 812010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17141792513948627672.key 812010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 812026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props13901104558567247770.key 812026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.7ns 812026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 816228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 816244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13901104558567247770.key 816244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 816244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2406630631270684269.key 816244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.4ns 816259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 820445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 820460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2406630631270684269.key 820460 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 820460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3648062472124024971.key 820460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.4ns 820476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 824692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 824708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3648062472124024971.key 824708 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 824708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14585799628729567385.key 824723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.6ns 824723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 828924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 828939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14585799628729567385.key 828939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 828939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props14733570372071840049.key 828939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.6ns 828939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 833127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14733570372071840049.key 833127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 833127 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 833127 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 833127 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 833127 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 833127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12697234547074736492.key 833127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183ns 833127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 837336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12697234547074736492.key 837336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 837336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9118306092153251845.key 837336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 837336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 841548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9118306092153251845.key 841564 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 841564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17150095836487624142.key 841564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.7ns 841564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 845789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 845804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17150095836487624142.key 845820 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 845820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8287358144117591192.key 845820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.3ns 845820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 849991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 850007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8287358144117591192.key 850007 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 850007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props10573477132631340830.key 850007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.9ns 850007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 854198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10573477132631340830.key 854198 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 854480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9044432684312006262.key 854480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.7ns 854480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 858645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9044432684312006262.key 858645 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 858661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9285488458289726733.key 858661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.4ns 858661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 862830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 862845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9285488458289726733.key 862845 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 862845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1264030841745700221.key 862845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.3ns 862845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 867032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 867048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1264030841745700221.key 867048 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 867048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props684451930683613504.key 867048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.9ns 867063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 871231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 871246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props684451930683613504.key 871246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 871246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3859437430167846876.key 871246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.1ns 871262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 875443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 875458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3859437430167846876.key 875474 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 58.9ns 875474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4836333329511798250.key 875474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.3ns 875474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 879661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 879676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4836333329511798250.key 879676 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 879676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5127800812065459589.key 879676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216ns 879692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 883905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 883920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5127800812065459589.key 883920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 883920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props11328538901834930751.key 883920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.8ns 883936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 888175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11328538901834930751.key 888175 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 888175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8235013944021957965.key 888175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.6ns 888175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 892384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8235013944021957965.key 892384 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 892400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4260312439010108185.key 892400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.6ns 892400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 896610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 896626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4260312439010108185.key 896626 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 896626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6137093789326753284.key 896626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.7ns 896626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 900844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6137093789326753284.key 900844 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 900844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7007275540667102787.key 900844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.6ns 900844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 905026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 905041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7007275540667102787.key 905041 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 905041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5680691615124028591.key 905041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.8ns 905041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 909222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5680691615124028591.key 909222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 909222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6396503119293495488.key 909222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.2ns 909222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 913423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6396503119293495488.key 913423 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 913438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props8176467104438470536.key 913438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.5ns 913438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 917621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8176467104438470536.key 917621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14ns 917637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props9932037220244214787.key 917637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.4ns 917637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 921803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9932037220244214787.key 921819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 921819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8015138513725797812.key 921819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.4ns 921819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 925986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8015138513725797812.key 925986 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 926002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9135559326740828680.key 926002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.4ns 926002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 930234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9135559326740828680.key 930234 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 930234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12762788977929605385.key 930234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.7ns 930249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 934449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12762788977929605385.key 934449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 934449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2342826078922952030.key 934449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.2ns 934449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 938647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2342826078922952030.key 938647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 938647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7092652121057475581.key 938647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143ns 938663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 942868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7092652121057475581.key 942868 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 942868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props17287831576054014689.key 942868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.2ns 942868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 947063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 947078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17287831576054014689.key 947078 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 947078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14223414258465695850.key 947094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.2ns 947094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 951273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14223414258465695850.key 951273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 951273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3091274934872655897.key 951273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.6ns 951273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 955568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3091274934872655897.key 955568 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 955584 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.props13735501345426830799.smt2 955584 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.props3805055344239714964.smt2 955599 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.props11121303397437407155.smt2 955599 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.props13579382955836357120.smt2 955615 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.props14957096441690381990.smt2 955615 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.props4511574189549010552.smt2 955615 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.props10493834408780055974.smt2 955615 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.props13166182951862683865.smt2 955615 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.props10598946494146859155.smt2 955615 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.props5165083999424559858.smt2 955615 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.props9449205592933670671.smt2 955615 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.props13016732763388256949.smt2 955615 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.props6012135453699449569.smt2 955615 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.props14542317412041437602.smt2 955615 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.props17342935636922900252.smt2 955631 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.props4858727386413751075.smt2 955631 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.props9653281372800648158.smt2 955631 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.props2297908318776583728.smt2 955646 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.props5554562339707542234.smt2 955646 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.props2763061556961050839.smt2 955646 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.props5753881348015758265.smt2 955646 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.props7335496568261180542.smt2 955646 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.props6625724081560301932.smt2 955646 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.props17214779038629598773.smt2