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.002s | 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.001s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | 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.008s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.003s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | 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
987235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17032149247505329457.key 987235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.2ns 987235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 987464 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 987464 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 987464 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 987464 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 988295 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 994246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7s 994261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17032149247505329457.key 994261 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 994292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14059656159975506942.key 994292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.5ns 994292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 999858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 999874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14059656159975506942.key 999874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 999874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13819110103694254547.key 999874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.7ns 999890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1005377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1005408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13819110103694254547.key 1005408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1005408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6181696159379127036.key 1005408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 337.6ns 1005424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1011087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s 1011118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6181696159379127036.key 1011118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns 1011134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props10103516197184281388.key 1011134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.1ns 1011134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1016752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 1016768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10103516197184281388.key 1016768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 1016768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props13467906646483211254.key 1016768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 1016783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1022252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 1022283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13467906646483211254.key 1022283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1022283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props13076997390395856805.key 1022283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.2ns 1022299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1027835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 1027850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13076997390395856805.key 1027866 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 1027866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props300851916462967941.key 1027866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.2ns 1027866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1033403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 1033434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props300851916462967941.key 1033434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 1033434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props452719235134450104.key 1033434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 316.3ns 1033450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1038949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1038965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props452719235134450104.key 1038965 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1038981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13125037978455392142.key 1038981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 594.1ns 1038981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1044556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.58s 1044572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13125037978455392142.key 1044588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1044588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props18291490652206611141.key 1044588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.5ns 1044588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1050008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1050024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props18291490652206611141.key 1050040 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 1050040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3208273439322006157.key 1050040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 634.8ns 1050040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1055615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s 1055630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3208273439322006157.key 1055646 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1055646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props13881870837700850116.key 1055646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.8ns 1055646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s 1061235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13881870837700850116.key 1061235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns 1061251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props16252955974316609088.key 1061251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.5ns 1061251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1066701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1066716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16252955974316609088.key 1066716 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.7ns 1066732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16989131389348184837.key 1066732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.1ns 1066732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1072280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 1072294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16989131389348184837.key 1072294 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1072309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12333171053407969356.key 1072309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.1ns 1072325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1077803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1077819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12333171053407969356.key 1077834 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.6ns 1077834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props16147848020180445099.key 1077834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319ns 1077834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 1083355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16147848020180445099.key 1083355 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1083371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1118481076247328521.key 1083371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.1ns 1083371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 1088903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1118481076247328521.key 1088919 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1088919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5501687168191165294.key 1088919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 596.5ns 1088919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1094399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 1094430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5501687168191165294.key 1094430 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1094430 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1094430 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1094430 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1094430 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1094430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4910310861431521775.key 1094430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.3ns 1094446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1099994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 1100010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4910310861431521775.key 1100010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns 1100026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9477922549136346244.key 1100026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.9ns 1100026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1105522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1105554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9477922549136346244.key 1105554 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1105554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7260316405729261313.key 1105554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.9ns 1105554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1110994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1111010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7260316405729261313.key 1111026 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1111026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12674595749949656752.key 1111026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.9ns 1111041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1116544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1116560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12674595749949656752.key 1116560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1116560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props18120545067186140898.key 1116560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.5ns 1116575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1121998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1122029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props18120545067186140898.key 1122029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1122462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5119997695587440132.key 1122463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.1ns 1122467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1127832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1127848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5119997695587440132.key 1127863 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1127863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15768258939848500153.key 1127863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.1ns 1127863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1133265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1133296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15768258939848500153.key 1133296 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 1133296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props14049228264126184659.key 1133296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.8ns 1133296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1138780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 1138796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14049228264126184659.key 1138796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.4ns 1138796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props12202886316922757144.key 1138796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.1ns 1138796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1144208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1144223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12202886316922757144.key 1144223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1144223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16761321776828819901.key 1144239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 649.5ns 1144239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1149684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1149715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16761321776828819901.key 1149715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 251.6ns 1149715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props2495422228424412218.key 1149715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.6ns 1149715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1155131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1155147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props2495422228424412218.key 1155147 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 1155163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12156632943854202385.key 1155163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 534.5ns 1155163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1160600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 1160615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12156632943854202385.key 1160615 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1160615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props15489754662524702301.key 1160615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 662.1ns 1160631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1166041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1166057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props15489754662524702301.key 1166057 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 1166057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8239542509689153588.key 1166057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.6ns 1166057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1171559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 1171590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8239542509689153588.key 1171590 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.8ns 1171590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2533890508545041408.key 1171590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.3ns 1171606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1177207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 1177222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2533890508545041408.key 1177238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 1177238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12066772085918578936.key 1177238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.2ns 1177238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1182766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 1182782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12066772085918578936.key 1182782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 1182782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16296810599201154514.key 1182782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.3ns 1182798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1188248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1188279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16296810599201154514.key 1188279 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1188279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17806605188994248001.key 1188279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.3ns 1188279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1193732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1193747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17806605188994248001.key 1193747 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22ns 1193747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props8443012757184387242.key 1193747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.5ns 1193764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1199203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1199219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props8443012757184387242.key 1199234 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 1199234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props7963856229087918506.key 1199234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.7ns 1199234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1204656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1204688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7963856229087918506.key 1204688 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1204688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props9728573628443706347.key 1204688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 559.4ns 1204688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1209996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 1210011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9728573628443706347.key 1210011 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.4ns 1210011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props15110197630661548049.key 1210011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.1ms 1210027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1215415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1215431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15110197630661548049.key 1215431 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.7ns 1215431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11458649505775669891.key 1215431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.7ns 1215447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1220864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1220879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11458649505775669891.key 1220879 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.5ns 1220895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11136803566588355467.key 1220895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.2ns 1220895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1226229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1226245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11136803566588355467.key 1226245 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1226260 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1226260 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1226260 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1226260 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1226260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2084162393119619115.key 1226260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.3ns 1226260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1231566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1231597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2084162393119619115.key 1231597 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1231606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2768455716620890540.key 1231606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.1ns 1231606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1236830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 1236877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2768455716620890540.key 1236877 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1236899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props3652698961339630656.key 1236899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271ns 1236899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1242318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 1242349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3652698961339630656.key 1242349 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1242349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props2583482895662538240.key 1242349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.8ns 1242349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1247743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1247759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2583482895662538240.key 1247759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1247759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16357862268128032260.key 1247759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.7ns 1247774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1253172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1253219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16357862268128032260.key 1253219 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1253234 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.props13828041937419181656.smt2 1253234 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.props8308508960651653462.smt2 1253234 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.props15778706103544376073.smt2 1253234 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.props8530759734500996903.smt2 1253234 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.props8017623130881610968.smt2 1253234 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.props5034452764373154120.smt2 1253250 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.props14900621936662686309.smt2 1253250 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.props5944607078489840923.smt2 1253250 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.props16853490079270648880.smt2 1253250 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.props4500255552529123770.smt2 1253250 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.props4607562981760467099.smt2 1253250 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.props59336031451521512.smt2 1253250 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.props10046800684332634714.smt2 1253250 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.props9322680591501506004.smt2 1253250 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.props13558167964658407099.smt2 1253266 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.props6229124409317759595.smt2 1253266 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.props511563783026406014.smt2 1253266 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.props15088673868488295877.smt2 1253266 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.props15873031455457208014.smt2 1253266 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.props3877107248410179155.smt2 1253266 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.props18386275158187476182.smt2 1253281 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.props10743026295340804733.smt2 1253281 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.props15663677409205582428.smt2 1253281 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.props5590400050138010838.smt2