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.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | 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.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.005s | 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.003s | 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
940193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props14069379474890291313.key 940193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235ns 940193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 940553 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 940553 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 940553 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 940553 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 941459 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 947056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.87s 947087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14069379474890291313.key 947087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 947103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props17381942560996620260.key 947103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.7ns 947119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 952075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 952091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props17381942560996620260.key 952091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 952106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3223398663146972144.key 952106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.2ns 952106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 957093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 957109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3223398663146972144.key 957109 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.5ns 957109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props15511717079704536536.key 957125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.1ns 957125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 962097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 962129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15511717079704536536.key 962129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 962144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14388249737839693833.key 962144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.3ns 962144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 967224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 967240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14388249737839693833.key 967240 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 967256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4786630136176206681.key 967256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.8ns 967256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 972307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 972322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4786630136176206681.key 972322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 972338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4669424065018940436.key 972338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.1ns 972338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 977528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 977544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4669424065018940436.key 977544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 977560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props10999788861494013383.key 977560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.3ns 977560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 982642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 982657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props10999788861494013383.key 982657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 982673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2439366031677849785.key 982673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.6ns 982673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 987738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 987753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2439366031677849785.key 987753 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 987769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props6239476756072545322.key 987769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 488ns 987769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 992976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 992992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6239476756072545322.key 992992 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 993008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13060614899624138656.key 993008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.9ns 993023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 998107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 998138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13060614899624138656.key 998138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 998153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7098186776691904390.key 998153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.3ns 998153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1003156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1003172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7098186776691904390.key 1003187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1003187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props10200772697786874829.key 1003187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 633.3ns 1003187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1008441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1008456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10200772697786874829.key 1008456 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1008472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14834561782401600952.key 1008472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.3ns 1008472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1013506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1013521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14834561782401600952.key 1013521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1013537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15692915363780767524.key 1013537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.7ns 1013537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1018651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1018666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15692915363780767524.key 1018682 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1018697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8182269442509305768.key 1018697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.4ns 1018697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1023872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1023887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8182269442509305768.key 1023903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1023903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11049039437616672678.key 1023903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260ns 1023903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1029016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1029032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11049039437616672678.key 1029032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns 1029047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props658655021669804180.key 1029047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 612.9ns 1029047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1034348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1034380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props658655021669804180.key 1034380 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1034395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props76604667267860624.key 1034395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475.8ns 1034395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1039587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1039618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props76604667267860624.key 1039618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1039618 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1039618 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1039618 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1039618 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1039618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11132892525167997241.key 1039618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.6ns 1039618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1044823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 1044854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11132892525167997241.key 1044854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1044854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17703131652077810258.key 1044854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317ns 1044854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1049903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1049918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17703131652077810258.key 1049935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1049935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6223018920060438074.key 1049935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.1ns 1049935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1055015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1055030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6223018920060438074.key 1055030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1055046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12953643048092308030.key 1055046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409ns 1055046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1060034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1060065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12953643048092308030.key 1060065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 1060065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props1601000288402947861.key 1060065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.7ns 1060065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1065101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1065117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1601000288402947861.key 1065117 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1065555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7703081035876253078.key 1065555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 332.5ns 1065555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1070575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1070591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7703081035876253078.key 1070606 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1070606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11334503540629425026.key 1070606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373.3ns 1070622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1075703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 1075719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11334503540629425026.key 1075734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1075734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props2192882451578800852.key 1075734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.8ns 1075734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1080708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 1080723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2192882451578800852.key 1080723 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.3ns 1080739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9183168638438301316.key 1080739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.9ns 1080739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1085774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1085805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9183168638438301316.key 1085805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 1085805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8767158445689961876.key 1085805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.6ns 1085805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1090872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1090887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8767158445689961876.key 1090887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1090903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1060505671833411362.key 1090903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 878.4ns 1090903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1095907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1095938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1060505671833411362.key 1095938 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1095938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props3356682186005641982.key 1095938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287ns 1095938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1101035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1101066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3356682186005641982.key 1101066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1101066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props47128690915689565.key 1101066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.9ns 1101066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1106116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1106132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props47128690915689565.key 1106132 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1106149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props18223128645133125020.key 1106149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 658.5ns 1106149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1111168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1111184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props18223128645133125020.key 1111184 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1111184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9956438779779964967.key 1111184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.8ns 1111199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1116308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1116323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9956438779779964967.key 1116323 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1116339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15235382416420071034.key 1116339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 644.3ns 1116339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1121327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1121358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15235382416420071034.key 1121358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1121358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8923829806439277055.key 1121358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.1ns 1121358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1126456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1126487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8923829806439277055.key 1126487 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.8ns 1126487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16128267503839566719.key 1126487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 520.8ns 1126503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1131522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1131537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16128267503839566719.key 1131537 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 1131553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1390966200317961267.key 1131553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.2ns 1131553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1136682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1136697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1390966200317961267.key 1136697 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1136712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props17871146579580689113.key 1136712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.3ns 1136712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1141856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1141871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17871146579580689113.key 1141871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 1141887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props4375685767778467207.key 1141887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 351.1ns 1141887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1146953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1146984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4375685767778467207.key 1146984 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1146984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14170436782763704243.key 1146984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 608.4ns 1147000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1152035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 1152051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14170436782763704243.key 1152067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.8ns 1152067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10750969501064245391.key 1152067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283ns 1152067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1157133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1157165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10750969501064245391.key 1157165 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1157180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6480133730176062344.key 1157180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 564.8ns 1157180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1162230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1162261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6480133730176062344.key 1162261 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 1162261 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1162261 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1162261 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1162261 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1162261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1417451319079481924.key 1162277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.55ms 1162277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1167373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1167404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1417451319079481924.key 1167404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1167404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10029009949874676467.key 1167404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 504.3ns 1167404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1172407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1172439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10029009949874676467.key 1172439 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.5ns 1172439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props10335584804108233547.key 1172439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.8ns 1172454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1177519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1177535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10335584804108233547.key 1177551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 1177551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props14489494771764901009.key 1177551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.9ns 1177551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1182664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1182680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14489494771764901009.key 1182695 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1182695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7510746374249402855.key 1182695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.4ns 1182695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1187766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1187780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7510746374249402855.key 1187780 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1187796 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.props5770113186317945077.smt2 1187796 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.props14696629676229214075.smt2 1187796 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.props11712925268375526041.smt2 1187796 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.props8709860520872156169.smt2 1187796 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.props675191097772844455.smt2 1187811 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.props12753830587426064416.smt2 1187811 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.props8508133898902432637.smt2 1187811 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.props12008463263560338704.smt2 1187811 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.props5641977681088101063.smt2 1187811 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.props8116001048198654067.smt2 1187811 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.props13832745539053100853.smt2 1187811 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.props1095125398600155048.smt2 1187811 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.props13118436269628174862.smt2 1187827 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.props12523928312331408554.smt2 1187827 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.props8425434121035023808.smt2 1187827 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.props10837656715095120983.smt2 1187827 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.props11505024149876582683.smt2 1187827 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.props2070724661540333648.smt2 1187827 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.props2148633498145076653.smt2 1187827 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.props2171585756675056664.smt2 1187827 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.props17444245576118220825.smt2 1187843 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.props17023639260026981453.smt2 1187843 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.props109395304337968143.smt2 1187843 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.props8230665078632883692.smt2