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.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | 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.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.003s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.021s | 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.002s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.003s | 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
508978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props276435573392562791.key 508978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.2ns 508978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 509134 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 509134 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 509134 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 509134 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 509744 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 512636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 512652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props276435573392562791.key 512652 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 512667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7795930304542237418.key 512667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149ns 512683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 515295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 515310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7795930304542237418.key 515310 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 515310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5392163472573776953.key 515310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns 515326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 517890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 517906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5392163472573776953.key 517906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 517906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props11477165660258177409.key 517906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.2ns 517921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 520469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 520485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11477165660258177409.key 520500 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 520500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1258600962187555206.key 520500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.8ns 520500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 523143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 523158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1258600962187555206.key 523158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 523158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15051698669250896591.key 523158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200ns 523158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 525754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15051698669250896591.key 525754 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 525754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props12107695825043038473.key 525754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126ns 525770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 528365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 528381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12107695825043038473.key 528381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 528381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8617816166601624175.key 528381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.3ns 528396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 531115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8617816166601624175.key 531115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 531115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10594597663920257427.key 531115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.6ns 531131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 533774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10594597663920257427.key 533774 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 533774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props12926794871281132500.key 533774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.3ns 533789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 536431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 536447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12926794871281132500.key 536447 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 536462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13381679804337570668.key 536462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.1ns 536462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 539229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 539244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13381679804337570668.key 539244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 539244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16853841885421594494.key 539244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.6ns 539260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 541933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16853841885421594494.key 541933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 541933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4881049205539371509.key 541933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193ns 541933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 544716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4881049205539371509.key 544716 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 544716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props1386506253908499720.key 544716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.3ns 544732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 547359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 547375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1386506253908499720.key 547390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 547390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9929804236320658532.key 547390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.6ns 547390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 550032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9929804236320658532.key 550032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 550048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5333383781049073279.key 550048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.6ns 550048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 552832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5333383781049073279.key 552832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 552832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11093858760239960643.key 552832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.9ns 552847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 555505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11093858760239960643.key 555505 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 555505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13674367259209609232.key 555505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235ns 555505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 558148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13674367259209609232.key 558163 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 558163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10048745152515706677.key 558163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.5ns 558163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 560945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10048745152515706677.key 560945 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 560945 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 560945 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 560945 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 560945 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 560945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11056059713928126674.key 560945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.8ns 560945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 563603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11056059713928126674.key 563603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 563603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props14816906518862122689.key 563603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.5ns 563603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 566371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14816906518862122689.key 566371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 566371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16606764314672553615.key 566371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 364.8ns 566371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 569028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16606764314672553615.key 569028 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 569044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5383425048488088879.key 569044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.2ns 569044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 571810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5383425048488088879.key 571810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 571826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3513376031210836697.key 571826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 374.8ns 571826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 574484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3513376031210836697.key 574484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 574765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9853862614384080121.key 574765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.7ns 574765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 577548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9853862614384080121.key 577548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 577548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14625405287132678151.key 577548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 344.2ns 577548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 580205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14625405287132678151.key 580205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 580220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1979180038293272095.key 580220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.3ns 580220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 582988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1979180038293272095.key 582988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 583004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3850330821038121975.key 583004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.4ns 583004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 585647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 585662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3850330821038121975.key 585662 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 585662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5214429613074321611.key 585662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.2ns 585662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 588445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5214429613074321611.key 588445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 588445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props13260155952923259035.key 588445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.9ns 588445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 591103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13260155952923259035.key 591103 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 591103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props14815150913588655171.key 591103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.5ns 591119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 593902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14815150913588655171.key 593902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 593902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props839033500526648525.key 593902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.4ns 593917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 596561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props839033500526648525.key 596561 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 596561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13171722083145335904.key 596561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.2ns 596576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 599436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13171722083145335904.key 599436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 599436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7536823613360357639.key 599436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.1ns 599436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 602126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7536823613360357639.key 602126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 602126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props514731195635630281.key 602126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 346.7ns 602126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 604956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 604972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props514731195635630281.key 604988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 604988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1419751205718059372.key 604988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.7ns 604988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 607567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1419751205718059372.key 607567 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 607567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1106696914785905517.key 607567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.3ns 607567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 610162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1106696914785905517.key 610162 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 610162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props14719913449623900752.key 610162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.8ns 610162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 612805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14719913449623900752.key 612805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 612821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4342665788052524986.key 612821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.8ns 612821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 615417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4342665788052524986.key 615417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 615433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11827082693710804817.key 615433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127ns 615433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 618091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11827082693710804817.key 618106 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 618106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3300783512784673750.key 618106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.5ns 618106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 620733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3300783512784673750.key 620733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 620733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8617418076864539716.key 620733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 398.4ns 620748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 623376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8617418076864539716.key 623376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 623376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props10870961134705969856.key 623376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.8ns 623376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 626097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10870961134705969856.key 626097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 626097 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 626097 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 626097 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 626097 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 626097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props8088901209442117043.key 626097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.4ns 626113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 628755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8088901209442117043.key 628771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 628771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9149594382727972655.key 628771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.4ns 628771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 631522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9149594382727972655.key 631538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 631538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props856100179391093493.key 631538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.7ns 631538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 634227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props856100179391093493.key 634227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 634227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12536378052430069904.key 634227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 634227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 637027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12536378052430069904.key 637027 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 637027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7822567720381290440.key 637027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.7ns 637027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 639699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7822567720381290440.key 639699 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 639699 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.props2003461683371870336.smt2 639699 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.props4988469812070619651.smt2 639730 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.props13491642430920620778.smt2 639730 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.props10691501143077272912.smt2 639730 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.props4224766574365530652.smt2 639730 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.props15901113430265814185.smt2 639730 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.props5658322633264710449.smt2 639730 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.props15833739792431741165.smt2 639730 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.props14757745379028737646.smt2 639761 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.props1008152310476738102.smt2 639761 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.props12724779762109357445.smt2 639761 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.props5853723556837611342.smt2 639761 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.props13161058764385435337.smt2 639761 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.props14448048652343561924.smt2 639761 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.props12755832202569187264.smt2 639761 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.props16337888633762331083.smt2 639777 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.props5782277471782796564.smt2 639777 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.props2049577612449885088.smt2 639777 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.props17314153503071654353.smt2 639777 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.props6218688703187564260.smt2 639777 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.props12722188692791593139.smt2 639777 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.props7997593582060021260.smt2 639777 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.props1568980718728322540.smt2 639777 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.props3094802073381088658.smt2