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.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.004s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | 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.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.002s | 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
914653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5268910509862311479.key 914653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.9ns 914653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 914872 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 914872 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 914872 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 914872 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 915638 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 920950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.29s 920965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5268910509862311479.key 920965 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 921106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13398464240441576886.key 921106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.2ns 921106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 925883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13398464240441576886.key 925883 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 925899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10451272401651935526.key 925899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.9ns 925899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 930738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10451272401651935526.key 930738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 930738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5734638394798166223.key 930738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.8ns 930753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 935620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 935636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5734638394798166223.key 935636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.3ns 935636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14215136457434898812.key 935636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205ns 935653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 940510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 940526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14215136457434898812.key 940526 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 940526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6156210293110740167.key 940526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.9ns 940541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 945568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 945584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6156210293110740167.key 945584 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 945584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3776179055515310605.key 945584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.5ns 945599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 950514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 950530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3776179055515310605.key 950530 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.6ns 950546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3311965659807261861.key 950546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.7ns 950546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 955514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3311965659807261861.key 955530 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 955530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11477671076869409167.key 955530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.4ns 955530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 960532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11477671076869409167.key 960532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 960532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8020202323573117260.key 960532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.9ns 960548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 965540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 965556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8020202323573117260.key 965556 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 965571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props9204784919211188582.key 965571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.8ns 965571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 970571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 970587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props9204784919211188582.key 970587 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.3ns 970587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props15502000574570121475.key 970603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 486.9ns 970603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 975624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props15502000574570121475.key 975624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.4ns 975624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13545921739084272887.key 975624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.1ns 975624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 980553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13545921739084272887.key 980553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 34.7ns 980569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17736383203839018684.key 980569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.2ns 980569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 985510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 985526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17736383203839018684.key 985526 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 985526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7101984260576335989.key 985526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.6ns 985526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 990537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 990552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7101984260576335989.key 990552 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 990568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12096947227547927677.key 990568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.9ns 990568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 995573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 995605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12096947227547927677.key 995605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 995605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9008271197300161068.key 995605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.8ns 995605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1000511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 1000527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9008271197300161068.key 1000542 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1000542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3995107770854773442.key 1000542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.6ns 1000542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1005559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1005575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3995107770854773442.key 1005575 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1005590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9275665267998132580.key 1005590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.4ns 1005590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1011001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1011017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9275665267998132580.key 1011017 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1011017 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1011017 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1011017 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1011017 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1011017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12624945742691218813.key 1011017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.2ns 1011033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1015967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1015983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12624945742691218813.key 1015983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1015983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12191536166829616596.key 1015983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.8ns 1015998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1020929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1020945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12191536166829616596.key 1020961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1020961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11885983222679341158.key 1020961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.5ns 1020961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1025896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1025927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11885983222679341158.key 1025927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1025927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8962443340284130440.key 1025927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.3ns 1025943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1030857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 1030873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8962443340284130440.key 1030873 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1030873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6108877903156784356.key 1030873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.7ns 1030873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1035890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1035905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6108877903156784356.key 1035905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1036363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15158932246212844153.key 1036363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.6ns 1036363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1041286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1041317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15158932246212844153.key 1041317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1041317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15787798613516389548.key 1041317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 426.2ns 1041317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1046289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1046305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15787798613516389548.key 1046305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1046305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props996207997682705955.key 1046305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.3ns 1046305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1051270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1051286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props996207997682705955.key 1051286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1051301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7915523912151898416.key 1051301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 1051301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1056253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1056269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7915523912151898416.key 1056269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1056285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2629557342762955995.key 1056285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns 1056285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1061245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2629557342762955995.key 1061245 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.1ns 1061245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10382217437267241768.key 1061245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 575.4ns 1061245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1066192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1066208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10382217437267241768.key 1066208 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1066208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7492752122184155312.key 1066208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 490.8ns 1066208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1071113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 1071129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7492752122184155312.key 1071129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1071144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9157200100522631770.key 1071144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.7ns 1071144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1076138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1076170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9157200100522631770.key 1076170 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1076170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1318838305995219750.key 1076170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.9ns 1076170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1081064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 1081079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1318838305995219750.key 1081079 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1081094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props6324861951624125036.key 1081094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 395.6ns 1081094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1086059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1086074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6324861951624125036.key 1086074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1086074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3253722767217295033.key 1086074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 453.8ns 1086090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1091018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1091034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3253722767217295033.key 1091034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1091049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props15310354026403804382.key 1091049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.4ns 1091049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1095993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1096009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props15310354026403804382.key 1096009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1096009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12902342980011776168.key 1096009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.1ns 1096024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1100951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1100966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12902342980011776168.key 1100982 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1100982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2535848702726305634.key 1100982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.9ns 1100982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1105859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 1105875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2535848702726305634.key 1105875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1105875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3548095188756006182.key 1105875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.9ns 1105891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1110802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1110818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3548095188756006182.key 1110818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1110834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props10379644220601553644.key 1110834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.8ns 1110834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1115718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1115734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props10379644220601553644.key 1115734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 1115750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10794217424179959631.key 1115750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153ns 1115750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1120699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1120715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10794217424179959631.key 1120715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1120715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13389932135085020430.key 1120715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.4ns 1120715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1125622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 1125638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13389932135085020430.key 1125653 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1125653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4662436285359699303.key 1125653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432ns 1125653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1130503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1130534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4662436285359699303.key 1130534 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1130534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1130534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1130534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1130534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1130534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1567670635631821911.key 1130534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.5ns 1130534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1135495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1135511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1567670635631821911.key 1135511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1135526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9534069868783970295.key 1135526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.7ns 1135526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1140476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1140491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9534069868783970295.key 1140491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1140491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7843510264178209995.key 1140491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.9ns 1140491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1145445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1145461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7843510264178209995.key 1145461 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1145461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9757205289719630238.key 1145461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452ns 1145476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1150417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1150432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9757205289719630238.key 1150432 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 1150448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6623205227701811829.key 1150448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.9ns 1150448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1155523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1155554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6623205227701811829.key 1155554 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 56.1ns 1155554 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.props11680289578360186191.smt2 1155554 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.props3573635486960922453.smt2 1155570 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.props988531532978342467.smt2 1155570 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.props152628688002054999.smt2 1155570 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.props7086825627578571062.smt2 1155570 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.props8563479258995636415.smt2 1155570 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.props2893081407621343154.smt2 1155570 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.props8507990565510343627.smt2 1155584 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.props2709059693723946084.smt2 1155586 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.props6809717862119605318.smt2 1155586 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.props13828407365689126579.smt2 1155586 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.props5512330662203686801.smt2 1155586 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.props5284576114629602157.smt2 1155586 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.props9543285172845582759.smt2 1155586 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.props6930963038375216667.smt2 1155586 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.props10995927265723589781.smt2 1155586 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.props2577932857256850505.smt2 1155586 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.props2187903203427331120.smt2 1155601 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.props2554820930062700570.smt2 1155601 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.props12283221788230349424.smt2 1155601 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.props12508340824984171411.smt2 1155601 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.props2778423161781475031.smt2 1155601 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.props5327741261162308212.smt2 1155601 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.props4874239644286772510.smt2