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.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.001s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.007s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.008s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | 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
520497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8018824627277826931.key 520497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.2ns 520497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 520654 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 520654 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 520654 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 520654 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 521099 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 524195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 524211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8018824627277826931.key 524211 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 524227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props4559627108959205094.key 524227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.1ns 524227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 526962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 526994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4559627108959205094.key 526994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 526994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6421607360060798630.key 526994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.6ns 526994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 529697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 529713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6421607360060798630.key 529713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 529729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16250448223293265619.key 529729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.1ns 529729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 532323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 532338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16250448223293265619.key 532338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 532354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props18208792673628499592.key 532354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.5ns 532354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 534966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 534998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props18208792673628499592.key 534998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 535013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17789780871422740843.key 535013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 585.8ns 535029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 538523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17789780871422740843.key 538523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 538523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10714653423746050459.key 538523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.5ns 538523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 541323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10714653423746050459.key 541323 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 541323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3244555619410880523.key 541323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 541323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 543946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 543961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3244555619410880523.key 543961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 543961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1352483809618476747.key 543961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.7ns 543961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 546528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1352483809618476747.key 546528 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 546544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props16160358610017266087.key 546544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.3ns 546544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 549232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 549248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16160358610017266087.key 549248 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 549248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7954931238233832304.key 549248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.3ns 549248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 551967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 552045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7954931238233832304.key 552045 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 552061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10092783477792788318.key 552061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 665.5ns 552061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 555147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10092783477792788318.key 555147 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 555163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9930544863611397409.key 555163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215ns 555163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 557789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9930544863611397409.key 557789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 557804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7928440947387288232.key 557804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.1ns 557804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 560400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7928440947387288232.key 560400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 560416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16889463881632292366.key 560416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.4ns 560416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 563043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16889463881632292366.key 563043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 563043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8845513556458262110.key 563043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.6ns 563058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 565715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 565739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8845513556458262110.key 565739 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 565739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props7190213767153283224.key 565739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.3ns 565754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 568464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7190213767153283224.key 568464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 568464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7571265029198640818.key 568464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320ns 568464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 571028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7571265029198640818.key 571028 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 571043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1814942297784764080.key 571043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.2ns 571043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 573813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1814942297784764080.key 573813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 573828 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 573828 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 573828 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 573828 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 573828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12275301414091766329.key 573828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.1ns 573828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 576416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12275301414091766329.key 576416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 576416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5782842680848226256.key 576416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199ns 576416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 579023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5782842680848226256.key 579023 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 579023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7845394671018568385.key 579023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 353.7ns 579038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 581572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7845394671018568385.key 581588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 581588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14141824303236743624.key 581588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.4ns 581588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 584314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14141824303236743624.key 584314 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 584314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6678113226491734373.key 584314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.6ns 584314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 587110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 587125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6678113226491734373.key 587125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 587423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15218271189067977885.key 587423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.9ns 587423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 590054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 590070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15218271189067977885.key 590070 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 590070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10523619894122040671.key 590070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.5ns 590070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 592718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10523619894122040671.key 592718 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 592718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15920948766104123045.key 592718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns 592718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 595283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 595298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15920948766104123045.key 595298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 595314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props13605696792992323075.key 595314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.3ns 595314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 598037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 598052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13605696792992323075.key 598052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 598052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17888756615990971729.key 598052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 397.7ns 598068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 600976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17888756615990971729.key 600976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 600992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14192347771028845491.key 600992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 693.4ns 600992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 603603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14192347771028845491.key 603603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 603603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props16655856580140829046.key 603603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.02ms 603619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 606182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16655856580140829046.key 606182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 606198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1164467797839332703.key 606198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.1ns 606198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 608799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1164467797839332703.key 608799 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 608799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9220128408203700688.key 608799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.6ns 608799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 611583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9220128408203700688.key 611583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 611583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14511354967251258635.key 611583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.1ns 611583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 614287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14511354967251258635.key 614302 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 614302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11744852988224174707.key 614302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 364.5ns 614302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 616882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11744852988224174707.key 616897 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 616897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3233175344280299737.key 616897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.4ns 616897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 619688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3233175344280299737.key 619688 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 619703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5872822293223078485.key 619703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.6ns 619703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 622297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5872822293223078485.key 622297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 622297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11616890082829980465.key 622297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.1ns 622297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 624913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11616890082829980465.key 624913 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 624929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props2037224080237876209.key 624929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.3ns 624929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 627547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props2037224080237876209.key 627547 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 627578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3889070121365271339.key 627578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.3ns 627578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 630298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3889070121365271339.key 630298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 630298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15724880788379988245.key 630298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 438.3ns 630298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 632989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15724880788379988245.key 632989 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 632989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props5872224218355879297.key 632989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.6ns 632989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 635736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5872224218355879297.key 635736 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 635736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props8656396833457514144.key 635736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.6ns 635736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 638359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8656396833457514144.key 638359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 638359 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 638359 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 638359 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 638359 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 638359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props18157651714009929809.key 638359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.8ns 638374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 640923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props18157651714009929809.key 640923 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 640938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2946745587164728128.key 640938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.8ns 640938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 643557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2946745587164728128.key 643557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 643557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16456610721134720391.key 643557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.3ns 643557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 646277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16456610721134720391.key 646277 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 646277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12287597791127234333.key 646277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.5ns 646292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 649091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12287597791127234333.key 649091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 649091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6505943453613937578.key 649091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.6ns 649091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 651757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6505943453613937578.key 651757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 651757 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.props6190807519224350553.smt2 651772 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.props17027063445117222597.smt2 651772 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.props12771331041096636158.smt2 651788 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.props8780769049954991665.smt2 651788 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.props13884461132867245869.smt2 651788 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.props2827720758599107329.smt2 651788 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.props203714716773843521.smt2 651788 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.props17745736616335796637.smt2 651788 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.props1873485008163259812.smt2 651788 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.props4628388076222375733.smt2 651788 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.props17457875765278725902.smt2 651788 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.props11551175697366450827.smt2 651788 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.props8406273054504029448.smt2 651804 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.props8294339122410502040.smt2 651805 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.props13674445945765765443.smt2 651807 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.props14011748186038749770.smt2 651808 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.props5572267985984113256.smt2 651809 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.props12891600583311385072.smt2 651810 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.props12621454161081936353.smt2 651811 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.props13933186929503846124.smt2 651812 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.props2866795560245186701.smt2 651812 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.props16271237143237164084.smt2 651812 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.props11249608113080256019.smt2 651812 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.props4292748686576599212.smt2