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.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.004s | 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.003s | 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.006s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | 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.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.005s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.005s | 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
980754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props509866942758877814.key 980754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.8ns 980754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980989 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 980989 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 980989 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 980989 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 981802 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 987463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.71s 987478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props509866942758877814.key 987478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 987510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7197933138757401526.key 987510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.6ns 987510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 992700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 992716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7197933138757401526.key 992732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.2ns 992732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props12422121634684603294.key 992732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.2ns 992732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 998017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 998032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12422121634684603294.key 998032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 998048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3811159477645167043.key 998048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.4ns 998048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1003300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 1003315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3811159477645167043.key 1003315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1003331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17733135213597890039.key 1003331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.9ns 1003331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1008646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1008677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17733135213597890039.key 1008677 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 1008677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9043187276454240397.key 1008677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210ns 1008677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1013931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 1013962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9043187276454240397.key 1013962 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1013962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props217250249765163540.key 1013962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 328.9ns 1013962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1019247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1019262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props217250249765163540.key 1019262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1019278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9335640241821144669.key 1019278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265ns 1019278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1024625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 1024656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9335640241821144669.key 1024656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1024656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5888927117756587695.key 1024656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.4ns 1024656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1029941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1029956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5888927117756587695.key 1029971 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1029971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5893024840330873380.key 1029971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 438.6ns 1029971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1035318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1035334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5893024840330873380.key 1035334 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1035349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4029614882928362277.key 1035349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311ns 1035349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1040603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 1040618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4029614882928362277.key 1040618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1040634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props6880989770055900744.key 1040634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.3ns 1040634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 1045936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props6880989770055900744.key 1045936 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1045952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props14515013865050825111.key 1045952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.5ns 1045952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1051237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1051252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14515013865050825111.key 1051252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1051268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6390872196476041365.key 1051268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 1051268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1056504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1056536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6390872196476041365.key 1056536 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1056536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6663089153968891834.key 1056536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 592.9ns 1056536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1061804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6663089153968891834.key 1061804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.8ns 1061820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props4943124271468625188.key 1061820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.3ns 1061836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1067105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1067120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4943124271468625188.key 1067120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1067137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4804548766773126755.key 1067137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.5ns 1067137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1072581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1072597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4804548766773126755.key 1072597 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 1072612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10908559659742553601.key 1072612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.4ns 1072612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1077897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1077913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10908559659742553601.key 1077913 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1077913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props1626360336871940650.key 1077913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.5ns 1077928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 1083150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1626360336871940650.key 1083150 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 1083150 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1083150 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1083150 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1083150 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1083150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1479584761441223305.key 1083166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.9ns 1083166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1088450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1479584761441223305.key 1088450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1088466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3668197726419250432.key 1088466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.9ns 1088466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1095432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.97s 1095448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3668197726419250432.key 1095448 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 1095463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13403935557596305623.key 1095463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.8ns 1095463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1101417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.96s 1101433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13403935557596305623.key 1101480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1101480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13049788880994695687.key 1101480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.9ns 1101495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1107527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.04s 1107558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13049788880994695687.key 1107558 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1107558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props10313396672072747667.key 1107558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.9ns 1107558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1113414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.84s 1113430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10313396672072747667.key 1113430 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1113852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7841533906897537700.key 1113852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.3ns 1113868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1119058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 1119074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7841533906897537700.key 1119089 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1119089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2160616319890674736.key 1119089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.5ns 1119089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1124279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1124295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2160616319890674736.key 1124310 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1124310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props876809517644220336.key 1124310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.8ns 1124310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1129516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1129548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props876809517644220336.key 1129548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.3ns 1129548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5555797964411505757.key 1129548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.6ns 1129548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1134770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1134786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5555797964411505757.key 1134786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1134802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props9021827931881215155.key 1134802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.6ns 1134802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1140102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1140133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9021827931881215155.key 1140133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1140133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props9521144458992315837.key 1140133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.2ns 1140133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1145434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1145465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9521144458992315837.key 1145465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1145465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1267622467922452036.key 1145465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.8ns 1145481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1151255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.78s 1151271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1267622467922452036.key 1151286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1151286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8991921584131313249.key 1151286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.6ns 1151286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1156524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1156540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8991921584131313249.key 1156555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 1156555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14503581830958204669.key 1156555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.5ns 1156555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1161824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1161855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14503581830958204669.key 1161855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1161855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props2468093688810694671.key 1161855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.7ns 1161855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1167110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 1167141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2468093688810694671.key 1167141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1167141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12299610606536413186.key 1167141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447.5ns 1167141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1172442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1172473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12299610606536413186.key 1172473 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1172473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8072266929100883743.key 1172473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.4ns 1172473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1177710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 1177725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8072266929100883743.key 1177725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1177742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8992174729742010582.key 1177742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331ns 1177742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1183010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1183026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8992174729742010582.key 1183026 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 1183026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14836189744367251188.key 1183026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.1ns 1183041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1188233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1188249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14836189744367251188.key 1188249 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 1188249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props16712993146999989634.key 1188249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.5ns 1188264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1193490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1193506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16712993146999989634.key 1193506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 1193506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5266025447819424475.key 1193506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.4ns 1193522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1198745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1198760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5266025447819424475.key 1198760 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 1198760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props13522041462704518741.key 1198760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.8ns 1198776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1203936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1203967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13522041462704518741.key 1203967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 1203967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1618694128013736370.key 1203967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.1ns 1203967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1209267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 1209283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1618694128013736370.key 1209298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1209298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6981792781319879073.key 1209298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 674.2ns 1209314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1214536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1214567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6981792781319879073.key 1214567 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 1214567 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1214567 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1214567 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1214567 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1214567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10638220300734929268.key 1214567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 393.6ns 1214582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1219837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1219854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10638220300734929268.key 1219854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 1219868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8794219108695474644.key 1219868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.5ns 1219868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1225106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 1225123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8794219108695474644.key 1225123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1225123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props14355253587892953015.key 1225123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.3ns 1225138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1230375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1230390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14355253587892953015.key 1230390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1230390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3371367024390678488.key 1230390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.2ns 1230406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1235598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 1235613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3371367024390678488.key 1235629 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1235629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7370239066486198722.key 1235629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.3ns 1235629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1240820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1240851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7370239066486198722.key 1240851 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 1240851 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.props10279658547063876423.smt2 1240867 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.props17970167888920646317.smt2 1240867 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.props10925667758555394368.smt2 1240867 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.props6382755607435992762.smt2 1240867 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.props4658326028372245029.smt2 1240867 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.props10869382886076424280.smt2 1240867 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.props9069699587962272299.smt2 1240883 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.props4394193718067630091.smt2 1240883 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.props4384298114420852299.smt2 1240883 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.props13803802602394792899.smt2 1240883 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.props2252642347583052096.smt2 1240883 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.props14762267796797166293.smt2 1240883 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.props16677660157259996025.smt2 1240898 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.props14000648091457980615.smt2 1240898 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.props12906708742967071579.smt2 1240898 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.props11691031501149034773.smt2 1240898 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.props17340034014338361807.smt2 1240898 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.props14320672551521970957.smt2 1240898 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.props13935389728243527875.smt2 1240898 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.props2963193633741471694.smt2 1240898 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.props7511507888238296740.smt2 1240914 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.props17214123477193402500.smt2 1240914 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.props6115971816546163754.smt2 1240914 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.props2776463211508054039.smt2