Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0s | passed |
| [11] ex2.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 0s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] bool3.props | testTranslation(TestData)[21] | 0s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] cast2.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] int1.props | testTranslation(TestData)[24] | 0s | 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] | 0s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] ex1.props | testTranslation(TestData)[9] | 0s | 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
588188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props2094617708417079025.key 588189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.8ns 588189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588326 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 588326 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 588326 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 588326 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 588880 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 592230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 592246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2094617708417079025.key 592247 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 592255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props4549623607544975316.key 592255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71ns 592256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 595499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 595536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4549623607544975316.key 595538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 595548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props9582312833709368111.key 595552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.74ms 595553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 598637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 598653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9582312833709368111.key 598654 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 598658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props16512472471896680895.key 598658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.3ns 598658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 601752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16512472471896680895.key 601753 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 601759 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 601760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props13570285421994545687.key 601760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.91ns 601761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 605106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13570285421994545687.key 605107 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 605110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props17336123823757473952.key 605110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.8ns 605111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 608197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17336123823757473952.key 608199 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 608201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props3636698171529309457.key 608201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.5ns 608202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 611393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3636698171529309457.key 611395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 611399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props1746182440192764493.key 611408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 8.55ms 611409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 614706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1746182440192764493.key 614707 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 614709 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 614710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props2029599609763468128.key 614710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.9ns 614711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 617734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2029599609763468128.key 617735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 617738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props16731048924848086716.key 617738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.7ns 617739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 621116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16731048924848086716.key 621117 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 621120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props11127577220860522232.key 621120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.7ns 621128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 624558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11127577220860522232.key 624559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 624561 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 624562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props16071245481378350001.key 624562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.4ns 624562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 627577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16071245481378350001.key 627578 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 627580 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 627581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props17536242948300327419.key 627581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.8ns 627581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 630778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17536242948300327419.key 630779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 630783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props10195234422945940803.key 630784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms 630785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 633931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10195234422945940803.key 633932 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 633935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props13726855391685281664.key 633935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.7ns 633936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 636954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13726855391685281664.key 636955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 636959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props632619239157871038.key 636959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.31ns 636960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 640263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props632619239157871038.key 640265 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 640277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props3157540517646884806.key 640277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.21ns 640278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 643358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3157540517646884806.key 643359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 643361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props4894582463216093342.key 643361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.5ns 643362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 646384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4894582463216093342.key 646385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 646388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props4478443204523244123.key 646388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.7ns 646389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 649474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4478443204523244123.key 649475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 649480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props11712386789064317803.key 649480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61ns 649481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 652502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11712386789064317803.key 652503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 652505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props687613374051162582.key 652505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59ns 652506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 655608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props687613374051162582.key 655609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 655611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props4639101653003574802.key 655611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.2ns 655612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 658690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4639101653003574802.key 658691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 658694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props7566520046651024306.key 658694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.2ns 658694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 661842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7566520046651024306.key 661844 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 661847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props7902551094877350682.key 661847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.6ns 661847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 664945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7902551094877350682.key 664946 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 664964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props2523901439712220299.key 664964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70ns 664965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 668149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2523901439712220299.key 668150 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 668152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props2299302987496677966.key 668153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.3ns 668153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 671227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2299302987496677966.key 671228 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 671233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props16007344520022600822.key 671233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.4ns 671234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 674368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16007344520022600822.key 674369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 674372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props8017151261288961724.key 674372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.7ns 674372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 677498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8017151261288961724.key 677499 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 677501 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 677502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props16503790331921313461.key 677502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.5ns 677503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 680584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16503790331921313461.key 680585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 680587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props12501427477020139609.key 680588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.2ns 680588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 683732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12501427477020139609.key 683733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 683736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props17480072046938104840.key 683736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.5ns 683736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 686861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17480072046938104840.key 686862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 686864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props13888748577823739210.key 686864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.2ns 686865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 690015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13888748577823739210.key 690016 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 690018 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 690018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props9633951298449515797.key 690019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.5ns 690019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 693159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9633951298449515797.key 693160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 693163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props12817982465777887264.key 693163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83ns 693163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 696255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12817982465777887264.key 696256 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 696258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props3488527620494316647.key 696258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.3ns 696259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 699392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3488527620494316647.key 699393 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 699395 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 699396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props3718220149923194002.key 699396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.5ns 699396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 702511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3718220149923194002.key 702513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 702514 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 702515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props15531366273173870041.key 702515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63ns 702516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 705656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15531366273173870041.key 705657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 705660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props8322591992799281662.key 705660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.7ns 705660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 708830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8322591992799281662.key 708831 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 708833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props8542614745371652537.key 708834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.4ns 708834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 711959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8542614745371652537.key 711961 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 711963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props2275090524027276490.key 711963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59ns 711964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 715107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2275090524027276490.key 715108 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 715110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props8092803394262950614.key 715111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.4ns 715111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 718282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8092803394262950614.key 718283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 718285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props8899894430199747644.key 718285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.4ns 718286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 721391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8899894430199747644.key 721393 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 721395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props2124808816261689805.key 721395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.71ns 721396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 724508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props2124808816261689805.key 724509 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 724513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props13812998212840778595.key 724513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.6ns 724513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 727609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13812998212840778595.key 727610 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 727612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props17969486611268018607.key 727612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.5ns 727613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 730761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17969486611268018607.key 730763 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 730765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props4774414793592884135.key 730765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.8ns 730766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 733871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4774414793592884135.key 733872 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 733875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props15380043179207315127.key 733875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.2ns 733876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 737037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15380043179207315127.key 737039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 737041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props546935756533100423.key 737041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.5ns 737042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 740195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props546935756533100423.key 740197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 740200 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props5056296186779398265.smt2 740201 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props13260510876218665476.smt2 740202 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props1554692940053938890.smt2 740202 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props3672679496785643131.smt2 740203 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props11143135627971492526.smt2 740204 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props4451841743747016640.smt2 740205 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props2161961910364043432.smt2 740206 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props12652006516817204218.smt2 740206 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props16351186956018532292.smt2 740207 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props12390055070286166327.smt2 740208 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props13628896036871244290.smt2 740209 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props453539889872217327.smt2 740209 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props14654414083004614175.smt2 740210 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props14026966966849994654.smt2 740211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props9197477209990060396.smt2 740212 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props5606444036734241640.smt2 740212 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props4601960850940774282.smt2 740213 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props9163887314237495167.smt2 740214 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props14379132853639770875.smt2 740215 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props16231503975575580788.smt2 740215 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props12957873721717467010.smt2 740216 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props11284343501103772.smt2 740217 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props8771935723321267871.smt2 740218 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props12915264868023137940.smt2