Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] ite1.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.eq.props | testTranslation(TestData)[11] | 0s | passed |
| [12] types1.props | testTranslation(TestData)[12] | 0s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] ex2.props | testTranslation(TestData)[14] | 0s | passed |
| [15] uninterpreted1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] int1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0s | passed |
| [19] bool3.props | testTranslation(TestData)[19] | 0s | passed |
| [1] float.sqrt2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] float2.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] ex1.props | testTranslation(TestData)[21] | 0s | passed |
| [22] upd2.props | testTranslation(TestData)[22] | 0s | passed |
| [23] types2.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] float1.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] quant2.props | testTranslation(TestData)[4] | 0s | passed |
| [5] heap1.props | testTranslation(TestData)[5] | 0s | passed |
| [6] upd1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] float.sinDouble.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] bool2.props | testTranslation(TestData)[8] | 0s | passed |
| [9] float.sqrt1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] ite1.props | testZ3(TestData)[10] | - | ignored |
| [11] float.eq.props | testZ3(TestData)[11] | - | ignored |
| [12] types1.props | testZ3(TestData)[12] | - | ignored |
| [13] cast3.props | testZ3(TestData)[13] | - | ignored |
| [14] ex2.props | testZ3(TestData)[14] | - | ignored |
| [15] uninterpreted1.props | testZ3(TestData)[15] | - | ignored |
| [16] cast2.props | testZ3(TestData)[16] | - | ignored |
| [17] int1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] bool3.props | testZ3(TestData)[19] | - | ignored |
| [1] float.sqrt2.props | testZ3(TestData)[1] | - | ignored |
| [20] float2.props | testZ3(TestData)[20] | - | ignored |
| [21] ex1.props | testZ3(TestData)[21] | - | ignored |
| [22] upd2.props | testZ3(TestData)[22] | - | ignored |
| [23] types2.props | testZ3(TestData)[23] | - | ignored |
| [24] cast1.props | testZ3(TestData)[24] | - | ignored |
| [2] bool1.props | testZ3(TestData)[2] | - | ignored |
| [3] float1.props | testZ3(TestData)[3] | - | ignored |
| [4] quant2.props | testZ3(TestData)[4] | - | ignored |
| [5] heap1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd1.props | testZ3(TestData)[6] | - | ignored |
| [7] float.sinDouble.props | testZ3(TestData)[7] | - | ignored |
| [8] bool2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.sqrt1.props | testZ3(TestData)[9] | - | ignored |
Standard output
609905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props6518900964368839868.key 609905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125ns 609907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610048 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 610049 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 610050 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 610050 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 610595 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 614115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 614128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props6518900964368839868.key 614130 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 614137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props16200572095586699422.key 614137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.1ns 614138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 617204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16200572095586699422.key 617205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 617208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props15874036403206591025.key 617208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.6ns 617209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 620269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props15874036403206591025.key 620270 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 620273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17529074757634775180.key 620273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.9ns 620274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 623443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17529074757634775180.key 623444 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 623452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props978644354949212663.key 623452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.2ns 623453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 626647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props978644354949212663.key 626648 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 626653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props10059803798377508997.key 626653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.4ns 626655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 629744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10059803798377508997.key 629745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 629748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props13513745574021351474.key 629748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.3ns 629749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 633048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13513745574021351474.key 633049 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 633051 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 633052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props9001541836075914635.key 633052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.9ns 633053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 636427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9001541836075914635.key 636429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 636432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props9667801210489591136.key 636432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.9ns 636433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 639664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props9667801210489591136.key 639666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 639669 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 639670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props5846394561046852047.key 639670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244ns 639671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 643109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5846394561046852047.key 643111 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 643113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props7430932814987720656.key 643113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.5ns 643114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 646593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7430932814987720656.key 646595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 646597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props14643612469322722820.key 646597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.5ns 646598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 650018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14643612469322722820.key 650020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 650022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props8267551722889790289.key 650022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.8ns 650023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 653366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8267551722889790289.key 653368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 653370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props10888046321470460844.key 653370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.5ns 653371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 656634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props10888046321470460844.key 656636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 656639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props10974772713523452355.key 656639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.4ns 656640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 659853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10974772713523452355.key 659855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 659860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props9327185255632229029.key 659860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90ns 659861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 663070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9327185255632229029.key 663072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 663075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props12077806636143173301.key 663075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.7ns 663076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666334 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 666349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12077806636143173301.key 666350 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 666352 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 666353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props3767785005998725311.key 666353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.3ns 666353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 669608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3767785005998725311.key 669609 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 669612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props1594441978948464787.key 669612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.2ns 669613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 672826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1594441978948464787.key 672827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 672829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props1626407956133377460.key 672829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.7ns 672830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 676033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1626407956133377460.key 676034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 676036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props16060681856181150913.key 676036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.9ns 676037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 679338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16060681856181150913.key 679340 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 679343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props13987273738606545348.key 679343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.4ns 679344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 682687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13987273738606545348.key 682689 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 682694 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 682695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props12747072467786141353.key 682696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.4ns 682697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 686057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12747072467786141353.key 686059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 686061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props3065099268816655207.key 686061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.8ns 686062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 689374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3065099268816655207.key 689376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 689403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props9403876110606017549.key 689403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.3ns 689404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 692684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9403876110606017549.key 692686 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 692689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props1437185076907621547.key 692689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.8ns 692689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 695995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1437185076907621547.key 695997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 696000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props16641139230606473447.key 696000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.9ns 696001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 699292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16641139230606473447.key 699293 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 699296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props6501402102012506035.key 699296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.2ns 699296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 702590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6501402102012506035.key 702591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 702595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props8055727593481909670.key 702595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.5ns 702596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 705849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8055727593481909670.key 705850 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 705854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props3147379789009919216.key 705854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.8ns 705855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 709159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3147379789009919216.key 709160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 709163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props2359368616703748853.key 709163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.8ns 709164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 712378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props2359368616703748853.key 712379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 712381 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 712382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props9929735954299815925.key 712382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.4ns 712382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 715661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9929735954299815925.key 715663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 715665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props18213168604457313811.key 715665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.1ns 715666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 719124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props18213168604457313811.key 719125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 719127 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 719127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props11872381553391858297.key 719127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.4ns 719128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 722276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11872381553391858297.key 722278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 722280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props15753892273536510941.key 722280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46.6ns 722280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 725469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15753892273536510941.key 725471 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 725473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props11147146887782183106.key 725473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.4ns 725474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 728666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11147146887782183106.key 728668 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 728670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props18010894596583039273.key 728670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71ns 728672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 731892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props18010894596583039273.key 731893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 731896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props11556456831149540821.key 731896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69ns 731896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 735150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11556456831149540821.key 735151 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 735153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props16985110083380925646.key 735153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.1ns 735154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 738299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16985110083380925646.key 738300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 738303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props11491667330785217748.key 738303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.2ns 738304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 741554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11491667330785217748.key 741555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 741557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props17681765870200066205.key 741557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58ns 741558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 744798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17681765870200066205.key 744799 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 744800 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 744801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props601039011265928621.key 744801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.7ns 744802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 748058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props601039011265928621.key 748060 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 748062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props16383389912682863098.key 748062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.4ns 748063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 751298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16383389912682863098.key 751300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 751303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props11601206864094777097.key 751303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.3ns 751303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 754557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11601206864094777097.key 754560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 754562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props17594068806438875987.key 754562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.9ns 754563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 757828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17594068806438875987.key 757829 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 757832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props12301252442859076454.key 757832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.3ns 757833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 761009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12301252442859076454.key 761010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 761013 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 761014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props7102975133671611695.key 761014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.3ns 761015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 764345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 764360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7102975133671611695.key 764361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 764363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props2463956848816938792.key 764363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.5ns 764364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 767618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2463956848816938792.key 767620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 767623 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props2649743166342276019.smt2 767624 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props8085179467865243282.smt2 767625 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props10543564994992942415.smt2 767626 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props1094302988094935084.smt2 767626 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props15122608259439035944.smt2 767627 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props15859518059619089546.smt2 767628 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props13958764763580189323.smt2 767629 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props13178237672383125458.smt2 767629 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props14754936354415343742.smt2 767630 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props17705741824402581079.smt2 767631 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props9231595605415509992.smt2 767631 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props16913769393123087730.smt2 767632 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props2660562850607211803.smt2 767633 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props14026265068409468948.smt2 767633 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props7450633332782206865.smt2 767635 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props13189803875683043350.smt2 767635 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props8299997249308252809.smt2 767636 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props18054550033437531532.smt2 767636 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props2992832189421243634.smt2 767637 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props9510535896447711737.smt2 767638 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props9126340849842102670.smt2 767638 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props9603711248915897826.smt2 767639 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props5747164858816607387.smt2 767640 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props9888031480571061168.smt2