Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] bool1.props | testTranslation(TestData)[11] | 0s | passed |
| [12] upd1.props | testTranslation(TestData)[12] | 0s | passed |
| [13] float.sinDouble.props | testTranslation(TestData)[13] | 0s | passed |
| [14] float.eq.props | testTranslation(TestData)[14] | 0s | passed |
| [15] ex1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.003s | 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.007s | passed |
| [20] bool2.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] types1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] float1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0s | 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] | 0s | 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
818348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props6287611111837743176.key 818349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.6ns 818350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818647 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 818647 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 818648 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 818648 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 819500 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 824479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.13s 824494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6287611111837743176.key 824496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 824506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props5940045808822450996.key 824506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115ns 824507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 828960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 828976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5940045808822450996.key 828977 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 828981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props7126865311705015418.key 828981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88ns 828982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 833480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 833495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7126865311705015418.key 833496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 833498 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 833499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props15585376031603934634.key 833499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.4ns 833500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 838068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 838084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15585376031603934634.key 838086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 838091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props3081445726183899726.key 838091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.8ns 838091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 842924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 842939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3081445726183899726.key 842940 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 842942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props3277396402832698197.key 842942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129ns 842943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 847559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 847574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3277396402832698197.key 847576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 847578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props12568473874245835622.key 847578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.1ns 847579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 852172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 852188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12568473874245835622.key 852190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 852192 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 852192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props5716009657644800770.key 852193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.3ns 852194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 856687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s 856702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5716009657644800770.key 856703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 856706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props200353741503262646.key 856706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.4ns 856707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 861273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props200353741503262646.key 861274 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 861279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props6083809937250628954.key 861280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.9ns 861280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 865869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props6083809937250628954.key 865870 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 865873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props13815338438792359104.key 865873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57ns 865874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 870306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props13815338438792359104.key 870309 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 870312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props16985129205676286283.key 870312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.6ns 870314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s 874925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16985129205676286283.key 874926 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 874928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props351508916144830632.key 874928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.8ns 874929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 879505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 879521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props351508916144830632.key 879522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 879525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props9408094328463099485.key 879525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.8ns 879526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 884054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 884069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9408094328463099485.key 884071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 884074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props9501610930909177139.key 884074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.4ns 884075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 888643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9501610930909177139.key 888645 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 21.3ns 888649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props4412440531337986198.key 888649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.1ns 888650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 893307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 893322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4412440531337986198.key 893323 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 893328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17757189222113088614.key 893328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.5ns 893330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 898205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 898221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17757189222113088614.key 898222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 898225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props12296424815978454198.key 898225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.3ns 898226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 902882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 902897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12296424815978454198.key 902898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 902901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props7926719226749649657.key 902901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.6ns 902902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 907495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 907510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7926719226749649657.key 907511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 907513 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 907514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props6519326017889891675.key 907514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.1ns 907515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 912250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 912266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6519326017889891675.key 912267 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 912270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props7541514010081148011.key 912270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.8ns 912271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 917137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7541514010081148011.key 917139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 917141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props1650778024569551058.key 917142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.4ns 917142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 921944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1650778024569551058.key 921946 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 921948 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 921949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props1183815149092571274.key 921949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.7ns 921950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 926629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 926644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1183815149092571274.key 926645 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 926647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props15944880080470174802.key 926648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.1ns 926648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 931214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 931229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15944880080470174802.key 931231 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 931255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props15692529623665836363.key 931255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.3ns 931256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 935786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 935801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15692529623665836363.key 935803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 935805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props7571959008600315114.key 935805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.5ns 935806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 940321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s 940334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7571959008600315114.key 940336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 940339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props17327689574716541041.key 940339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.5ns 940339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 944817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 944831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17327689574716541041.key 944833 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 944836 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 944837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props10770909033993223172.key 944837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.2ns 944838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 949470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 949485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10770909033993223172.key 949486 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 949488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props7872058815284608813.key 949489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.6ns 949489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 954321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7872058815284608813.key 954323 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.1ns 954325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props8205476193770073529.key 954325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.3ns 954326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 959053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8205476193770073529.key 959054 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 959057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props5996452464546917098.key 959057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.3ns 959058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 963821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 963836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5996452464546917098.key 963837 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 963839 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 963840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props821045626794010663.key 963840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.9ns 963841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 968467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 968482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props821045626794010663.key 968484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 968486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props14685907313614777542.key 968486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.8ns 968487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 973251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 973269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14685907313614777542.key 973271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 973275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props3490638113501043944.key 973275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.2ns 973276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 978051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 978066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3490638113501043944.key 978067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 978070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props5230624603927369625.key 978070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.6ns 978070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 982835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 982851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5230624603927369625.key 982852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 982855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props4907729583251451202.key 982855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.3ns 982856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 987559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 987575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4907729583251451202.key 987577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 987579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props4470089443330963969.key 987579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63ns 987580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 992365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 992381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4470089443330963969.key 992382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 992385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props1738104416679855661.key 992385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.3ns 992386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 997225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 997240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1738104416679855661.key 997241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 997244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props2134007867616120655.key 997244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.8ns 997245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1002043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 1002060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2134007867616120655.key 1002062 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1002064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props11927969680598992946.key 1002064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.5ns 1002065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1006910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 1006928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11927969680598992946.key 1006930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1006934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props18023583703908616024.key 1006935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.7ns 1006936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1011764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 1011780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props18023583703908616024.key 1011781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1011784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props13591621744255435038.key 1011784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.2ns 1011785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1016731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1016749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13591621744255435038.key 1016750 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1016753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props17304781259217387158.key 1016753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.1ns 1016754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1021611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1021626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17304781259217387158.key 1021627 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1021629 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1021630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props10332639374580753008.key 1021630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.9ns 1021631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1026485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 1026501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10332639374580753008.key 1026503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1026505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props5574245599271415773.key 1026505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.5ns 1026506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1031257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 1031272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5574245599271415773.key 1031273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.5ns 1031277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props6063374509358500313.key 1031277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.8ns 1031278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1036034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 1036048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6063374509358500313.key 1036050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 1036051 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1036053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props6790658257626224832.key 1036053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.6ns 1036053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1040768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 1040785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6790658257626224832.key 1040786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 1040788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props11380452378496390395.key 1040789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.1ns 1040789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 1045542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11380452378496390395.key 1045543 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 1045550 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props12201568282482668595.smt2 1045557 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props8800989900396176859.smt2 1045559 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props12941007079217838549.smt2 1045560 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props7960308195287923140.smt2 1045561 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props18202598829126727328.smt2 1045562 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props14098495865758681360.smt2 1045565 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props2927155612652494008.smt2 1045566 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props6532968926524312030.smt2 1045567 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props6618162237012778018.smt2 1045568 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props1880135825547705930.smt2 1045569 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props1972708305028010972.smt2 1045570 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props6108863648218860798.smt2 1045571 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props12303874376312615432.smt2 1045572 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props11533944908719404525.smt2 1045573 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props16982750796955397522.smt2 1045577 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props11758160969202074117.smt2 1045578 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props7494848510804803377.smt2 1045579 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props13666638239293140288.smt2 1045580 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props13212595129890393808.smt2 1045581 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props13697934172977245150.smt2 1045582 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props2206821253902428944.smt2 1045584 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props11920447079765288633.smt2 1045586 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props11571668313627684649.smt2 1045587 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props17256410068948070191.smt2