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.002s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.004s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.021s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.005s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.004s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.008s | 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.003s | 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.004s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.004s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.003s | 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
1002892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6928541000899457432.key 1002892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.6ns 1002908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1003095 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1003095 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1003095 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1003095 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1003834 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 1009877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.97s 1009893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6928541000899457432.key 1009893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 1009956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7101892982489535998.key 1009956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.8ns 1009956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1015671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.71s 1015687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7101892982489535998.key 1015703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1015703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14500937392556448383.key 1015703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.3ns 1015703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1021320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 1021336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14500937392556448383.key 1021336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1021351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18354686842914808416.key 1021351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.5ns 1021351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1026784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1026816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18354686842914808416.key 1026816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1026816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props15547001706652260344.key 1026816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.1ns 1026816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1032319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1032335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15547001706652260344.key 1032335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1032350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4027920265274582711.key 1032350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447ns 1032350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1037745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1037776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4027920265274582711.key 1037776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1037776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15851207027006653827.key 1037776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.9ns 1037776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1043449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.66s 1043465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15851207027006653827.key 1043465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1043480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5912143454624824300.key 1043480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.6ns 1043480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1048951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 1048967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5912143454624824300.key 1048967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1048982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props17957430446532993621.key 1048982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452ns 1049045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1054758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.71s 1054789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17957430446532993621.key 1054789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1054789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1970786579629564623.key 1054789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.4ns 1054805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1060208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1060223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1970786579629564623.key 1060239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1060239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props910362951227253549.key 1060239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.6ns 1060270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1065805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 1065820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props910362951227253549.key 1065820 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1065836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16479298842932118707.key 1065836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.2ns 1065836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1071217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1071232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16479298842932118707.key 1071232 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1071248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13891202342615233405.key 1071248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.3ns 1071264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1076771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 1076803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13891202342615233405.key 1076803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1076803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9134884307530448432.key 1076803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 815ns 1076803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1082341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 1082372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9134884307530448432.key 1082372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1082372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props10388239775345838214.key 1082372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.7ns 1082372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.73s 1088133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10388239775345838214.key 1088133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1088150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2116690695942962782.key 1088150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189ns 1088153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1093646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 1093677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2116690695942962782.key 1093677 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1093677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props1402323521850118793.key 1093677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.8ns 1093677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1099244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 1099259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1402323521850118793.key 1099275 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1099293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1086540520927602613.key 1099293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.6ns 1099293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1104823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 1104854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1086540520927602613.key 1104854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1104870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17673905664421774203.key 1104870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.3ns 1104870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1110319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1110335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17673905664421774203.key 1110351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1110351 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1110351 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1110351 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1110351 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1110351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4729844975405238455.key 1110351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.2ns 1110366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1115954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s 1115969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4729844975405238455.key 1115969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1115985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15312963460856608335.key 1115985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.5ns 1115985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1121473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1121504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15312963460856608335.key 1121504 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1121520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5813863398516745936.key 1121520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 580.4ns 1121520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1126945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1126961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5813863398516745936.key 1126961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1126977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props2512871688821479106.key 1126977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.7ns 1126977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1132446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 1132462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2512871688821479106.key 1132462 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1132477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9925939207375982885.key 1132477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.2ns 1132477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1138108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.63s 1138124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9925939207375982885.key 1138124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 1138541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props3185657794398277053.key 1138541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.2ns 1138556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1144116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 1144132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3185657794398277053.key 1144132 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 1144148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3015870436898229063.key 1144148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.4ns 1144148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1149536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1149552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3015870436898229063.key 1149552 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1149567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6016904541621365753.key 1149567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 657.8ns 1149567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1154987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1155003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6016904541621365753.key 1155003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1155018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16725397863330405010.key 1155018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475ns 1155018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1160466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1160482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16725397863330405010.key 1160497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1160497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14338617329357387087.key 1160497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.7ns 1160497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1166052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 1166068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14338617329357387087.key 1166083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 53ns 1166083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props3220352689674719278.key 1166083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 986.7ns 1166083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1171546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1171562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3220352689674719278.key 1171562 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1171562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10565280642996675521.key 1171562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.6ns 1171562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1177112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 1177127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10565280642996675521.key 1177127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1177143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9244006664284231077.key 1177143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.2ns 1177143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1182573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 1182588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9244006664284231077.key 1182588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1182604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7812313071907968082.key 1182604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.8ns 1182604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1188202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s 1188249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7812313071907968082.key 1188249 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1188264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7538522813453084361.key 1188264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.1ns 1188264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1193761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1193780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7538522813453084361.key 1193780 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1193796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props1442837213855179540.key 1193796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.2ns 1193796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1199199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1199215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props1442837213855179540.key 1199215 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1199215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4186685482896357689.key 1199215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.6ns 1199231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1204727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1204743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4186685482896357689.key 1204743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1204743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10774726309786846998.key 1204743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.1ns 1204759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1210257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1210273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10774726309786846998.key 1210273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1210273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1722659965214372735.key 1210273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413ns 1210273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1215603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1215619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1722659965214372735.key 1215619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1215635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1184301343536153213.key 1215635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.6ns 1215635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1221138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1221154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1184301343536153213.key 1221154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1221170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props17761852264618316180.key 1221170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.1ns 1221170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1226516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1226532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17761852264618316180.key 1226532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1226532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10227701724115422039.key 1226532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.5ns 1226532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1232256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s 1232271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10227701724115422039.key 1232271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1232287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9700476875434243189.key 1232287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254ns 1232287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1237774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 1237790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9700476875434243189.key 1237790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1237790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6460650722872480833.key 1237790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.5ns 1237790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1243277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 1243293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6460650722872480833.key 1243308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1243308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1243308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1243308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1243308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1243308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13042190189910680119.key 1243308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.5ns 1243324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1248989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s 1249005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13042190189910680119.key 1249005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1249005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15885223044103978142.key 1249005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.6ns 1249005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1254370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1254386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15885223044103978142.key 1254386 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1254401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props12734073171253460339.key 1254401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414ns 1254401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1259783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1259799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12734073171253460339.key 1259799 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1259814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4009329193747631719.key 1259814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170ns 1259814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1265302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1265318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4009329193747631719.key 1265318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1265333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props1334497174981265673.key 1265333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.7ns 1265333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1270870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 1270886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1334497174981265673.key 1270886 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1270901 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.props16380817713991060676.smt2 1270901 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.props10772050694528421666.smt2 1270916 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.props6943956743667816722.smt2 1270920 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.props7873317299318439741.smt2 1270934 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.props13837948383878890958.smt2 1270936 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.props16586617391355118386.smt2 1270938 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.props2987837859693390876.smt2 1270939 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.props16786808924273265209.smt2 1270940 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.props13117371896658479417.smt2 1270942 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.props2892597899334168421.smt2 1270943 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.props16433429494154913446.smt2 1270946 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.props5021263867547830264.smt2 1270949 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.props6997461278585587185.smt2 1270952 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.props10625892756292273596.smt2 1270953 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.props18043281138560642890.smt2 1270974 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.props17915693663694518849.smt2 1270978 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.props5450428839555694195.smt2 1270978 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.props10976849333953662057.smt2 1270978 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.props9929351659381842842.smt2 1270994 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.props2201683385945013714.smt2 1270994 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.props3512774649105342541.smt2 1271009 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.props10184913450373677801.smt2 1271009 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.props2154959366410477548.smt2 1271009 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.props17414507178114119882.smt2