Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0s | 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.002s | 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.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.006s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.003s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | 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.005s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
527123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5019104450910975162.key 527123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.7ns 527126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 527228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 527228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 527228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 527228 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 527813 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 530745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 530760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5019104450910975162.key 530760 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 530776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16425476528162935550.key 530776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.3ns 530776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 533541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16425476528162935550.key 533541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 533541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15097347896448567021.key 533541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.6ns 533541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 536297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 536313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15097347896448567021.key 536313 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 536313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4975844730695346153.key 536313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.6ns 536329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 539067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 539083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4975844730695346153.key 539083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 539099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16452477164672258254.key 539099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.1ns 539099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 541892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16452477164672258254.key 541892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 541892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8637306229434617682.key 541892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 586.6ns 541908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 544738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8637306229434617682.key 544738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 544738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13238948859450623066.key 544738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.8ns 544738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 547621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 547636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13238948859450623066.key 547636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 547652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5584056867179923416.key 547652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.3ns 547652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 550501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5584056867179923416.key 550501 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 550517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15734677074405986684.key 550517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.6ns 550517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 553265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 553280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15734677074405986684.key 553280 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 553280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7758649553497733020.key 553280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.5ns 553296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 556131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 556131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7758649553497733020.key 556146 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 556146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2937857016317688626.key 556146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.6ns 556146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 558955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2937857016317688626.key 558955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 558955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10894927750298615570.key 558955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.1ns 558955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 561751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10894927750298615570.key 561751 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 561767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props15435651861334829531.key 561767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.7ns 561767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 564559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props15435651861334829531.key 564559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 564559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17194455141259770367.key 564559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.4ns 564559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 567404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17194455141259770367.key 567404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 567404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6040078761915499825.key 567404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.1ns 567404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 570239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6040078761915499825.key 570255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 570255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7336906956487553026.key 570255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.4ns 570255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 573139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7336906956487553026.key 573139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 573155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15353938514283914536.key 573155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.4ns 573155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 575964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 575979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15353938514283914536.key 575979 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 575979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8918138811245025951.key 575979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.1ns 575979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 578800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 578815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8918138811245025951.key 578815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 578815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props857535613283931741.key 578831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.4ns 578831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 581681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props857535613283931741.key 581681 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14ns 581697 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 581697 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 581697 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 581697 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 581697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5009463431268638705.key 581697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138ns 581697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 584568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5009463431268638705.key 584568 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 584584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3709848431181447691.key 584584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.5ns 584584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 587445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 587445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3709848431181447691.key 587461 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 587461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11797571791742562937.key 587461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.9ns 587461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 590293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 590309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11797571791742562937.key 590318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 590321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11829019986775106140.key 590321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.6ns 590325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 593222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11829019986775106140.key 593222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 593237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2534786351300974767.key 593237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.8ns 593237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 596024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2534786351300974767.key 596024 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 596321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props1053743873411420665.key 596321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.2ns 596321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 599118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1053743873411420665.key 599118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 599134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11920323206462507184.key 599134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.8ns 599134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 601894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11920323206462507184.key 601894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 601894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props12778619437651771125.key 601894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.7ns 601894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 604696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 604711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12778619437651771125.key 604711 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 604711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props15970062481641803836.key 604711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.2ns 604711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 607566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15970062481641803836.key 607566 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 607566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5353386083467846010.key 607566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.2ns 607566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 610385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5353386083467846010.key 610385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 610385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10080599459330893747.key 610385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.5ns 610385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 613138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10080599459330893747.key 613138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 613138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3289750838897095289.key 613138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.1ns 613138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 615953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3289750838897095289.key 615953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 615968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props18215544442933480276.key 615968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159ns 615968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 618768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18215544442933480276.key 618768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 618768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13355614885714378461.key 618768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.5ns 618784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 621615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13355614885714378461.key 621615 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 621615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14896635603164032062.key 621615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 484.5ns 621615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 624465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14896635603164032062.key 624480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 624480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props16745596898454136937.key 624480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.1ns 624480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 627305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16745596898454136937.key 627305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 627305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11351293725481043271.key 627305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.3ns 627305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 630127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11351293725481043271.key 630127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 630127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12749107099804637291.key 630127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.9ns 630127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 632926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12749107099804637291.key 632926 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 632942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9839609268776181147.key 632942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 472.2ns 632942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 635773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9839609268776181147.key 635773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 635773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7803206882155290836.key 635773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.4ns 635773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 638535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7803206882155290836.key 638535 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 638551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14562006900235291016.key 638551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 444.1ns 638551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.82s 641389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14562006900235291016.key 641389 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 641389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6489817268861520990.key 641389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.1ns 641389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 644248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6489817268861520990.key 644248 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 644248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props4437741576526854413.key 644248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.5ns 644248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 647077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4437741576526854413.key 647077 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 647092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10179706976851066679.key 647092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.7ns 647092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 649858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10179706976851066679.key 649858 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 649858 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649858 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649873 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649873 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 649873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2562245735640498960.key 649873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215ns 649873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 652664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2562245735640498960.key 652664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 652679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17334432425222737909.key 652679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.5ns 652679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 655515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17334432425222737909.key 655515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 655515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9484534388663990824.key 655515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128ns 655530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 658318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9484534388663990824.key 658318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 658318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16149806096058082545.key 658318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.2ns 658318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 661117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16149806096058082545.key 661117 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 661133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15235993688700894935.key 661133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.2ns 661133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 663956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15235993688700894935.key 663956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 663956 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.props3152051316817016091.smt2 663956 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.props8257333273965274918.smt2 663971 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.props5189210758729550292.smt2 663971 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.props8065889077753528518.smt2 663971 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.props13222619489189348709.smt2 663971 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.props16625981665141181192.smt2 663971 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.props12677596432887443809.smt2 663971 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.props6441622836685272227.smt2 663971 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.props8689056570729346342.smt2 663971 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.props15941375682687206191.smt2 663971 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.props3725235260056673898.smt2 663971 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.props10440002002213348645.smt2 663987 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.props14113722419831079845.smt2 663987 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.props1794742169462196087.smt2 663987 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.props16062301906531956173.smt2 663987 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.props16322136209788244876.smt2 663987 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.props11283829705435679943.smt2 663987 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.props852697319862182557.smt2 663987 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.props9747904176880104163.smt2 663987 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.props15479598851523401740.smt2 664003 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.props1478819324456253917.smt2 664003 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.props14019778281325613054.smt2 664003 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.props14862696453389771774.smt2 664003 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.props10971913201169969701.smt2