Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] ex2.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0.002s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.006s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] bool3.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0.010s | passed |
| [23] cast2.props | testTranslation(TestData)[23] | 0.003s | passed |
| [24] int1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] float.eq.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] ex1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] ex2.props | testZ3(TestData)[11] | - | ignored |
| [12] cast1.props | testZ3(TestData)[12] | - | ignored |
| [13] bool1.props | testZ3(TestData)[13] | - | ignored |
| [14] quant1.props | testZ3(TestData)[14] | - | ignored |
| [15] float1.props | testZ3(TestData)[15] | - | ignored |
| [16] ite1.props | testZ3(TestData)[16] | - | ignored |
| [17] upd1.props | testZ3(TestData)[17] | - | ignored |
| [18] upd2.props | testZ3(TestData)[18] | - | ignored |
| [19] heap1.props | testZ3(TestData)[19] | - | ignored |
| [1] types2.props | testZ3(TestData)[1] | - | ignored |
| [20] uninterpreted1.props | testZ3(TestData)[20] | - | ignored |
| [21] bool3.props | testZ3(TestData)[21] | - | ignored |
| [22] bool2.props | testZ3(TestData)[22] | - | ignored |
| [23] cast2.props | testZ3(TestData)[23] | - | ignored |
| [24] int1.props | testZ3(TestData)[24] | - | ignored |
| [2] float.sinDouble.props | testZ3(TestData)[2] | - | ignored |
| [3] quant2.props | testZ3(TestData)[3] | - | ignored |
| [4] float.eq.props | testZ3(TestData)[4] | - | ignored |
| [5] float2.props | testZ3(TestData)[5] | - | ignored |
| [6] float.sqrt1.props | testZ3(TestData)[6] | - | ignored |
| [7] cast3.props | testZ3(TestData)[7] | - | ignored |
| [8] types1.props | testZ3(TestData)[8] | - | ignored |
| [9] ex1.props | testZ3(TestData)[9] | - | ignored |
Standard output
555375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props17473350201319619586.key 555375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.9ns 555376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 555515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 555516 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 555516 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 556054 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 559624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 559637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17473350201319619586.key 559639 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 559645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props9317320451207277444.key 559645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.2ns 559646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 562655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 562667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9317320451207277444.key 562668 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 562671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props4948610527546536335.key 562671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.9ns 562672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 565677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 565689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4948610527546536335.key 565690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 565693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props17353809590568827674.key 565693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.1ns 565694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 568701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17353809590568827674.key 568702 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 568706 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 568707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props17764479191295660648.key 568707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.3ns 568707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 571763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17764479191295660648.key 571765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.9ns 571767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props10421313262097586852.key 571767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.9ns 571768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 574802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10421313262097586852.key 574803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 574805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props14730906329227521062.key 574805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.1ns 574806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 577903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14730906329227521062.key 577904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 577907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props7536106392331207013.key 577907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73ns 577907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 581027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7536106392331207013.key 581029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 581031 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 581031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props14347419828386844684.key 581031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.9ns 581032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 584088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14347419828386844684.key 584089 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 584091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props10786257863920086418.key 584092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.6ns 584092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 587257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 587269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10786257863920086418.key 587271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 587273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props1769344239824600765.key 587273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.5ns 587274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 590369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 590384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1769344239824600765.key 590385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 590387 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 590388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props17210410719548283792.key 590388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.4ns 590389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 593551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17210410719548283792.key 593553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 593556 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 593557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props11643034571297427192.key 593557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.9ns 593558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 596624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11643034571297427192.key 596625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 596627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props12730719990836620990.key 596627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.3ns 596628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 599798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props12730719990836620990.key 599799 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 599802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props4637866466460339329.key 599802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.8ns 599803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 602876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4637866466460339329.key 602877 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 602881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props17283703916054064504.key 602881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.8ns 602882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 606027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17283703916054064504.key 606028 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 606030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props5607970603363855251.key 606031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.5ns 606032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 609305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5607970603363855251.key 609307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 609309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props11614425646327994608.key 609309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.6ns 609310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 612624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11614425646327994608.key 612625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 612627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props5664260542665713099.key 612628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.2ns 612628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 615963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5664260542665713099.key 615964 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 615968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props3841799542860373017.key 615969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.7ns 615969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 619179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3841799542860373017.key 619181 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 619183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props14326303260089163215.key 619183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.9ns 619184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 622269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props14326303260089163215.key 622271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 622273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props5247519147454278098.key 622273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.3ns 622274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 625390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5247519147454278098.key 625391 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 625393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props11960296796453626748.key 625393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.7ns 625394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 628569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11960296796453626748.key 628570 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 628572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props1458748214843349860.key 628572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.8ns 628573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 631761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1458748214843349860.key 631763 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 631781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props4535839939863432603.key 631781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.4ns 631782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 634902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props4535839939863432603.key 634904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 634906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props7197483348676841109.key 634906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212ns 634907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 638193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7197483348676841109.key 638194 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 638196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props147652776422627509.key 638197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.7ns 638197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 641590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props147652776422627509.key 641591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 641594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props6294426868052598963.key 641594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.7ns 641594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 644783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6294426868052598963.key 644784 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 644786 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 644787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props17952893237421195918.key 644788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.7ns 644788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 648044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17952893237421195918.key 648045 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 648048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props14310607521827940561.key 648048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.5ns 648048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 651372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14310607521827940561.key 651373 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 651376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props8107522262089164611.key 651376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.5ns 651377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 654575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8107522262089164611.key 654576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 654578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props18229226366018393255.key 654578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.6ns 654579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 657882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props18229226366018393255.key 657884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 657885 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 657886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props13858430976622788146.key 657886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.4ns 657887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 661156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13858430976622788146.key 661157 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 661160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props11089871758750936407.key 661160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.3ns 661160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 664498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11089871758750936407.key 664500 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 664502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props17444676055918723905.key 664502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.5ns 664503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 667741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17444676055918723905.key 667742 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.5ns 667744 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 667744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props6454277141174402705.key 667744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.7ns 667745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 671025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6454277141174402705.key 671027 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 671028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 671029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props10111018549399200540.key 671029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.4ns 671030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 674316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10111018549399200540.key 674317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 674319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props7130218209391509624.key 674319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.4ns 674320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 677653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7130218209391509624.key 677654 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.7ns 677657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props3978134045328888988.key 677657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302.1ns 677658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 680846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3978134045328888988.key 680847 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 680849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props2359965234289739076.key 680849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.1ns 680850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 684039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2359965234289739076.key 684040 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 684043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props7385643549051173441.key 684043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.4ns 684043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 687204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7385643549051173441.key 687205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 687208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props13839018541368885809.key 687208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.9ns 687208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 690388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13839018541368885809.key 690390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 690392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props8558189943045869864.key 690392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113ns 690393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 693475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8558189943045869864.key 693477 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 693480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props18128167254188012424.key 693480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.3ns 693481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 696610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props18128167254188012424.key 696612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 696614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props16491041881861753942.key 696614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.3ns 696614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 699764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16491041881861753942.key 699765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 699767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props7260937124559068302.key 699767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.6ns 699768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 702876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7260937124559068302.key 702877 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 702879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props18254393072715326550.key 702879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.9ns 702880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 706021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props18254393072715326550.key 706022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 706026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props7594301224649861909.key 706026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.9ns 706027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 709157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7594301224649861909.key 709159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 709165 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props14099208255699810871.smt2 709171 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props17083527929799842955.smt2 709172 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props489934177786527435.smt2 709173 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props5819726854782337564.smt2 709175 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props6221238285325632067.smt2 709176 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props15052885507975941173.smt2 709178 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props9610984113697531328.smt2 709179 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props2067554446110544503.smt2 709181 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props3194143205140270503.smt2 709183 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props11206519628459906115.smt2 709184 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props978734646342768513.smt2 709186 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props8543425996472654353.smt2 709188 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props8053636364583568081.smt2 709189 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props13935140968012166530.smt2 709191 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props15256232921422674875.smt2 709193 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props11701466805002306402.smt2 709194 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props12833744055285624235.smt2 709196 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props5864903121910611270.smt2 709197 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props3846670256239224599.smt2 709199 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props7890838057254421400.smt2 709200 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props10128258814676946979.smt2 709201 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props13139670859316728363.smt2 709214 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props5844698982309202053.smt2 709215 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props1620117576846804561.smt2