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] bool1.props | testTranslation(TestData)[11] | 0s | passed |
| [12] upd1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float.sinDouble.props | testTranslation(TestData)[13] | 0.001s | 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.002s | passed |
| [17] quant2.props | testTranslation(TestData)[17] | 0s | passed |
| [18] float.sqrt1.props | testTranslation(TestData)[18] | 0s | passed |
| [19] int1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] float2.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] bool2.props | testTranslation(TestData)[20] | 0s | 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.002s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0.001s | 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] | 0s | passed |
| [9] heap1.props | testTranslation(TestData)[9] | 0s | 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
821199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props1181988803684124631.key 821199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101ns 821200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821502 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 821503 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 821503 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 821503 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 822215 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 827209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.01s 827225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1181988803684124631.key 827227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 827238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props2181092700817245509.key 827238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.6ns 827239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 831925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2181092700817245509.key 831926 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.2ns 831930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props8215225324307446901.key 831930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.9ns 831931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 836475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8215225324307446901.key 836477 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 836479 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 836480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props1829392480819685776.key 836480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.9ns 836481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 841175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1829392480819685776.key 841176 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 841181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props1876728062908285449.key 841181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.8ns 841182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 845709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 845724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1876728062908285449.key 845726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 845728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props15666669905186977574.key 845728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.4ns 845729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 850268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15666669905186977574.key 850269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 850272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props990276514240841568.key 850272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.2ns 850273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 854764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props990276514240841568.key 854765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.2ns 854767 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 854768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props11086474962250390549.key 854768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134ns 854769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 859307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 859323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11086474962250390549.key 859325 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 859328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props5173878436261717559.key 859328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.7ns 859329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 864115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 864131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5173878436261717559.key 864136 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 864145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props13357621575863199187.key 864145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.1ns 864146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 868762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 868778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13357621575863199187.key 868779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 868782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props11384510541022452503.key 868782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.2ns 868783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 873170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 873185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11384510541022452503.key 873187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 873189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props17846695877540977619.key 873190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66ns 873191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 877754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 877769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17846695877540977619.key 877771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 877774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props10952352942287490638.key 877774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.8ns 877775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 882107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 882121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10952352942287490638.key 882123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 882126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props18166161509299141782.key 882126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.1ns 882127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 886519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 886534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props18166161509299141782.key 886535 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 886537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props9913895370395256237.key 886538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.5ns 886538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 891122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 891139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9913895370395256237.key 891141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 891145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props5439037754142201608.key 891145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.1ns 891146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 895848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 895865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5439037754142201608.key 895871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 895874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17910706820005584852.key 895874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.8ns 895875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 900794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17910706820005584852.key 900797 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 900800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props13594729501011475609.key 900800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.7ns 900801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 905478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 905495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13594729501011475609.key 905497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 905500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props416950364473564906.key 905500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.1ns 905501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 910341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 910357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props416950364473564906.key 910359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 910361 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 910362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props5629094500298765641.key 910362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61ns 910363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 915158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 915174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5629094500298765641.key 915176 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 915179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props9384003608093750056.key 915179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.6ns 915180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 920040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 920057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9384003608093750056.key 920058 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 920061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props15083515728964571448.key 920061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.1ns 920062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 924991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 925007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15083515728964571448.key 925009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 925011 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 925011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props1488929182772758271.key 925011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.1ns 925012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 929762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 929778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1488929182772758271.key 929780 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 929783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props11367023540800308956.key 929783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.7ns 929784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 934689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11367023540800308956.key 934691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 934712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props6457542464781378984.key 934712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.4ns 934713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 939321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 939335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6457542464781378984.key 939336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 939339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props1792451127427696438.key 939339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.7ns 939340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 943679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 943700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1792451127427696438.key 943702 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 943704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props18304340708743619402.key 943705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.9ns 943706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 948177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 948192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props18304340708743619402.key 948194 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 948196 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 948197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props17306708323116647092.key 948197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.1ns 948197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 952728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 952743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17306708323116647092.key 952744 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 952746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props1454780302830321795.key 952746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.9ns 952747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 957232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s 957249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1454780302830321795.key 957250 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27ns 957253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props6749852989081079658.key 957253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.4ns 957254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 961654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 961671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6749852989081079658.key 961672 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 961675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props3767472595580535815.key 961675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.8ns 961676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 966286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 966302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3767472595580535815.key 966304 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 966308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 966309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props14060247779819209311.key 966309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.8ns 966312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 971014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 971029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14060247779819209311.key 971030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 971033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props14625501948722105497.key 971033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.6ns 971034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 975655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14625501948722105497.key 975656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 975660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props6148666674494143560.key 975660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.2ns 975661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 980334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props6148666674494143560.key 980335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 980338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props188503166160077989.key 980338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.4ns 980339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 985049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 985064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props188503166160077989.key 985065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 985068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props11133906192781362185.key 985068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69ns 985069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 989807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 989822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11133906192781362185.key 989824 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 989826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props12552627388509718320.key 989827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.8ns 989828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 994484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 994502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12552627388509718320.key 994503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.5ns 994506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props14277791805630847033.key 994506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.5ns 994507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 998944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 998960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14277791805630847033.key 998962 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 998964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props9832011085549428076.key 998964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.7ns 998965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1003561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 1003577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9832011085549428076.key 1003579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1003582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props9442134084477786139.key 1003582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.5ns 1003583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1008294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 1008310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9442134084477786139.key 1008311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1008314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props8545531086225776824.key 1008315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.3ns 1008315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1012911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 1012926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8545531086225776824.key 1012928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1012930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props14583469319016326477.key 1012930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77ns 1012931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1017384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 1017400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14583469319016326477.key 1017401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1017404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props16013775407237473477.key 1017404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.5ns 1017404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1021911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s 1021927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16013775407237473477.key 1021928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1021930 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1021931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props14140522021606393096.key 1021931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.8ns 1021932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1026568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 1026584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14140522021606393096.key 1026588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1026591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props11079513769525421134.key 1026591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 478.7ns 1026592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1031277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 1031292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11079513769525421134.key 1031293 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1031296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props2942141570139073716.key 1031296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.1ns 1031297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1035934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 1035949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2942141570139073716.key 1035950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 1035952 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1035953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props15457319004154988313.key 1035953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.7ns 1035954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1040580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 1040595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props15457319004154988313.key 1040597 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1040600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props10518731867226776167.key 1040600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.4ns 1040601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 1045301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10518731867226776167.key 1045302 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1045307 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props12718288485857648468.smt2 1045309 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props11123983130465276104.smt2 1045310 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props1770697218399565598.smt2 1045311 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props9791730021785279289.smt2 1045311 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props9870796348014608899.smt2 1045312 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props12086704957729724177.smt2 1045313 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props15267159435009508404.smt2 1045314 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props11082549344829605142.smt2 1045315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props4450520818764498404.smt2 1045316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props13324134502562441081.smt2 1045316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props2846949792015804763.smt2 1045317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props10912468748655644466.smt2 1045318 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props5833300626125138878.smt2 1045319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props10290313648408055943.smt2 1045320 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props1283558917647494118.smt2 1045323 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props12312844293194227196.smt2 1045324 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props15643219676922519546.smt2 1045325 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props8166353374781695155.smt2 1045325 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props4632971857936674731.smt2 1045326 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props5951506600544352213.smt2 1045327 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props6211339511894225956.smt2 1045328 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props5984054863938581924.smt2 1045330 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props14870143669050475340.smt2 1045331 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props14310859927617665681.smt2