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] | 0.001s | passed |
| [15] ex1.props | testTranslation(TestData)[15] | 0.001s | 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] | 0.001s | passed |
| [19] int1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] float2.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] bool2.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0s | passed |
| [22] types1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] float1.props | testTranslation(TestData)[23] | 0.001s | 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] | 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
1033924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props9822607432120492528.key 1033924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.1ns 1033925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1034155 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1034155 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1034156 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1034156 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 1035016 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 1040703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.78s 1040722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9822607432120492528.key 1040727 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.5ns 1040747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props12837174708967772660.key 1040747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.2ns 1040748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 1046007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props12837174708967772660.key 1046009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 1046017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props5666240373766934901.key 1046017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329ns 1046019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1051178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1051204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5666240373766934901.key 1051205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 1051208 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1051210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props3578425971543714497.key 1051210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.8ns 1051211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1056339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1056358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3578425971543714497.key 1056359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 1056367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props7077854476685232306.key 1056367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.3ns 1056369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1061545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7077854476685232306.key 1061547 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1061550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props3797317000045225768.key 1061550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.7ns 1061552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1066975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1066994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3797317000045225768.key 1066997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1067001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props7886250424659561676.key 1067001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.9ns 1067002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1072253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 1072271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7886250424659561676.key 1072273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1072276 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1072277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props4603821867127555524.key 1072277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.3ns 1072278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1077671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1077689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4603821867127555524.key 1077690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 1077695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props4105316735732106991.key 1077695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.4ns 1077696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1083092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1083111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4105316735732106991.key 1083112 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 1083122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props7088701088316235001.key 1083122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.5ns 1083123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1088329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1088350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7088701088316235001.key 1088352 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 1088356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props2094148700405216247.key 1088356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.5ns 1088357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1093801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 1093819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2094148700405216247.key 1093821 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1093824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props2833668435781827105.key 1093824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.5ns 1093826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1099015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1099033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2833668435781827105.key 1099035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.5ns 1099038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props10502029169263362479.key 1099038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.8ns 1099040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1104235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 1104256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10502029169263362479.key 1104258 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 32.1ns 1104261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props8575559654623525201.key 1104262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.2ns 1104262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1109484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1109504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8575559654623525201.key 1109506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns 1109511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props2033282994619284263.key 1109511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.4ns 1109512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1114782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1114802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2033282994619284263.key 1114803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1114808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props605301110932588110.key 1114808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.4ns 1114809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1120208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1120228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props605301110932588110.key 1120229 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1120233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props12223626260955529641.key 1120233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.5ns 1120235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1125558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1125584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12223626260955529641.key 1125585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 1125596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props5346243445815881943.key 1125596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.6ns 1125597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1130975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1130997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5346243445815881943.key 1131001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 1131006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props1039074554617442101.key 1131006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.7ns 1131007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1136316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1136334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1039074554617442101.key 1136336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1136338 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1136340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props15904971592846647379.key 1136340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173ns 1136341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1141625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 1141644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15904971592846647379.key 1141646 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 1141649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props17297343380604797588.key 1141649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.5ns 1141650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1146800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 1146865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17297343380604797588.key 1146866 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 1146870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props7212502413160480854.key 1146870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.3ns 1146873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1152141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1152161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7212502413160480854.key 1152165 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 1152168 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1152170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props14274446630151391150.key 1152170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.9ns 1152171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1157403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 1157422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14274446630151391150.key 1157424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1157427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7686228803684393911.key 1157427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89ns 1157428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1162735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1162758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7686228803684393911.key 1162759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 1162781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props16667128617472781.key 1162781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.2ns 1162783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1168169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 1168188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16667128617472781.key 1168189 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 1168193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props14185272599619694699.key 1168194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.4ns 1168194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1173614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 1173634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14185272599619694699.key 1173636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 1173639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props6150795034363050449.key 1173639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.5ns 1173640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1178907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1178928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6150795034363050449.key 1178930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 1178932 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1178933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props7301194154104078534.key 1178933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.1ns 1178934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1184135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 1184153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7301194154104078534.key 1184155 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1184159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props9613920548966716883.key 1184159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.6ns 1184160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1189370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1189394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9613920548966716883.key 1189395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1189398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props907106889744021154.key 1189398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.3ns 1189399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1194670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1194691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props907106889744021154.key 1194693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1194696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props14758437342065553940.key 1194696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.3ns 1194697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1200100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 1200119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14758437342065553940.key 1200120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 1200122 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1200123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props10164188484878533075.key 1200123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.3ns 1200124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1205474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 1205493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props10164188484878533075.key 1205494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1205497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props1993706707903648722.key 1205497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.5ns 1205498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1210912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 1210934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1993706707903648722.key 1210936 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 1210941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props11014109366760977438.key 1210941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.2ns 1210942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1216266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1216289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11014109366760977438.key 1216291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1216295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props9801914575209749915.key 1216295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.3ns 1216296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1221681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1221701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9801914575209749915.key 1221703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 1221706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props11976618403009055107.key 1221706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.5ns 1221707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1226839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1226858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11976618403009055107.key 1226860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 1226863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props8947304462701269436.key 1226863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.7ns 1226865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1231957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1231977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props8947304462701269436.key 1231979 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 1231982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props17761978656623219140.key 1231982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.8ns 1231983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1237449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 1237468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17761978656623219140.key 1237470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 1237472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props11969462280374652793.key 1237472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.2ns 1237473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1242789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1242808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11969462280374652793.key 1242810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 1242813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props17816989116905250307.key 1242813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.8ns 1242814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1248106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 1248128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17816989116905250307.key 1248129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns 1248132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props10613413593103496597.key 1248132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.1ns 1248133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1253405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1253424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10613413593103496597.key 1253426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 1253428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props13648805704949927262.key 1253428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.2ns 1253429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1258595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1258615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13648805704949927262.key 1258617 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 1258620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props12274211954982231228.key 1258620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73ns 1258621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1263770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 1263790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12274211954982231228.key 1263791 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 1263793 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1263794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props8168502320592094648.key 1263794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.5ns 1263795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1268937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1268956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8168502320592094648.key 1268957 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 1268960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props6879649811258538541.key 1268960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.5ns 1268961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1274055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1274073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6879649811258538541.key 1274074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 1274077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props5343741303112390308.key 1274077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.3ns 1274078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1279245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1279266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5343741303112390308.key 1279268 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 1279272 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1279272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props10874955494230171706.key 1279272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.8ns 1279273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1284444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1284464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10874955494230171706.key 1284465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 1284468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props9765712223985197806.key 1284468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.4ns 1284469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1289722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 1289746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9765712223985197806.key 1289749 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 1289756 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props18120307745339255143.smt2 1289758 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props16530860736058873226.smt2 1289759 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props356348740179466408.smt2 1289760 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props2940115998486347290.smt2 1289760 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props14482261702948763032.smt2 1289761 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props2214895596648423170.smt2 1289762 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props4694237594505291897.smt2 1289763 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props8937424901242038611.smt2 1289764 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props3168371667737945799.smt2 1289765 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props5847240648857838626.smt2 1289766 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props7897894540963827529.smt2 1289768 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props4047480380749581191.smt2 1289769 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props2930389568653948109.smt2 1289770 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props13211221229074923858.smt2 1289771 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props6730437828768081333.smt2 1289772 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props10174664024095961372.smt2 1289773 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props12949802039182818420.smt2 1289774 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props17679371932237085872.smt2 1289774 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props4916464131220653200.smt2 1289775 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props11594891081145533914.smt2 1289776 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props16364382612645267421.smt2 1289778 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props7814940506179310519.smt2 1289779 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props15022375680030608353.smt2 1289780 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props15800883377219089517.smt2