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] ex2.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 0s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0.002s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] bool3.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] cast2.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] int1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] float.eq.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] ex1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] ex2.props | testZ3(TestData)[11] | - | ignored |
| [12] cast1.props | testZ3(TestData)[12] | - | ignored |
| [13] bool1.props | testZ3(TestData)[13] | - | ignored |
| [14] quant1.props | testZ3(TestData)[14] | - | ignored |
| [15] float1.props | testZ3(TestData)[15] | - | ignored |
| [16] ite1.props | testZ3(TestData)[16] | - | ignored |
| [17] upd1.props | testZ3(TestData)[17] | - | ignored |
| [18] upd2.props | testZ3(TestData)[18] | - | ignored |
| [19] heap1.props | testZ3(TestData)[19] | - | ignored |
| [1] types2.props | testZ3(TestData)[1] | - | ignored |
| [20] uninterpreted1.props | testZ3(TestData)[20] | - | ignored |
| [21] bool3.props | testZ3(TestData)[21] | - | ignored |
| [22] bool2.props | testZ3(TestData)[22] | - | ignored |
| [23] cast2.props | testZ3(TestData)[23] | - | ignored |
| [24] int1.props | testZ3(TestData)[24] | - | ignored |
| [2] float.sinDouble.props | testZ3(TestData)[2] | - | ignored |
| [3] quant2.props | testZ3(TestData)[3] | - | ignored |
| [4] float.eq.props | testZ3(TestData)[4] | - | ignored |
| [5] float2.props | testZ3(TestData)[5] | - | ignored |
| [6] float.sqrt1.props | testZ3(TestData)[6] | - | ignored |
| [7] cast3.props | testZ3(TestData)[7] | - | ignored |
| [8] types1.props | testZ3(TestData)[8] | - | ignored |
| [9] ex1.props | testZ3(TestData)[9] | - | ignored |
Standard output
570199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props1295899525523669729.key 570203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.17ms 570204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570332 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 570332 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 570332 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 570332 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 570836 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 574302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 574316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1295899525523669729.key 574317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 574325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props2165049042448152802.key 574325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.6ns 574326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 577312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2165049042448152802.key 577313 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 577316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props1762851762893409640.key 577316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.1ns 577317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 580313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 580327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1762851762893409640.key 580330 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 580342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props17543607298156800554.key 580342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.2ns 580343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 583380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17543607298156800554.key 583381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 583384 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 583385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props6652233861313571745.key 583385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.2ns 583386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 586340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6652233861313571745.key 586341 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 586344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props562588938008094974.key 586344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.3ns 586347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 589376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props562588938008094974.key 589377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 589380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props16364553651427194727.key 589380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns 589381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 592369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16364553651427194727.key 592370 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 592372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props2611555365991578758.key 592372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.3ns 592373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 595475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 595489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2611555365991578758.key 595491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 595493 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 595494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props5952253498604461229.key 595494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.8ns 595495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 598539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 598552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5952253498604461229.key 598553 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 598556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props7855425382632795344.key 598556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72ns 598560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 601665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7855425382632795344.key 601669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 601679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props12454330461771905064.key 601679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.8ns 601680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 605018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12454330461771905064.key 605019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 605021 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 605021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props10159391592623755115.key 605021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.1ns 605024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 607980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10159391592623755115.key 607981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 607983 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 607983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props1960977068555327713.key 607983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.2ns 607984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 611109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1960977068555327713.key 611111 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 611116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props6974282916351824882.key 611116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.5ns 611117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 614276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6974282916351824882.key 614277 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 614280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props18324174428645595457.key 614280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.4ns 614280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 617290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props18324174428645595457.key 617292 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 617300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props1183128309450607979.key 617301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.5ns 617302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 620545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1183128309450607979.key 620547 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 620552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props5277429496521472757.key 620553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.2ns 620554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 623601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5277429496521472757.key 623602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 623605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props2121448875140478598.key 623605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.8ns 623606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 626782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2121448875140478598.key 626783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 626786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props5891520977606277820.key 626786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.7ns 626787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 629866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5891520977606277820.key 629868 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 629872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props10961987565466553806.key 629872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.7ns 629873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 632826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10961987565466553806.key 632827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 632829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props17922574402487162873.key 632829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.9ns 632830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 635949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17922574402487162873.key 635951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns 635953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props13934000506107939450.key 635953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.5ns 635954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 638984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13934000506107939450.key 638986 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 638988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props7690068183134284530.key 638988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.2ns 638989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 642143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7690068183134284530.key 642145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 642147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props9933919304180680871.key 642147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.1ns 642148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 645242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9933919304180680871.key 645243 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 645260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props14546049334400316663.key 645260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.4ns 645261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 648278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14546049334400316663.key 648279 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 648282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props2218226160789553741.key 648282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.7ns 648283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 651517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2218226160789553741.key 651519 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 651521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props15133289682375626506.key 651521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.9ns 651522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 654609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15133289682375626506.key 654610 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 654613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props15949048929479614593.key 654613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.4ns 654613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 657644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15949048929479614593.key 657647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 657649 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 657650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props10888363469945722994.key 657650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.7ns 657651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 660723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10888363469945722994.key 660724 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.9ns 660726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props3339257349763376340.key 660726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.4ns 660726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 663656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3339257349763376340.key 663657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 663659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props3806593075536735498.key 663659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.6ns 663660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 666673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3806593075536735498.key 666678 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 666680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props15495383052372055695.key 666680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.5ns 666683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 669754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15495383052372055695.key 669755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 669758 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 669758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props14036116572020691124.key 669759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.18ms 669760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 672701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14036116572020691124.key 672704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 672711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props1174172241206444461.key 672711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304ns 672712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 675867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1174172241206444461.key 675869 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 675871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props4045305741945721746.key 675872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.6ns 675872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 678896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4045305741945721746.key 678898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 678899 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 678900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props2450865306586538920.key 678900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.4ns 678900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 681874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2450865306586538920.key 681875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 681877 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 681877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props17350142243239153225.key 681878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.7ns 681878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 684955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17350142243239153225.key 684956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 684958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props2994176173967285873.key 684958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.2ns 684959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 687917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2994176173967285873.key 687918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 687920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props14899051031068239886.key 687920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.7ns 687921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 690888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props14899051031068239886.key 690889 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 690892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props15537511517258099591.key 690892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 690893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 693992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15537511517258099591.key 693994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 693996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props17899969093348612056.key 693996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.7ns 693996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 696970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17899969093348612056.key 696972 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 696975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props515588804859504982.key 696975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.2ns 696976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 700204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props515588804859504982.key 700205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 700209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props14895772409904809028.key 700210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.7ns 700211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 703354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14895772409904809028.key 703355 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 703358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props14744605226968278080.key 703358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.1ns 703359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 706354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14744605226968278080.key 706356 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 706358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props8063654397169815621.key 706359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.4ns 706360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 709453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8063654397169815621.key 709454 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 709459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props10807115996803856222.key 709459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.3ns 709460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 712432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10807115996803856222.key 712433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 712435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props35982296027547073.key 712436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.9ns 712436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 715431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props35982296027547073.key 715432 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 715434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props2069693914798688484.key 715434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.6ns 715435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 718584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2069693914798688484.key 718586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 718599 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props944586803502003985.smt2 718601 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props5963634490455543128.smt2 718603 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props2340134861213116772.smt2 718604 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props15957399848397519928.smt2 718606 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props2845226526693506359.smt2 718607 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props7135273853971578252.smt2 718608 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props4608674311675147817.smt2 718609 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props2387239245153562196.smt2 718611 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props2442267496560729894.smt2 718612 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props17854094180302736008.smt2 718614 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props15912182711732971020.smt2 718615 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props9123746667003962516.smt2 718618 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props16684584327870020788.smt2 718620 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props7021167654355433533.smt2 718632 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props1369664526575556421.smt2 718634 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props10620388672157104523.smt2 718635 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props3495530491510722742.smt2 718637 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props5119867632065491849.smt2 718638 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props1804994253965096835.smt2 718639 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props18397701286433893334.smt2 718641 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props1046946872891104305.smt2 718642 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props17515155690119029788.smt2 718644 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props10693638736907405903.smt2 718645 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props7291830909010522738.smt2