Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | 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.001s | 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.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.002s | 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.004s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.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
977924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props10120478101866871071.key 977924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.5ns 977924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 978175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 978175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 978175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 978175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 979038 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 985019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.09s 985035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10120478101866871071.key 985050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.6ns 985082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9427994245364625908.key 985082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 536.5ns 985082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 990481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 990497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9427994245364625908.key 990497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 990513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16831516674983667021.key 990513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.2ns 990513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 996413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.9s 996429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16831516674983667021.key 996429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 996445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16300219973184120403.key 996445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.6ns 996445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1001887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1001903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16300219973184120403.key 1001918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1001918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6246578921419250262.key 1001918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.3ns 1001934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1007373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 1007404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6246578921419250262.key 1007404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1007404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14186366701408373307.key 1007404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 500.3ns 1007420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1012928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 1012959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14186366701408373307.key 1012959 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1012959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6229633498717002781.key 1012959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.5ns 1012959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1018369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1018385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6229633498717002781.key 1018385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1018385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props4833838917640005793.key 1018385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.5ns 1018400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1023833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 1023849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4833838917640005793.key 1023849 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1023849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15582156838854205340.key 1023849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.9ns 1023849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1029154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1029185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15582156838854205340.key 1029185 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1029185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5306462905617489296.key 1029185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.2ns 1029201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1034539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1034555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5306462905617489296.key 1034555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1034570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13717169509573425763.key 1034570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.1ns 1034570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1039985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1040000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13717169509573425763.key 1040000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1040016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5148081097441831636.key 1040016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.2ns 1040016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1045408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5148081097441831636.key 1045408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1045424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5622758125406936006.key 1045424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 683ns 1045424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1050832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1050863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5622758125406936006.key 1050863 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 121.3ns 1050863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11244938995879585895.key 1050863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.5ns 1050863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1056663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.79s 1056679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11244938995879585895.key 1056679 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1056679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4391204633159882538.key 1056679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.1ns 1056679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1062342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.66s 1062358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4391204633159882538.key 1062373 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 29.9ns 1062373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6714854367506509679.key 1062373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.2ns 1062373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1068166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.79s 1068197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6714854367506509679.key 1068197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1068197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props1950652651353939555.key 1068197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.1ns 1068197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1074004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.8s 1074019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1950652651353939555.key 1074035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.8ns 1074035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17662956581333684675.key 1074035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.9ns 1074035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1079714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s 1079730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17662956581333684675.key 1079730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.4ns 1079745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13008808515694565167.key 1079745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546ns 1079745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1085612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.87s 1085628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13008808515694565167.key 1085628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1085643 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1085643 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1085643 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1085643 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1085643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17166815349791796797.key 1085643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.8ns 1085659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1091301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.64s 1091317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17166815349791796797.key 1091317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 1091333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6417617373202227296.key 1091333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.2ns 1091333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1097049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s 1097065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6417617373202227296.key 1097065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1097080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props2665421739340305444.key 1097080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.8ns 1097080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1102697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 1102712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2665421739340305444.key 1102712 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1102728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14826325931899810379.key 1102728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.2ns 1102728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1108280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 1108291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14826325931899810379.key 1108291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1108306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props391602090110730517.key 1108306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.9ns 1108306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1113799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 1113815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props391602090110730517.key 1113815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns 1114213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9193512365757360192.key 1114213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.2ns 1114215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1119560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 1119576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9193512365757360192.key 1119576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1119591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6494460097442535836.key 1119591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 536.4ns 1119591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1124954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 1124969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6494460097442535836.key 1124969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1124985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props7644357303574664004.key 1124985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.2ns 1124985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1130301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1130317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7644357303574664004.key 1130317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1130317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2148017202003692164.key 1130317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.5ns 1130332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1135588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1135604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2148017202003692164.key 1135604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1135619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props10652996736269280582.key 1135619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.8ns 1135619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1141039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1141054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10652996736269280582.key 1141070 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1141070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props8840295052984161555.key 1141070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 486.8ns 1141070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1146371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 1146386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8840295052984161555.key 1146386 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.7ns 1146402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5356427889865736866.key 1146402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.9ns 1146402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1151521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1151536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5356427889865736866.key 1151552 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1151552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7082885333061656711.key 1151552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.8ns 1151552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1156883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1156898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7082885333061656711.key 1156898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1156898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props16055886436397159378.key 1156914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.2ns 1156914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1162099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1162115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16055886436397159378.key 1162115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1162131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17614269269574802050.key 1162131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.6ns 1162131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1167438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1167469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17614269269574802050.key 1167469 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1167469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3165765273613712740.key 1167469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253ns 1167469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1172813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1172828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3165765273613712740.key 1172828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1172844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3840326891696197533.key 1172844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.7ns 1172844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1178085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1178100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3840326891696197533.key 1178100 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 1178100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props11162102393979217397.key 1178100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239ns 1178116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1183344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 1183360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11162102393979217397.key 1183360 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27ns 1183360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11624961483892938490.key 1183360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 285.8ns 1183375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1188739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 1188755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11624961483892938490.key 1188770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1188770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6841997391368651839.key 1188770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 585.8ns 1188770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1194028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1194043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6841997391368651839.key 1194043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1194059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props1139978764964194882.key 1194059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.8ns 1194059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1199394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1199410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1139978764964194882.key 1199410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1199425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11752418346056621328.key 1199425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.9ns 1199425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1204650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 1204666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11752418346056621328.key 1204666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1204681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13607909034447275050.key 1204681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.8ns 1204681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1209759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1209790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13607909034447275050.key 1209790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 1209790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12349801090418720958.key 1209790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.3ns 1209790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1215013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1215028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12349801090418720958.key 1215028 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1215028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1215028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1215028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1215028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1215028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10897698824528471136.key 1215028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.7ns 1215044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1220198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 1220213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10897698824528471136.key 1220213 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1220213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props11062686419816072679.key 1220213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.5ns 1220229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1225442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1225460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11062686419816072679.key 1225462 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31ns 1225467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16397512908681401246.key 1225467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.6ns 1225469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1230677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1230692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16397512908681401246.key 1230692 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.9ns 1230708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11867454063708543752.key 1230708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207ns 1230708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1236046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1236062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11867454063708543752.key 1236062 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 1236062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9420603301423195737.key 1236078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 374ns 1236078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1241247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1241263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9420603301423195737.key 1241263 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 1241263 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.props5300888281017595659.smt2 1241278 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.props115222799214745416.smt2 1241278 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.props12165797782743959329.smt2 1241278 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.props17997340044100065216.smt2 1241278 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.props8898908707698556767.smt2 1241278 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.props17228427848255748410.smt2 1241278 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.props1528570161783448215.smt2 1241278 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.props11802173356212531996.smt2 1241278 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.props6723964306928184680.smt2 1241294 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.props1018782954462524297.smt2 1241294 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.props14545176069846188884.smt2 1241294 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.props13768320716946382000.smt2 1241294 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.props5592885329422108430.smt2 1241294 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.props12325408908537744984.smt2 1241294 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.props9233789953481439380.smt2 1241294 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.props14889387233751884188.smt2 1241294 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.props6752312938576558264.smt2 1241310 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.props6743754151174381895.smt2 1241311 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.props17604088129477743276.smt2 1241313 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.props215973019317567386.smt2 1241315 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.props8875762001985755536.smt2 1241317 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.props5628212217805693201.smt2 1241318 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.props13431575832262600972.smt2 1241318 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.props16323093800174908512.smt2