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.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | 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.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.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
960645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4439587997582418435.key 960645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.9ns 960645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 960867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 960867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 960867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 961764 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 967568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.91s 967584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4439587997582418435.key 967584 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 967662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8568856183000221934.key 967662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.1ns 967662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 973180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 973196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8568856183000221934.key 973196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.4ns 973212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5975881663465646612.key 973212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 431.6ns 973212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 978776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 978792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5975881663465646612.key 978792 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 978792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17245002266962324981.key 978807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.1ns 978807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 984300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 984315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17245002266962324981.key 984315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 984315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1141461366937788079.key 984315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.5ns 984331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 990060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.74s 990091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1141461366937788079.key 990091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 990091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props17131718453290939763.key 990091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.8ns 990107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 995580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 995596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17131718453290939763.key 995596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 995611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10985214720690391270.key 995611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.5ns 995611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1001296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s 1001312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10985214720690391270.key 1001312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1001327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13460585566821650030.key 1001327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.4ns 1001327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1006761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 1006776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13460585566821650030.key 1006776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1006792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props11953617417890869199.key 1006792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.5ns 1006792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1012566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.78s 1012581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11953617417890869199.key 1012581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1012597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props18973343198041343.key 1012597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 485.9ns 1012597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1018025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 1018040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props18973343198041343.key 1018040 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1018056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11740323509358696280.key 1018056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 686.2ns 1018056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1023486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 1023501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11740323509358696280.key 1023501 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1023517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5546799853201012298.key 1023517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.7ns 1023517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1028840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1028856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5546799853201012298.key 1028856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1028872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16489393557129205608.key 1028872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.7ns 1028872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1034246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1034278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16489393557129205608.key 1034278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1034278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props229910958811673573.key 1034278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.9ns 1034278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1039724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1039740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props229910958811673573.key 1039740 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1039756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11480382769386939902.key 1039756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.6ns 1039756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1045160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11480382769386939902.key 1045160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1045160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1688428746601369791.key 1045160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 423.4ns 1045176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1050466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 1050482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1688428746601369791.key 1050482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1050497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12265500182202674110.key 1050497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.2ns 1050497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1055876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1055891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12265500182202674110.key 1055907 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1055907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1721130969868661123.key 1055907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 379.8ns 1055907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1061231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1721130969868661123.key 1061231 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1061231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13938786430854317417.key 1061231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.1ns 1061247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1066525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1066541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13938786430854317417.key 1066541 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.9ns 1066541 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1066541 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1066541 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1066541 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1066556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5878915896040975834.key 1066556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.2ns 1066556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1071918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1071934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5878915896040975834.key 1071934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1071934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7647800402727117623.key 1071934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.8ns 1071934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1077164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 1077180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7647800402727117623.key 1077180 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns 1077196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6657976181625123072.key 1077196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.4ns 1077196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1082385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1082416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6657976181625123072.key 1082416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1082416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14846553049316579322.key 1082416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 453.8ns 1082416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1087826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1087842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14846553049316579322.key 1087857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1087857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4254087039895420532.key 1087857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.9ns 1087857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1093193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1093209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4254087039895420532.key 1093209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1093622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props1101901373510115753.key 1093622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282ns 1093622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1098878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1098894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1101901373510115753.key 1098894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1098909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props8516202264138999808.key 1098909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.2ns 1098909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1104255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1104271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8516202264138999808.key 1104271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1104271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17213027692083476797.key 1104271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.9ns 1104287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1109582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1109597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17213027692083476797.key 1109613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1109613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props15507000665857740411.key 1109613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290ns 1109613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1115018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1115034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15507000665857740411.key 1115034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1115050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13783554344291684753.key 1115050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.8ns 1115050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1120346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1120362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13783554344291684753.key 1120377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.3ns 1120377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6302290018364109348.key 1120377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.3ns 1120377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1125711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1125727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6302290018364109348.key 1125727 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1125727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1306439284489072771.key 1125742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 671.4ns 1125742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1131107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1131123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1306439284489072771.key 1131123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1131123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4693536351907259567.key 1131123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.2ns 1131138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1136444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1136459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4693536351907259567.key 1136459 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.7ns 1136475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12696378195600405932.key 1136475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.7ns 1136475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1141855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1141870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12696378195600405932.key 1141870 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1141886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1907647933923349723.key 1141886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 461.5ns 1141886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1147277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1147293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1907647933923349723.key 1147308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1147308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3919502867782412677.key 1147308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 488.6ns 1147308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1152626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1152657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3919502867782412677.key 1152657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1152657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9666821603903293673.key 1152657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.3ns 1152673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1158029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1158045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9666821603903293673.key 1158045 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.7ns 1158060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5274768943340888622.key 1158060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 439.8ns 1158060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1163327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1163343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5274768943340888622.key 1163343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1163358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17989835855013663743.key 1163358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.1ms 1163358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1168600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1168616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17989835855013663743.key 1168616 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1168632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11619892856976935312.key 1168632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.3ns 1168632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1173958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1173974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11619892856976935312.key 1173974 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1173974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3232639550044745199.key 1173974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.7ns 1173989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1179224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1179240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3232639550044745199.key 1179240 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.1ns 1179256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props17044000107787101494.key 1179256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.8ns 1179256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1184505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 1184521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17044000107787101494.key 1184521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1184521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17822640490773545723.key 1184521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.9ns 1184536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1189748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1189779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17822640490773545723.key 1189779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1189779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1974017782966026109.key 1189779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.8ns 1189779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1195056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1195071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1974017782966026109.key 1195071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1195087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1195087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1195087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1195087 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1195087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5104913869442126947.key 1195087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368ns 1195087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1200404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1200420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5104913869442126947.key 1200420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1200436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8745101082491318776.key 1200436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.6ns 1200436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1205649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1205664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8745101082491318776.key 1205664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1205664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props2108347999244959463.key 1205664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.8ns 1205680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1210986 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1211002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2108347999244959463.key 1211002 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1211002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13218450827773423417.key 1211002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.3ns 1211002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1216296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1216312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13218450827773423417.key 1216312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1216312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props8385508629735819594.key 1216312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182ns 1216328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1221625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1221657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8385508629735819594.key 1221657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1221672 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.props14847250178437824181.smt2 1221672 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.props5871057669351608288.smt2 1221672 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.props15931566946936753367.smt2 1221672 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.props17809279048760356494.smt2 1221672 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.props5243434321639276714.smt2 1221672 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.props10732766000347214048.smt2 1221672 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.props8652580830209157575.smt2 1221688 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.props8677691421991828930.smt2 1221688 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.props14147543950831120617.smt2 1221688 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.props10088711924821438419.smt2 1221688 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.props4884922969284356471.smt2 1221688 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.props3374091760688310711.smt2 1221688 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.props66346789196010910.smt2 1221688 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.props4354982664270285746.smt2 1221688 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.props11396801336797644350.smt2 1221688 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.props15821117306776657369.smt2 1221688 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.props17212460103197251719.smt2 1221703 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.props6705368469249109975.smt2 1221703 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.props14682200658184776164.smt2 1221703 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.props12903419558083549189.smt2 1221703 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.props528705286281941302.smt2 1221703 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.props2175019455570129212.smt2 1221703 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.props9970057402018095131.smt2 1221703 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.props12355909204763498379.smt2