Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.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.006s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.005s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.003s | 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.002s | 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
936652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props18108869251758288680.key 936652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.7ns 936668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 936910 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 936910 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 936910 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 936910 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 937809 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 943311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.65s 943327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props18108869251758288680.key 943343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 943389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7388485594653350149.key 943389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.9ns 943389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 948478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 948494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7388485594653350149.key 948494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.7ns 948509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10502995548756921727.key 948509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.1ns 948509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 953597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 953613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10502995548756921727.key 953613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 953629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16974973789198555474.key 953629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.9ns 953629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 958774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 958790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16974973789198555474.key 958805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.5ns 958805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2234080161689138661.key 958805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.1ns 958805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 963956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 963971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2234080161689138661.key 963971 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 963987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1622283069384061590.key 963987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.9ns 963987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 969127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 969158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1622283069384061590.key 969158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 969158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12024947027685458146.key 969158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.4ns 969158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 974329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 974360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12024947027685458146.key 974360 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 974360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7779853265839495806.key 974360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.2ns 974360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 979505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 979522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7779853265839495806.key 979522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21ns 979522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15864082672384332616.key 979522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.3ns 979522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 984707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15864082672384332616.key 984707 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 984723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11341268840609997716.key 984723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 566.9ns 984723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 989920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11341268840609997716.key 989920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 989920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4532051426693163154.key 989920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.4ns 989935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 995005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 995021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4532051426693163154.key 995021 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 995021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props10380715526438417416.key 995021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 948.2ns 995037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1000117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1000132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10380715526438417416.key 1000132 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1000148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16318601566891697320.key 1000148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 647.9ns 1000148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1005218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1005249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16318601566891697320.key 1005249 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1005249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5348155973944454866.key 1005249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267ns 1005249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1010384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1010399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5348155973944454866.key 1010399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1010415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10959332015604394900.key 1010415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.6ns 1010415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1015524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1015555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10959332015604394900.key 1015555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1015555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8284648441054667891.key 1015555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190ns 1015570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1020645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1020677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8284648441054667891.key 1020677 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1020677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8990297553133035997.key 1020677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.5ns 1020677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1025783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1025814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8990297553133035997.key 1025814 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1025821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3291029068844674089.key 1025821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.5ns 1025821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1031015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1031030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3291029068844674089.key 1031030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1031030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7571755824222969924.key 1031030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159ns 1031030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1036161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1036177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7571755824222969924.key 1036177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 1036177 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1036177 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1036177 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1036193 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1036193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11919379220710939432.key 1036193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.7ns 1036193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1041302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1041317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11919379220710939432.key 1041333 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1041333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props438469969778267577.key 1041333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.9ns 1041333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1046402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1046417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props438469969778267577.key 1046417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 1046417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9625668462997043734.key 1046433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.8ns 1046433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1051530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1051547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9625668462997043734.key 1051547 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1051562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props2685422383861165963.key 1051562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.4ns 1051562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1056690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1056705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2685422383861165963.key 1056705 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1056721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props1201301789739843917.key 1056721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220ns 1056721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1061901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1201301789739843917.key 1061901 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1062378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props11146406048540649286.key 1062378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 530.3ns 1062378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1068059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.69s 1068104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11146406048540649286.key 1068106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1068106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props17424333013011555982.key 1068106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.7ns 1068106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1073418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1073449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props17424333013011555982.key 1073449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1073449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13326767048702905504.key 1073449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.7ns 1073449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1078433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1078464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13326767048702905504.key 1078464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1078464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props14731368638646586007.key 1078464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.3ns 1078480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1083506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props14731368638646586007.key 1083506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1083506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props2146077589230898878.key 1083506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249ns 1083506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1088537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2146077589230898878.key 1088537 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.9ns 1088537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1277653452120165569.key 1088553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 957.6ns 1088553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1093593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1093625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1277653452120165569.key 1093625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1093625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2239398708992712401.key 1093625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.33ms 1093640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1098744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1098760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2239398708992712401.key 1098760 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.3ns 1098775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12207305386049716190.key 1098775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.8ns 1098775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1103839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1103855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12207305386049716190.key 1103855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1103855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7807767934263908558.key 1103855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.7ns 1103870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1109018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1109034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7807767934263908558.key 1109034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1109049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3216708870360277444.key 1109049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.4ns 1109049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1114123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1114139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3216708870360277444.key 1114139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1114139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props1131311245769609242.key 1114139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.6ns 1114154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1119335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1119366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props1131311245769609242.key 1119366 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1119366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4950233389486953004.key 1119366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.9ns 1119366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1124448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1124464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4950233389486953004.key 1124464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1124464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1869262579338138953.key 1124464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns 1124479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1129596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1129612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1869262579338138953.key 1129612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1129627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5174724955824411488.key 1129627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480ns 1129627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1134751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1134766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5174724955824411488.key 1134766 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1134766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17351513682989276237.key 1134781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.4ns 1134781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1139851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1139867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17351513682989276237.key 1139867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1139883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3447387810150012278.key 1139883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.4ns 1139883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1145039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1145071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3447387810150012278.key 1145071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1145071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2213897698127503258.key 1145071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.4ns 1145071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1150138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1150170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2213897698127503258.key 1150170 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1150170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1303790764899782144.key 1150170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.8ns 1150170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1155338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1155354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1303790764899782144.key 1155354 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1155354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10997414685011188074.key 1155354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.2ns 1155354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1160447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1160462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10997414685011188074.key 1160478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1160478 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1160478 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1160478 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1160478 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1160478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14806191971215299730.key 1160478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 374.7ns 1160478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1165653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1165669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14806191971215299730.key 1165669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1165669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props5915528482909856553.key 1165669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.2ns 1165669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1170733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1170748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5915528482909856553.key 1170748 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1170764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13773422275478576917.key 1170764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.4ns 1170764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1175908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 1175924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13773422275478576917.key 1175939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 1175939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10525307083732779044.key 1175939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.1ns 1175939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1180965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1180980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10525307083732779044.key 1180980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1180996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4658509542448640441.key 1180996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.3ns 1180996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1186128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1186159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4658509542448640441.key 1186159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1186159 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.props5117167880373367996.smt2 1186159 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.props11573794480113773757.smt2 1186175 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.props11531220769359859343.smt2 1186175 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.props12216002945250525871.smt2 1186175 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.props5528031198751077452.smt2 1186175 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.props16980446527407027602.smt2 1186175 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.props14591186349556934834.smt2 1186175 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.props4019272797301548364.smt2 1186175 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.props13105075017972527916.smt2 1186175 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.props9081704109805697031.smt2 1186175 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.props14556683014169139854.smt2 1186175 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.props15296585231184729284.smt2 1186191 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.props4407371296697024917.smt2 1186191 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.props8955695434477508108.smt2 1186191 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.props17161070859963870358.smt2 1186191 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.props5902773731334372869.smt2 1186191 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.props8492941440292070617.smt2 1186191 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.props1131465547214106354.smt2 1186191 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.props13593174973013879545.smt2 1186191 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.props12734657009287067237.smt2 1186206 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.props7111690147917578557.smt2 1186206 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.props1855756908495446006.smt2 1186206 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.props9821215631375986217.smt2 1186206 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.props12944442027295950110.smt2