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.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.001s | passed |
[18] quant1.props | testTranslation(TestData)[18] | 0.004s | passed |
[19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
[1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
[20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
[21] types2.props | testTranslation(TestData)[21] | 0.005s | 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.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.051s | passed |
[5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
[6] cast3.props | testTranslation(TestData)[6] | 0.002s | 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
651847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2621229828757389158.key 651847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.3ns 651847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652058 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 652058 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 652073 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 652073 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 652862 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 657496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.64s 657511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2621229828757389158.key 657511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 657594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9917674013878520632.key 657594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.27ms 657594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 661513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9917674013878520632.key 661513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 661529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4161980772827462635.key 661529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 278.4ns 661529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 664913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4161980772827462635.key 664928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 664928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4477661401923421181.key 664928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156ns 664928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 668771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4477661401923421181.key 668771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 668771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15376992427263791543.key 668771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.1ns 668771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 672022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15376992427263791543.key 672022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 672022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8303843494773463427.key 672022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.9ns 672022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 675446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8303843494773463427.key 675446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 675461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props8878344877048561790.key 675461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns 675461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 678920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8878344877048561790.key 678920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 678920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13936782176018003185.key 678920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.4ns 678936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 682361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13936782176018003185.key 682361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 682376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props4132627552255857716.key 682376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.7ns 682376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 685894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4132627552255857716.key 685894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 685910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props4761302152255361959.key 685910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.8ns 685910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 689481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4761302152255361959.key 689481 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 689497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5458769957971969159.key 689497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.3ns 689497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 693030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5458769957971969159.key 693030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 693046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13044108717828140276.key 693046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.7ns 693046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 696537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13044108717828140276.key 696537 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 696537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13699190096890001370.key 696537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.5ns 696537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 699884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13699190096890001370.key 699884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 699884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16763317760222761440.key 699884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.3ns 699899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 703381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16763317760222761440.key 703381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 703381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props411940479048505680.key 703381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.2ns 703381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 706797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props411940479048505680.key 706797 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 706813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8000772245873092134.key 706813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.9ns 706813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 710268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8000772245873092134.key 710268 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 710284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14391307858889214959.key 710284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.2ns 710284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 713808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14391307858889214959.key 713808 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 713808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props4076605658001497321.key 713808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.6ns 713823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 717075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4076605658001497321.key 717091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.6ns 717091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1897067007054246775.key 717091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.6ns 717091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 720799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1897067007054246775.key 720799 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 720815 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 720815 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 720815 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 720815 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 720815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11694229273109585514.key 720815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.3ns 720815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 724327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11694229273109585514.key 724327 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 724327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props11726995811908665723.key 724327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.6ns 724327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 727719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11726995811908665723.key 727719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 727750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14450666777117229386.key 727750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 837.6ns 727750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 731254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14450666777117229386.key 731254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 731254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7678248319584855672.key 731254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.7ns 731254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 734695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7678248319584855672.key 734695 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 734695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9935086729237667476.key 734695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.1ns 734695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 738087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9935086729237667476.key 738087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 738584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17785534756727863124.key 738584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.4ns 738584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 742103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17785534756727863124.key 742103 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 742103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10842602893127804008.key 742103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.9ns 742119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 745418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10842602893127804008.key 745418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 745433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9839800997154320960.key 745433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.8ns 745433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 748935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9839800997154320960.key 748935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 748951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5517399873830801133.key 748951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 518.9ns 748951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 752475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5517399873830801133.key 752475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 752475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2612769157510287875.key 752475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.3ns 752475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 755848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2612769157510287875.key 755848 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 336.3ns 755864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props13786406566152985015.key 755864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 740.1ns 755864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 759319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13786406566152985015.key 759319 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 759319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7772505695075472095.key 759319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.27ms 759334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 762743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7772505695075472095.key 762743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.2ns 762758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4830609324813829455.key 762758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.4ns 762758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 766135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4830609324813829455.key 766135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns 766150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3612360366672535196.key 766150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.5ns 766150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 769780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3612360366672535196.key 769796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.8ns 769796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12734574390000643475.key 769796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417ns 769796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 773074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12734574390000643475.key 773074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 773074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13710103894953746559.key 773074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 443.4ns 773089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 776512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13710103894953746559.key 776512 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 776528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props2328775347825437169.key 776528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.1ns 776528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 779996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2328775347825437169.key 780012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 780012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4555994379131408053.key 780012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 527.2ns 780027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 783348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4555994379131408053.key 783348 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 783348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10970126205505824158.key 783348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.4ns 783348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 786850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10970126205505824158.key 786850 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 786850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11744414241052279535.key 786850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.9ns 786850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 790275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11744414241052279535.key 790275 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 790290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8881228271346822845.key 790290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284ns 790290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 793651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8881228271346822845.key 793667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 793667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14362945755619775239.key 793667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.1ns 793667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 797340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14362945755619775239.key 797340 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 797340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9602081123779914930.key 797340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.6ns 797357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 800625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9602081123779914930.key 800625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 800625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12193621279656152086.key 800625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.8ns 800625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 804055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12193621279656152086.key 804055 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 804055 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 804071 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 804071 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 804071 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 804071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4300764291251283284.key 804071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.9ns 804071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 807497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4300764291251283284.key 807497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 807497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5161378429640573288.key 807497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 533ns 807513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 811022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5161378429640573288.key 811022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 811038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12771856335037923982.key 811038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.8ns 811038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 814372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12771856335037923982.key 814372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.3ns 814372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11994617734770217818.key 814372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170ns 814372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 817795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11994617734770217818.key 817795 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 817795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props957251856259490360.key 817795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.9ns 817810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 821228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props957251856259490360.key 821228 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 821228 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.props18128969927960102343.smt2 821228 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.props14353061898899132916.smt2 821228 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.props6905370783125010636.smt2 821290 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.props2606233378713699883.smt2 821290 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.props8507814467167215272.smt2 821290 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.props17165716385981095755.smt2 821290 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.props7189975708143949449.smt2 821290 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.props14855430387125980138.smt2 821290 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.props11046245911234735965.smt2 821290 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.props11701899389737333975.smt2 821306 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.props1582956484599580903.smt2 821306 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.props3149748910517185670.smt2 821306 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.props15442972726811462808.smt2 821306 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.props12098977917558749031.smt2 821306 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.props8708298330004175862.smt2 821306 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.props13393621088386860139.smt2 821306 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.props14110025225198680414.smt2 821306 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.props4655817069593670898.smt2 821322 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.props413774226197226018.smt2 821322 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.props9316058738244418596.smt2 821322 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.props9944511282331386037.smt2 821322 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.props5441584503498209512.smt2 821322 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.props1959097524701353825.smt2 821322 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.props16172731017631911877.smt2