Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.004s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.004s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.003s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.003s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | 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.002s | 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.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
583078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17227663545374218336.key 583078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227ns 583078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 583265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 583265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 583265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 583922 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 587862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 587878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17227663545374218336.key 587878 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 587909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11316675709553044150.key 587909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.9ns 587909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 591317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11316675709553044150.key 591317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 591333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17940415224817294055.key 591333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.8ns 591333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 594856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17940415224817294055.key 594856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 594870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17544210822305618471.key 594870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 760.8ns 594870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 598387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 598418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17544210822305618471.key 598418 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 598434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15464780422322305502.key 598434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.8ns 598434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 601968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15464780422322305502.key 601968 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 601984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7985190540753448634.key 601984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.5ns 601984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 605782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7985190540753448634.key 605782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 605798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1528813925064355736.key 605798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 608ns 605798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 609660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1528813925064355736.key 609660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 609676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3547511571154822022.key 609676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 680.1ns 609676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 613443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3547511571154822022.key 613443 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 613459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15188264217226694819.key 613459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.8ns 613459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 617118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15188264217226694819.key 617118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 617134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11366378965519647713.key 617134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.3ns 617134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 620983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11366378965519647713.key 620983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 620998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10415618275097865148.key 620998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 916.2ns 621045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 624938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10415618275097865148.key 624954 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 624954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props18218913708585666777.key 624954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.4ns 624954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 628503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props18218913708585666777.key 628503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 628503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17999130421571420747.key 628503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487.7ns 628519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 632225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17999130421571420747.key 632225 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 632240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3434656382042561307.key 632240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171ns 632240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 635961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3434656382042561307.key 635961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 635977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12870976268849132186.key 635977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 678.8ns 635977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 639604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12870976268849132186.key 639604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 639619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props18378011507267642774.key 639619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.3ns 639619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 643246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18378011507267642774.key 643246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 643261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props292934206028525992.key 643261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.9ns 643261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 646763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props292934206028525992.key 646763 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 646763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props2060000488854864550.key 646763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.7ns 646779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 650407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2060000488854864550.key 650407 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 650423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17177912433370216962.key 650423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.4ns 650423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 653862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17177912433370216962.key 653862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 653878 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 653878 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 653878 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 653878 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 653878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props692601920254900012.key 653878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.6ns 653878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 657396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props692601920254900012.key 657396 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.8ns 657411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7603009451106477477.key 657411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191ns 657411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 660898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7603009451106477477.key 660898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 660898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6153885535191579488.key 660898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.5ns 660914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 664150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6153885535191579488.key 664166 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 664166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16081214267721551775.key 664166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.7ns 664166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 667575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16081214267721551775.key 667591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 667591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13346979709803851748.key 667591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.1ns 667591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 671030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13346979709803851748.key 671030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 671453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12995457068329625461.key 671453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.9ns 671468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 674908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12995457068329625461.key 674908 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 674908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10365103476461879587.key 674908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 975.1ns 674924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 678239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10365103476461879587.key 678239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 678239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15118693265219392050.key 678239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.1ns 678239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 681663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15118693265219392050.key 681663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 681679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3615611818410294019.key 681679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.9ns 681679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 685086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3615611818410294019.key 685086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 685086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9933844263115576566.key 685086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 585ns 685086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 688588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9933844263115576566.key 688588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 688588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props611609589365063061.key 688588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 528.7ns 688604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 691997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props611609589365063061.key 691997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 691997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props18342727452822623063.key 691997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 541.1ns 691997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 695577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props18342727452822623063.key 695577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 695593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16933104389062742868.key 695593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 623.2ns 695593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 699329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16933104389062742868.key 699345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 699345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2756951026916533633.key 699345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 583.8ns 699345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 703070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2756951026916533633.key 703070 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 703085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15999164663663414123.key 703085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.3ns 703085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 706337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15999164663663414123.key 706337 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 706353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11868156685827940034.key 706353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 481.6ns 706353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 709652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11868156685827940034.key 709652 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 709652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11008189263096026836.key 709652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.1ns 709668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 712935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11008189263096026836.key 712951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 712951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5214596829959988810.key 712951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.8ns 712951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 716312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5214596829959988810.key 716312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 716312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7107632336206075827.key 716312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.3ns 716312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 719657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7107632336206075827.key 719657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 719673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6102815040559688765.key 719673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.5ns 719673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 722847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6102815040559688765.key 722847 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 722847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props13147439550436536515.key 722847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149ns 722863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 726193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13147439550436536515.key 726193 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 726193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14698029676524248573.key 726193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.4ns 726208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 729491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14698029676524248573.key 729507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 729507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11448281718766020743.key 729507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.4ns 729507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 732885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11448281718766020743.key 732900 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 732900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3054972331398253901.key 732900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.4ns 732900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 736262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3054972331398253901.key 736262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 736262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 736262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 736262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 736262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 736278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4241373543490637696.key 736278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.5ns 736278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 739828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4241373543490637696.key 739828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.2ns 739828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2369765696553357327.key 739828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.3ns 739843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 743392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2369765696553357327.key 743392 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 743392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13785085264068165785.key 743392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.2ns 743407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 746816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13785085264068165785.key 746816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 746832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props733651834109580154.key 746832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.5ns 746832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 750475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props733651834109580154.key 750475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 750475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2458820668387862693.key 750475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.6ns 750475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 754242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2458820668387862693.key 754242 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 754242 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.props5742338864202466476.smt2 754258 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.props6837009097715350218.smt2 754258 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.props11508767116314525009.smt2 754258 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.props4252110646181913081.smt2 754258 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.props1205373584488236012.smt2 754258 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.props16674427590969951247.smt2 754274 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.props10176538326309822612.smt2 754274 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.props717888747228621602.smt2 754274 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.props16838311239377577422.smt2 754274 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.props4157707979940650045.smt2 754289 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.props899123957117431073.smt2 754289 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.props6153856330391872957.smt2 754289 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.props3206800286375836947.smt2 754289 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.props14879585997296738400.smt2 754289 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.props12715804730548966268.smt2 754305 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.props13846535016161194591.smt2 754305 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.props8637327170065857871.smt2 754305 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.props16752456025430152791.smt2 754305 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.props6376237131474592321.smt2 754320 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.props4246155158384579614.smt2 754320 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.props16350930771863820477.smt2 754320 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.props16579314885409259928.smt2 754320 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.props4681491611650718123.smt2 754336 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.props2426849084448909293.smt2