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] bool1.props | testTranslation(TestData)[11] | 0s | passed |
| [12] upd1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float.sinDouble.props | testTranslation(TestData)[13] | 0s | passed |
| [14] float.eq.props | testTranslation(TestData)[14] | 0s | passed |
| [15] ex1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] quant2.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] float.sqrt1.props | testTranslation(TestData)[18] | 0s | passed |
| [19] int1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] float2.props | testTranslation(TestData)[1] | 0.005s | passed |
| [20] bool2.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] types1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] float1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0s | passed |
| [2] uninterpreted1.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0s | passed |
| [4] cast3.props | testTranslation(TestData)[4] | 0s | passed |
| [5] ite1.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] types2.props | testTranslation(TestData)[7] | 0s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] heap1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] bool1.props | testZ3(TestData)[11] | - | ignored |
| [12] upd1.props | testZ3(TestData)[12] | - | ignored |
| [13] float.sinDouble.props | testZ3(TestData)[13] | - | ignored |
| [14] float.eq.props | testZ3(TestData)[14] | - | ignored |
| [15] ex1.props | testZ3(TestData)[15] | - | ignored |
| [16] cast2.props | testZ3(TestData)[16] | - | ignored |
| [17] quant2.props | testZ3(TestData)[17] | - | ignored |
| [18] float.sqrt1.props | testZ3(TestData)[18] | - | ignored |
| [19] int1.props | testZ3(TestData)[19] | - | ignored |
| [1] float2.props | testZ3(TestData)[1] | - | ignored |
| [20] bool2.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] types1.props | testZ3(TestData)[22] | - | ignored |
| [23] float1.props | testZ3(TestData)[23] | - | ignored |
| [24] cast1.props | testZ3(TestData)[24] | - | ignored |
| [2] uninterpreted1.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast3.props | testZ3(TestData)[4] | - | ignored |
| [5] ite1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] types2.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] heap1.props | testZ3(TestData)[9] | - | ignored |
Standard output
867614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props8890083856274140803.key 867615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.8ns 867616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 867826 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 867826 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 867827 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 867827 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 868591 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 873915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.3s 873932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props8890083856274140803.key 873934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 873944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props4055933253749269148.key 873945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.8ns 873945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 878611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 878633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4055933253749269148.key 878634 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 878645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props4181829710534082152.key 878645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.9ns 878646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 883373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 883392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4181829710534082152.key 883398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 883400 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 883401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props889297753280821629.key 883401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.2ns 883402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 888039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props889297753280821629.key 888042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 888046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props10875301060552163726.key 888046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.3ns 888047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 892762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10875301060552163726.key 892764 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 892767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props7198841052610835331.key 892767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.2ns 892768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 897612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 897627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7198841052610835331.key 897629 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 897631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props2556716027127227744.key 897632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.8ns 897632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 902325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 902342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2556716027127227744.key 902344 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 902346 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 902347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props1210028706125665573.key 902347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.1ns 902348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 907093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 907109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1210028706125665573.key 907111 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 907114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props12933104498329540869.key 907114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.2ns 907115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 911968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 911986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12933104498329540869.key 911988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 911993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props540977363610238303.key 911993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89ns 911994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 916855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 916871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props540977363610238303.key 916873 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 916876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props7491218251276253474.key 916876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.3ns 916877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 921777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7491218251276253474.key 921779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 921782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props10402320198667547465.key 921782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.5ns 921783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 926717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 926734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10402320198667547465.key 926736 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 926738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props3767759330540425814.key 926738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.7ns 926739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 931613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 931631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3767759330540425814.key 931632 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 931635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props13079567432509811766.key 931635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87ns 931636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 936481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 936498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13079567432509811766.key 936499 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 936502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props15059982119765759749.key 936502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.9ns 936503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 941371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 941387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15059982119765759749.key 941388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.1ns 941393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props18126686300073319717.key 941393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.8ns 941394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 946226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props18126686300073319717.key 946227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 946233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props2778525966861130951.key 946233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.7ns 946233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 951038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2778525966861130951.key 951039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 951042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props6653565101322765060.key 951042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70ns 951043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 955975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6653565101322765060.key 955977 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 955980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props11772427493099120043.key 955980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89ns 955981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 960839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11772427493099120043.key 960841 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 960846 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 960847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props9772712120626615235.key 960848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.7ns 960849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 965699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 965716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9772712120626615235.key 965718 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44ns 965720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props6146641380374541517.key 965720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.1ns 965721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 970619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 970635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6146641380374541517.key 970636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 970639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props7586062602703525581.key 970639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.5ns 970640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 975582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7586062602703525581.key 975584 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 975586 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 975586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props16489037497887459320.key 975586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.9ns 975587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s 980323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16489037497887459320.key 980325 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 980328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7817630256452611170.key 980328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.3ns 980329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 985124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 985142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7817630256452611170.key 985143 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 985164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props10830902210510258510.key 985164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.4ns 985165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 989971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10830902210510258510.key 989973 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 989975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props18404713648518681901.key 989975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.5ns 989976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 994794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props18404713648518681901.key 994796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 994799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props9857821760415356740.key 994799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102ns 994800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 999676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 999693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9857821760415356740.key 999695 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 999698 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 999698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props17311328242292150065.key 999698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.6ns 999700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1004484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 1004499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17311328242292150065.key 1004500 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 1004502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props11623685790353304434.key 1004502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.2ns 1004503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1009299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 1009318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11623685790353304434.key 1009320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27ns 1009323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props3737335322154061652.key 1009323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.9ns 1009324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1014317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1014334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3737335322154061652.key 1014335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1014338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props3760093388865337918.key 1014338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.7ns 1014339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1019161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 1019178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3760093388865337918.key 1019179 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25ns 1019183 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1019184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props12599859944730936519.key 1019184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.1ns 1019185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1024047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1024065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12599859944730936519.key 1024066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1024069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props13849014922230011610.key 1024069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.8ns 1024070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1029013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1029030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13849014922230011610.key 1029032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1029036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props3639189659849480949.key 1029036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.7ns 1029037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1033961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1033979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3639189659849480949.key 1033980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1033983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props12828526810599420120.key 1033984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.2ns 1033984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1038971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1038987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12828526810599420120.key 1038988 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1038991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props14628698500371969671.key 1038991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.5ns 1038992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1043857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 1043874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14628698500371969671.key 1043875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1043878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props11382760631617482396.key 1043878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.7ns 1043879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1048841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1048859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11382760631617482396.key 1048861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1048863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props17400098503771818108.key 1048863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.6ns 1048864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1053801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1053818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17400098503771818108.key 1053819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1053822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props1350614442605967915.key 1053822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.2ns 1053823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1058814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1058832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1350614442605967915.key 1058833 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1058836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props14139348348014552511.key 1058836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.9ns 1058837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1063720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1063736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14139348348014552511.key 1063737 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 1063740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props10880980015497376844.key 1063740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.5ns 1063741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1068735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1068752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10880980015497376844.key 1068753 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1068756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props11693415397512225142.key 1068756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.1ns 1068757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1073688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1073704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11693415397512225142.key 1073705 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1073708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props16093884015138159605.key 1073708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.7ns 1073709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1078566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1078583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16093884015138159605.key 1078585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1078587 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1078588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props909334713061660973.key 1078588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.1ns 1078589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1083520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props909334713061660973.key 1083522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1083524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props8815013043315783571.key 1083524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.7ns 1083525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 1088232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8815013043315783571.key 1088234 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 1088236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props61287347412381182.key 1088236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.2ns 1088237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1092778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 1092792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props61287347412381182.key 1092794 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1092795 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1092796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props13930986336916798304.key 1092796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76ns 1092797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1097349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 1097367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13930986336916798304.key 1097368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1097371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props16819763172697616358.key 1097371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.9ns 1097372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1101917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 1101932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16819763172697616358.key 1101933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1101936 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props3181533069085266501.smt2 1101942 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props14389620476614287748.smt2 1101943 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props6825409184822028872.smt2 1101944 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props13270181574703250548.smt2 1101944 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props17926535625409752536.smt2 1101945 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props1513611366165940742.smt2 1101946 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props8620584469447981978.smt2 1101947 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props7871643809423095985.smt2 1101948 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props13761925726706038561.smt2 1101949 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props5741483672828000903.smt2 1101950 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props5347351736664490594.smt2 1101951 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props672052196446236032.smt2 1101952 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props7357480429047002692.smt2 1101953 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props11578943240646572638.smt2 1101954 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props6382118109812925201.smt2 1101955 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props1899979311738787410.smt2 1101956 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props14726507742508225701.smt2 1101958 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props4299593893420316904.smt2 1101958 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props7133023433302026351.smt2 1101959 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props7352420762159326230.smt2 1101960 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props7263573057317606680.smt2 1101961 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props7485443313314112488.smt2 1101962 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props363134038053773612.smt2 1101963 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props3946752589456894745.smt2