Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | 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.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.004s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | 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
761916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2437766446156807016.key 761932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.1ns 761932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762104 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 762104 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 762104 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 762104 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 762714 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 767201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 767218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2437766446156807016.key 767218 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 767232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11355595443086735689.key 767232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.1ns 767248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 771125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11355595443086735689.key 771125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 771125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14186050133236173400.key 771125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.8ns 771125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 775065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14186050133236173400.key 775081 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 775081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9471932309697205265.key 775081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.8ns 775081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 779036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9471932309697205265.key 779036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 779052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props4500696371557713054.key 779052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.5ns 779052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 782991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4500696371557713054.key 782991 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 783007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5973141960837431011.key 783007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.4ns 783007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 787011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5973141960837431011.key 787011 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 787011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5763220144028438362.key 787011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.1ns 787011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 791061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5763220144028438362.key 791061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 791077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props14797413814522746342.key 791077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 591.9ns 791077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 795142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14797413814522746342.key 795142 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 795142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16790917815546715677.key 795142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.5ns 795142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 799177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16790917815546715677.key 799193 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 799193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14507363349536593015.key 799193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 601.1ns 799193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 803257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14507363349536593015.key 803257 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 803257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props9972432183812116249.key 803257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.4ns 803273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 807322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props9972432183812116249.key 807322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 807337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9009194851600155082.key 807337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.6ns 807337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 811433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9009194851600155082.key 811433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 811448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14956173234764470536.key 811448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.1ns 811448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 815497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 815513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14956173234764470536.key 815513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 815513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11129329198483405676.key 815513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.5ns 815528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 819562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 819578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11129329198483405676.key 819578 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 819593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15514097486608111291.key 819593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.1ns 819593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 823657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 823673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15514097486608111291.key 823673 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 823689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7488500212952815178.key 823689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.6ns 823689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 827707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 827722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7488500212952815178.key 827722 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.1ns 827722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5865303254508895183.key 827722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.9ns 827722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 831756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5865303254508895183.key 831756 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 831756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1596836207761518417.key 831756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.4ns 831756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 835806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 835821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1596836207761518417.key 835821 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 835821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10562902708294621339.key 835821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.5ns 835821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 839902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 839918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10562902708294621339.key 839918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 839933 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 839933 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 839933 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 839933 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 839933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props7756129996372093793.key 839933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.2ns 839933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 844015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7756129996372093793.key 844015 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 844031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5346319961012557510.key 844031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.1ns 844031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 848143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 848159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5346319961012557510.key 848174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 848174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props869556243181655174.key 848174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286ns 848174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 852207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 852238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props869556243181655174.key 852238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 852238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1647597486571552167.key 852238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 592.4ns 852238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 856350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 856382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1647597486571552167.key 856382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 856382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3724890269800539716.key 856382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.4ns 856382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 860417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 860432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3724890269800539716.key 860432 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 860745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5610015153845408194.key 860745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.4ns 860745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 864748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 864764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5610015153845408194.key 864764 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns 864764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3381158698504735278.key 864764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 618.5ns 864780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 868861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 868877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3381158698504735278.key 868893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 868893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9967801455048752613.key 868893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.5ns 868893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 872879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 872895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9967801455048752613.key 872910 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 872910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props15411866428283961858.key 872910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.8ns 872910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 876915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 876931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15411866428283961858.key 876931 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 876946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13602346186324045747.key 876946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.3ns 876946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 881013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 881044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13602346186324045747.key 881044 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 881044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4097511659149179876.key 881044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 603.2ns 881044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 885063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 885094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4097511659149179876.key 885094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 885094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15074701709478912329.key 885094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.6ns 885094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 889128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 889144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15074701709478912329.key 889144 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 889144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props964114140660712402.key 889144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.4ns 889144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 893224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 893239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props964114140660712402.key 893255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 893255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13565541746745475821.key 893255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.26ms 893255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 897272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 897288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13565541746745475821.key 897288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 897303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3973863500310282087.key 897303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.9ns 897303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 901353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 901369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3973863500310282087.key 901369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 901384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13570153741991494919.key 901384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 599.6ns 901384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 905403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 905435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13570153741991494919.key 905435 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 905435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props18246400262814111229.key 905435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 619.2ns 905450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 909531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props18246400262814111229.key 909531 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 909531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13345177753932189281.key 909531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260ns 909531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 913549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13345177753932189281.key 913549 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 913549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17338052185537471798.key 913549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.4ns 913565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 917614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17338052185537471798.key 917614 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 917629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16182797599097622540.key 917629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.9ns 917629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 921648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16182797599097622540.key 921648 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 921663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8894608129514991540.key 921663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 539.6ns 921663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 925759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8894608129514991540.key 925759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 925759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props1007484248029262533.key 925759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190ns 925759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 929808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 929823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1007484248029262533.key 929823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 929839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13112213180116958773.key 929839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262ns 929839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 933812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 933843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13112213180116958773.key 933843 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 933843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7197030943318556814.key 933843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.1ns 933843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 937923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 937938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7197030943318556814.key 937938 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 937938 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 937938 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 937938 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 937938 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 937938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2504516509361436378.key 937938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.9ns 937938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 941989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 942004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2504516509361436378.key 942004 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 942020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2850428178850588878.key 942020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487ns 942020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 946069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2850428178850588878.key 946085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 946085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props378692361559734886.key 946085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.2ns 946085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 950056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 950087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props378692361559734886.key 950087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 950087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9693229372013541875.key 950087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.5ns 950087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 954168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9693229372013541875.key 954168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 954168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13150419537761149646.key 954168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.6ns 954168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 958233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 958264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13150419537761149646.key 958264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 958264 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.props14102207656759936427.smt2 958264 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.props9505686884931418772.smt2 958264 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.props13455936512825006882.smt2 958280 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.props9601067902950442928.smt2 958280 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.props17017137402850702123.smt2 958280 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.props5022530954089264705.smt2 958280 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.props15044869379748628832.smt2 958280 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.props13280594847557823069.smt2 958280 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.props14874610377540173379.smt2 958280 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.props8708296512253813455.smt2 958280 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.props4293330625238850270.smt2 958280 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.props9190157381865834812.smt2 958280 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.props4548826883520950503.smt2 958280 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.props9703084173169237186.smt2 958295 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.props15314607061731838264.smt2 958295 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.props10994749989223855850.smt2 958295 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.props5772392848208054586.smt2 958295 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.props16512372462641702679.smt2 958295 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.props6594499907086231625.smt2 958295 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.props6078292482557473237.smt2 958295 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.props13776048187105243785.smt2 958295 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.props16651656223742479863.smt2 958295 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.props9716201424728887621.smt2 958311 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.props4984536946005233498.smt2