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.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.045s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.005s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.004s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.007s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.005s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | 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.002s | 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
968623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7585171282901572933.key 968623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.1ns 968623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 968889 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 968889 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 968889 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 968889 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 969754 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 975702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.08s 975718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7585171282901572933.key 975718 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 975749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props12126464541861135140.key 975749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 408ns 975749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 981037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 981052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12126464541861135140.key 981052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 981068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16740492501568852740.key 981068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.4ns 981068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 986400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 986415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16740492501568852740.key 986415 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 986415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7151550621994099257.key 986415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.5ns 986431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 991700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 991716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7151550621994099257.key 991716 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 991732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8837685071413588113.key 991732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.3ns 991732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 997101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 997116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8837685071413588113.key 997116 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 997132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1352069957424813856.key 997132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396ns 997132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1002866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.74s 1002882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1352069957424813856.key 1002898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.4ns 1002900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15425096176973097126.key 1002900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.4ns 1002900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1008159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1008174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15425096176973097126.key 1008174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1008190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7342557160446635261.key 1008190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.6ns 1008190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1013489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1013505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7342557160446635261.key 1013505 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1013521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16048572495503038305.key 1013521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.7ns 1013521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1018732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1018747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16048572495503038305.key 1018763 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.3ns 1018763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props804307018160357069.key 1018763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217ns 1018763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1024180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1024197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props804307018160357069.key 1024197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 1024197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7095468352354615736.key 1024197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.1ns 1024212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1029508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1029523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7095468352354615736.key 1029523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1029539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5452445768852440448.key 1029539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 458.6ns 1029539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1034799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1034815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5452445768852440448.key 1034815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1034831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9546749812675047826.key 1034831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.4ns 1034831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1040289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1040320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9546749812675047826.key 1040320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 1040320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9369219794300946314.key 1040320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.4ns 1040320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 1045639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9369219794300946314.key 1045639 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1045639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props5887754992219760453.key 1045639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.4ns 1045655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1051023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1051027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5887754992219760453.key 1051042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1051042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props10084560745817571136.key 1051042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.4ns 1051058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1056597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 1056613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props10084560745817571136.key 1056613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1056628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props7372981657686501644.key 1056628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.3ns 1056628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1061920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7372981657686501644.key 1061936 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1061936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props4881220587043954693.key 1061936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.7ns 1061936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1067280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1067342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4881220587043954693.key 1067342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1067360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13042375534757218961.key 1067360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.7ns 1067360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1072642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 1072658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13042375534757218961.key 1072673 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1072673 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1072673 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1072673 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1072673 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1072673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9884728475999687307.key 1072673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.9ns 1072673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1077978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1077994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9884728475999687307.key 1077994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1078010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12029611298107959535.key 1078010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.6ns 1078010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1083390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12029611298107959535.key 1083390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1083406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11850840858156237192.key 1083406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.8ns 1083406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1088754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11850840858156237192.key 1088754 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1088770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10433298342948693093.key 1088770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.7ns 1088770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1094091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1094107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10433298342948693093.key 1094107 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1094122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4356628995029710580.key 1094122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.8ns 1094122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1099497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1099529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4356628995029710580.key 1099529 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1100022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16230438443944742989.key 1100022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.5ns 1100040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1105430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1105446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16230438443944742989.key 1105446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1105446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10987926764043292327.key 1105446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.2ns 1105462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1110782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1110798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10987926764043292327.key 1110798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1110814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1258174006408891917.key 1110814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.2ns 1110814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1116106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1116122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1258174006408891917.key 1116137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1116137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props8886617845648093386.key 1116137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.3ns 1116137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1121493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1121508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props8886617845648093386.key 1121523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1121523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5625808762943628518.key 1121523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.3ns 1121523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1126878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1126894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5625808762943628518.key 1126894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 49.6ns 1126909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props2318568343099001993.key 1126909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.9ns 1126909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1132191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1132207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props2318568343099001993.key 1132207 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1132223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15724437242340608993.key 1132223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.8ns 1132223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1137515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 1137531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15724437242340608993.key 1137531 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1137531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2424929221040012714.key 1137531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.9ns 1137546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1142921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1142937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2424929221040012714.key 1142937 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1142937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5848588201856602510.key 1142937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.2ns 1142937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1148289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 1148320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5848588201856602510.key 1148320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1148320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8959658785116577746.key 1148320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.8ns 1148320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1153585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1153617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8959658785116577746.key 1153617 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1153617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props14282786857680090943.key 1153617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.5ns 1153617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1159035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1159066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14282786857680090943.key 1159066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1159066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props11402895689933510155.key 1159066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.1ns 1159066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1164400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1164416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11402895689933510155.key 1164416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1164432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6743148365979192824.key 1164432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.1ns 1164432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1169742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1169758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6743148365979192824.key 1169758 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1169758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7732423034121060361.key 1169758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.5ns 1169773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1175174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1175190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7732423034121060361.key 1175190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1175190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props769896408851187216.key 1175190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.3ns 1175190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1180514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1180545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props769896408851187216.key 1180545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.1ns 1180545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1229691089727888997.key 1180545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.1ns 1180561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1185918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1185950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1229691089727888997.key 1185950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1185950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12686683425324674505.key 1185950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.3ns 1185950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1191256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1191272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12686683425324674505.key 1191272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1191288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16686211302845357862.key 1191288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.4ns 1191288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1196621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1196637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16686211302845357862.key 1196637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1196653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3543383673473301100.key 1196653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286ns 1196653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1202110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 1202126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3543383673473301100.key 1202126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1202142 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1202142 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1202142 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1202142 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1202142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14805343519555386887.key 1202142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.5ns 1202142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1207449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1207464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14805343519555386887.key 1207464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1207464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15404229842169419023.key 1207464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.3ns 1207464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1212755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1212770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15404229842169419023.key 1212770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1212786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props11029609754996490336.key 1212786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.3ns 1212786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1218103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1218119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11029609754996490336.key 1218119 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1218119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props9322397873259374299.key 1218119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.6ns 1218119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1223375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1223406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9322397873259374299.key 1223406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1223406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4553507751500932976.key 1223406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns 1223406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1228682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1228713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4553507751500932976.key 1228713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1228713 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.props2170095857233065327.smt2 1228729 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.props17761796926327987151.smt2 1228729 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.props3656206890503472232.smt2 1228729 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.props6049662244314445086.smt2 1228729 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.props18272889746944489487.smt2 1228729 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.props12263543188226243195.smt2 1228744 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.props11552889110614191133.smt2 1228744 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.props4381640955939243523.smt2 1228760 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.props5855406934143611920.smt2 1228761 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.props4784923532715447998.smt2 1228763 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.props6311907400751515260.smt2 1228766 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.props4377841291418777527.smt2 1228767 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.props17906513369856876782.smt2 1228770 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.props143695070270675480.smt2 1228772 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.props18296595273327347775.smt2 1228820 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.props11208734934140763606.smt2 1228822 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.props9379729700917645531.smt2 1228825 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.props10249138347516207113.smt2 1228830 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.props10499456034407831331.smt2 1228832 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.props12636906300478692950.smt2 1228838 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.props2012933799369400751.smt2 1228841 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.props3881238559517430916.smt2 1228844 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.props13635631094716550194.smt2 1228846 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.props8666005289630589446.smt2