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.001s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.005s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.006s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.022s | 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.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | 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
511837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15326668236514243519.key 511837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.3ns 511852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 512040 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 512040 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 512040 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 512040 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 512478 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 515355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 515371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15326668236514243519.key 515371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 515386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props12741412765842135457.key 515386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.7ns 515386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 518044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 518060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12741412765842135457.key 518076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 518076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props7835165127634968007.key 518076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153ns 518076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 520655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 520670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7835165127634968007.key 520670 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 520670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props16289411537617240635.key 520670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.4ns 520670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 523282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 523298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16289411537617240635.key 523298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 523314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props6803469847071886910.key 523314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.8ns 523314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 525909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6803469847071886910.key 525909 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 525909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6833219444840897365.key 525909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.5ns 525909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 528567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 528583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6833219444840897365.key 528583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 528583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props5507067090795974352.key 528583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.2ns 528583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 531209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5507067090795974352.key 531209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 531224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8393979734984496449.key 531224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.3ns 531224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 533929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8393979734984496449.key 533929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 533929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props18080884303751982820.key 533929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.9ns 533929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 536571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 536587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props18080884303751982820.key 536587 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 536587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props8533240900355258438.key 536603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 15.16ms 536603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 539355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 539371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8533240900355258438.key 539371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 539371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6432419687615415966.key 539371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns 539371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 542027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 542043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6432419687615415966.key 542043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 542043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props725408477551604305.key 542043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.7ns 542043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 544810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props725408477551604305.key 544810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 544810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5012782971777261947.key 544810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.8ns 544810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 547468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 547484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5012782971777261947.key 547484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 547499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5717575358385798565.key 547499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.1ns 547499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 550314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5717575358385798565.key 550330 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 550330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15815664354621725140.key 550330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.7ns 550330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 553002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 553018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15815664354621725140.key 553018 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 553034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props10463026477099255468.key 553034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.1ns 553034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 555802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props10463026477099255468.key 555802 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 555802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4050624513681120313.key 555802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.8ns 555802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 558459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4050624513681120313.key 558475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 558475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10909667302069051168.key 558475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.2ns 558475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 561242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10909667302069051168.key 561242 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 561258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11247298228086506469.key 561258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 374.7ns 561258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 564025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11247298228086506469.key 564025 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 564025 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 564025 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 564041 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 564041 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 564041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1656421798845739908.key 564041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.1ns 564041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 566714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1656421798845739908.key 566714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 566714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props13043207998906716643.key 566714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.8ns 566714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 569498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13043207998906716643.key 569498 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 569498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props18271796566705289330.key 569498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.3ns 569498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 572171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props18271796566705289330.key 572187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 572187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13657584302048865280.key 572187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.4ns 572187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 574970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13657584302048865280.key 574970 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 574970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3635563960253626434.key 574970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203ns 574986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 577768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3635563960253626434.key 577768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 578049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8678671125273334490.key 578049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.8ns 578049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 580738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8678671125273334490.key 580738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 580738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props4374655194840917403.key 580738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 397.2ns 580754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 583538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4374655194840917403.key 583538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 583555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13205810997852839449.key 583555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.5ns 583555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 586322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13205810997852839449.key 586322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 586322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props12785563539175358649.key 586322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.6ns 586322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 589011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12785563539175358649.key 589011 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 589011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1538697314910319917.key 589011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.9ns 589011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 591779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1538697314910319917.key 591779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 591779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15647585958327121386.key 591779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 664.2ns 591779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 594530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15647585958327121386.key 594530 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 594530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2191743105403064467.key 594530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.8ns 594546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 597297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2191743105403064467.key 597297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 597297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6310683572163639427.key 597297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 379.3ns 597313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 599987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6310683572163639427.key 599987 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 600002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props17197118014740522648.key 600002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.9ns 600002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 602894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17197118014740522648.key 602894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 602909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props16837270968265558275.key 602909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.5ns 602909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 605785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16837270968265558275.key 605785 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 605785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4140866575055735345.key 605785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.8ns 605785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 608475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4140866575055735345.key 608475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 608475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4782462810484915338.key 608475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127ns 608475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 611289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4782462810484915338.key 611289 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 611289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9949999084996612402.key 611289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.4ns 611289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 613947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9949999084996612402.key 613947 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 613947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10432775750929440544.key 613947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.8ns 613963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 616589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10432775750929440544.key 616604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 616604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4618013046319752347.key 616604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.6ns 616604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 619215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4618013046319752347.key 619215 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 619230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6041738718385332211.key 619230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.2ns 619230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 621873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6041738718385332211.key 621873 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 621888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props18318799824788190165.key 621888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 365.8ns 621888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 624561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18318799824788190165.key 624561 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 624577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props17742237926040522016.key 624577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.9ns 624577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 627250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17742237926040522016.key 627266 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 627266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props2581995418812534972.key 627266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.5ns 627266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629986 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 630001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2581995418812534972.key 630001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 630001 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630001 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630001 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630001 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6723064116525007688.key 630001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.4ns 630001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 632691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6723064116525007688.key 632691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 632691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1631568366758515431.key 632691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.3ns 632706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 635427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1631568366758515431.key 635427 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 635427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9419848335255098955.key 635427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.3ns 635427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 638178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9419848335255098955.key 638178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 638195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6873609920463627284.key 638195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns 638195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 640945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6873609920463627284.key 640945 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 640945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16952529455240462874.key 640945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.9ns 640945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 643682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16952529455240462874.key 643682 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 643698 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.props3941003511666858945.smt2 643698 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.props17244808953153628189.smt2 643698 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.props13562749894292931369.smt2 643698 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.props7958559974527171641.smt2 643698 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.props15429427803810812912.smt2 643698 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.props5732096531447769932.smt2 643698 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.props16197087253880926909.smt2 643698 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.props5908285487457667087.smt2 643714 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.props1055097649224117639.smt2 643714 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.props8559348745323045715.smt2 643714 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.props17862087499485454446.smt2 643714 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.props9617970987781221836.smt2 643714 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.props7271846323735919241.smt2 643714 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.props251602640667940165.smt2 643714 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.props10900341120573927538.smt2 643714 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.props11908252629855149887.smt2 643729 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.props6954025454328861490.smt2 643729 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.props826831623840115020.smt2 643729 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.props18054152327489927278.smt2 643729 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.props2832792265881135169.smt2 643729 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.props15643151220291093942.smt2 643729 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.props14750104706014699817.smt2 643760 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.props16837132223273204375.smt2 643760 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.props15499099391761158885.smt2