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] | 0.001s | 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] | 0.001s | passed |
[15] ex1.props | testTranslation(TestData)[15] | 0s | passed |
[16] cast2.props | testTranslation(TestData)[16] | 0.001s | passed |
[17] quant2.props | testTranslation(TestData)[17] | 0s | 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.002s | passed |
[20] bool2.props | testTranslation(TestData)[20] | 0s | passed |
[21] quant1.props | testTranslation(TestData)[21] | 0s | passed |
[22] types1.props | testTranslation(TestData)[22] | 0.001s | passed |
[23] float1.props | testTranslation(TestData)[23] | 0.007s | 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] | 0.001s | passed |
[4] cast3.props | testTranslation(TestData)[4] | 0.001s | 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] | 0.001s | 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
881713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props6367864425201715613.key 881713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.8ns 881714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 881937 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 881938 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 881938 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 881938 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 882705 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 887899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.19s 887914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6367864425201715613.key 887916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 887926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props17585177521384258692.key 887926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.9ns 887927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 892567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17585177521384258692.key 892568 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 892583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props11178462173676564782.key 892583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.1ns 892584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 897186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 897202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11178462173676564782.key 897203 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 897205 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 897206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props10575741623552234964.key 897206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.1ns 897207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 901801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 901818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10575741623552234964.key 901819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 901823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props6313478976945151956.key 901823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.5ns 901824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 906534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 906553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6313478976945151956.key 906555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 906559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props14963817902932209063.key 906559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.2ns 906560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 911442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 911457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14963817902932209063.key 911459 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 911461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props8929530658203128954.key 911461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.4ns 911462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 916165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 916186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8929530658203128954.key 916187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 916189 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 916190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props13180703120117526586.key 916190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70ns 916191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 920853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 920869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13180703120117526586.key 920871 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 920873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props4027182339467766581.key 920874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.2ns 920874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 925650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4027182339467766581.key 925651 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 925657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props17267510236274588613.key 925657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.6ns 925657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 930329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17267510236274588613.key 930330 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 930334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props9026564575805890312.key 930334 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.8ns 930334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 935111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 935131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9026564575805890312.key 935133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 935135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props3788816437137095682.key 935135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.6ns 935137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 939886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 939904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3788816437137095682.key 939906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 939909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props13736284222125102010.key 939909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73ns 939910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 944868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 944887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13736284222125102010.key 944888 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 944891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props9952725281773604258.key 944891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.9ns 944892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 949778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 949794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9952725281773604258.key 949796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 949798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props8420549389081589003.key 949798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.5ns 949799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 954665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8420549389081589003.key 954667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 954671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props7409831365514363368.key 954671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.7ns 954672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 959831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7409831365514363368.key 959833 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 959836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props14687676830285466668.key 959836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.1ns 959837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 964643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 964659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14687676830285466668.key 964660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 964663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props2886393023371655083.key 964663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.2ns 964663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 969397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 969414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2886393023371655083.key 969415 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 969418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props13684669655231717680.key 969418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.5ns 969419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 974056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 974076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13684669655231717680.key 974077 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 974079 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 974080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props13507265869097258627.key 974080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91ns 974081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 979105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 979121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13507265869097258627.key 979122 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 979124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props9470920896332356160.key 979124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.2ns 979125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 983901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 983916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9470920896332356160.key 983918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 983920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props8215125700296087650.key 983920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.1ns 983921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 988553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 988571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props8215125700296087650.key 988573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 988575 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 988575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props4103674889302776279.key 988575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.3ns 988576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 993382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 993400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4103674889302776279.key 993402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 993405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props2571682332937176405.key 993405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.1ns 993406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 998186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 998202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2571682332937176405.key 998204 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 998244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props13117084092211794329.key 998244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 602.31ns 998245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1002917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 1002934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13117084092211794329.key 1002935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1002938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props10281536386488238434.key 1002938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.5ns 1002938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1007588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 1007605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10281536386488238434.key 1007606 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 1007609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props6394817963748272152.key 1007609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.3ns 1007610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1012256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 1012272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6394817963748272152.key 1012273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 1012275 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1012276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props9758015659888728259.key 1012276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.3ns 1012277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1016900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 1016916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9758015659888728259.key 1016917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 1016921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props16055964853230180293.key 1016921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.9ns 1016922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1021675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 1021693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16055964853230180293.key 1021694 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 1021697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props2872776973117013822.key 1021697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.2ns 1021698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1026476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 1026492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2872776973117013822.key 1026493 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 1026496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props210728838065261658.key 1026496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.3ns 1026497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1031413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1031433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props210728838065261658.key 1031434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 1031436 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1031437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props6111653297493670600.key 1031437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.1ns 1031438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1036454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1036470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6111653297493670600.key 1036471 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 1036474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props13855039020193121161.key 1036474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.5ns 1036475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1041202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 1041222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13855039020193121161.key 1041223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 1041228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props17986181115195994848.key 1041228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.8ns 1041234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1046013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 1046032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17986181115195994848.key 1046034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 1046036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props10689169729537852279.key 1046036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.9ns 1046037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1050663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 1050679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10689169729537852279.key 1050680 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 1050682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props7668291858984887542.key 1050683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.3ns 1050683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1055438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 1055453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7668291858984887542.key 1055454 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 1055457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props16393486293002008941.key 1055457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.7ns 1055458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1060119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 1060134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16393486293002008941.key 1060136 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 1060138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props1542685362715039533.key 1060138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.7ns 1060139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1064879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 1064894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1542685362715039533.key 1064896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 1064898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props15954751769867484011.key 1064898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.6ns 1064899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1069534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 1069550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15954751769867484011.key 1069552 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 1069554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props11354920548224965750.key 1069554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.7ns 1069555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1074290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 1074306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11354920548224965750.key 1074307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 1074310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props11332587294107197583.key 1074310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.5ns 1074311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1078993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 1079055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11332587294107197583.key 1079057 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 1079060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props7299754587347198381.key 1079061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.1ns 1079062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1084003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7299754587347198381.key 1084005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 1084011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props3614697121371275804.key 1084011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.4ns 1084012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 1088936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3614697121371275804.key 1088937 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1088939 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1088940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props1885356235137439242.key 1088940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63ns 1088941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1093731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 1093748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1885356235137439242.key 1093749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 1093752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props9749002271212727224.key 1093752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.5ns 1093753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1098671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1098686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9749002271212727224.key 1098688 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 1098690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props9797694958726024431.key 1098690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.9ns 1098691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1103532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 1103549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9797694958726024431.key 1103550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 1103552 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1103552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props759532869213111339.key 1103552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.1ns 1103553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1108290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 1108306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props759532869213111339.key 1108308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 1108310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7210001780439204607.key 1108310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.1ns 1108311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1112988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 1113004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7210001780439204607.key 1113006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 1113009 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props14438559022283676593.smt2 1113012 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props708288340921133469.smt2 1113014 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props11290066367042409779.smt2 1113016 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props11621495963537642208.smt2 1113017 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props3265790143551045048.smt2 1113019 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props11407404599377805482.smt2 1113020 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props17583602653170747164.smt2 1113021 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props17201428251132033406.smt2 1113023 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props12401971360496425712.smt2 1113024 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props4104159287247719209.smt2 1113026 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props6248480326346905631.smt2 1113027 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props7795196234059613015.smt2 1113028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props10600196689136539696.smt2 1113029 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props847557019105367090.smt2 1113030 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props18292075811020140107.smt2 1113031 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props11485117239408800579.smt2 1113032 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props17374616580086963573.smt2 1113032 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props10259012883541798891.smt2 1113033 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props3482511150741509928.smt2 1113034 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props8612696518818219055.smt2 1113035 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props16385123673553422265.smt2 1113036 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props6858079907742531119.smt2 1113037 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props10691300519487331946.smt2 1113044 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props11367111877702496039.smt2