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.003s | 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.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | 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.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.003s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.003s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.009s | 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.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
716487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17927237124818895500.key 716487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.8ns 716487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716690 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 716690 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 716706 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 716706 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 717409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 721679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 721710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17927237124818895500.key 721710 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 721742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15538255906835167410.key 721742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.7ns 721742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 725385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15538255906835167410.key 725385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 725400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5213141024469350416.key 725400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 647.2ns 725400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 729184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5213141024469350416.key 729184 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 729200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6793348082512867409.key 729200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.6ns 729200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 732952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6793348082512867409.key 732952 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 732952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15837011713822091345.key 732952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 346ns 732968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 736720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15837011713822091345.key 736720 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 736720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4343315999107597964.key 736720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 442.5ns 736720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 740458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4343315999107597964.key 740458 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 740458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11197895231288303948.key 740458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.1ns 740458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 744335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11197895231288303948.key 744335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 744350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3947657351436766320.key 744350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.2ns 744350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 748025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3947657351436766320.key 748025 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.5ns 748040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11877817761633011828.key 748040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.6ns 748040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 751746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11877817761633011828.key 751746 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 751762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5032912152699933084.key 751762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.3ns 751762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 755593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5032912152699933084.key 755609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 755609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props718928700943448020.key 755609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.4ns 755609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 759392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props718928700943448020.key 759392 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 759407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props652419864716982539.key 759407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.1ns 759407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 763255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props652419864716982539.key 763270 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 763270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14914063009949236398.key 763270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.9ns 763270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 767101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14914063009949236398.key 767101 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 767116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17005527211425991457.key 767116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320ns 767116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 771057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17005527211425991457.key 771057 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 771074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16451387703048165344.key 771074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 617.9ns 771074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 774856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16451387703048165344.key 774856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 774872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props4607379984162208016.key 774872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.8ns 774872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 778796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4607379984162208016.key 778796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 778811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6797471905158433997.key 778811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.4ns 778811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 782596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6797471905158433997.key 782596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 782596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16510745635312694026.key 782612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.3ns 782612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 786553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16510745635312694026.key 786553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 786553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11344655934185296424.key 786553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 664.5ns 786569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 790305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11344655934185296424.key 790305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 790321 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 790321 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 790321 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 790321 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 790321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17290574549330240955.key 790321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.9ns 790321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 794214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 794230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17290574549330240955.key 794230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.1ns 794230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1706079014300530165.key 794230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 402.6ns 794230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 797982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1706079014300530165.key 797982 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 797982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16263717908759802990.key 797982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 445.2ns 797998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 801862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 801877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16263717908759802990.key 801877 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 801893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props15500970100116446069.key 801893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.4ns 801893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 805800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15500970100116446069.key 805800 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 805800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5975160962695167207.key 805800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.5ns 805816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 809725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5975160962695167207.key 809725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.4ns 810163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8272372690629283795.key 810163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.6ns 810163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 814307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8272372690629283795.key 814307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 814307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8192262262358257940.key 814307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 514.2ns 814307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 817794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8192262262358257940.key 817794 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 817810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16491263522945709380.key 817810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.3ns 817810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 821358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16491263522945709380.key 821358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 821358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17649034407749283391.key 821358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.8ns 821358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 824908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 824923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17649034407749283391.key 824939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 455.2ns 824939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props11558760856193132499.key 824939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.1ns 824939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 828613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 828629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11558760856193132499.key 828644 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 828644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10506444960594805493.key 828644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.05ms 828644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 832413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 832429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10506444960594805493.key 832429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 832444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1670786587035355299.key 832444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.3ns 832444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 836165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1670786587035355299.key 836165 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 836165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5130612052289997164.key 836165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248ns 836181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 840042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5130612052289997164.key 840042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 840042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5314594192291759896.key 840042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.1ns 840042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 843952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 843967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5314594192291759896.key 843967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 843983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2340376369628225850.key 843983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.3ns 843983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 847704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 847720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2340376369628225850.key 847720 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 847735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17607718715605746932.key 847735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.5ns 847735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 851519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 851551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17607718715605746932.key 851551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 851551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1871646083594074823.key 851551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.1ns 851551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 855210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 855241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1871646083594074823.key 855241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 855241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props11129816416816650235.key 855241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.1ns 855241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 858931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11129816416816650235.key 858931 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 858946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props13896597453436315648.key 858946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 506.8ns 858946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 862777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 862793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13896597453436315648.key 862808 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 862808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15399004942822523031.key 862808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.8ns 862808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 866575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 866591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15399004942822523031.key 866591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.6ns 866591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props14423415788059843324.key 866591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.8ns 866607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 870406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props14423415788059843324.key 870406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 870406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16620186810407438707.key 870406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.3ns 870406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 874127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16620186810407438707.key 874127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 874143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props5659091198415115222.key 874143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.9ns 874143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 877926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 877957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5659091198415115222.key 877957 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 877957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props14819061382593818126.key 877957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 551ns 877957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 881866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 881881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14819061382593818126.key 881881 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 881897 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 881897 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 881897 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 881897 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 881897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6948343998248199470.key 881897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227ns 881897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 885430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 885445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6948343998248199470.key 885445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 885445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props11746589494608934837.key 885445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.1ns 885461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 889091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 889106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11746589494608934837.key 889106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 889106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13026770369959456798.key 889106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487.2ns 889106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 892670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13026770369959456798.key 892670 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 892670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6770479292261098901.key 892670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.4ns 892670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 896328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 896359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6770479292261098901.key 896359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 896359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16957254621264315471.key 896359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.5ns 896359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 899924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 899955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16957254621264315471.key 899955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 899955 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.props15055331433960349920.smt2 899971 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.props3539182010453549680.smt2 899971 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.props1589059536940765543.smt2 899987 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.props410796084619113371.smt2 899987 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.props12478454846602474973.smt2 900002 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.props8382046630139833684.smt2 900002 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.props7621730499360269598.smt2 900002 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.props2792209577870314018.smt2 900002 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.props15971495095587134386.smt2 900002 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.props7395200036307555300.smt2 900018 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.props8247062368858713019.smt2 900018 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.props16269309659875742404.smt2 900018 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.props11929329625538376070.smt2 900034 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.props3139287785741325017.smt2 900034 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.props775755968416327883.smt2 900034 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.props3890991772332462075.smt2 900034 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.props8238342500065896174.smt2 900034 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.props7819458797680050282.smt2 900034 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.props11770175253122633979.smt2 900034 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.props3335307279294982228.smt2 900049 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.props3345593921067643021.smt2 900049 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.props1055450384360354041.smt2 900049 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.props16158133314628862079.smt2 900049 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.props2651997007054289704.smt2