Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] bool1.props | testTranslation(TestData)[11] | 0.003s | passed |
| [12] upd1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float.sinDouble.props | testTranslation(TestData)[13] | 0s | passed |
| [14] float.eq.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] ex1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] quant2.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] float.sqrt1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] int1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] float2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] bool2.props | testTranslation(TestData)[20] | 0s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0s | passed |
| [22] types1.props | testTranslation(TestData)[22] | 0s | passed |
| [23] float1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] uninterpreted1.props | testTranslation(TestData)[2] | 0.002s | 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] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] heap1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] bool1.props | testZ3(TestData)[11] | - | ignored |
| [12] upd1.props | testZ3(TestData)[12] | - | ignored |
| [13] float.sinDouble.props | testZ3(TestData)[13] | - | ignored |
| [14] float.eq.props | testZ3(TestData)[14] | - | ignored |
| [15] ex1.props | testZ3(TestData)[15] | - | ignored |
| [16] cast2.props | testZ3(TestData)[16] | - | ignored |
| [17] quant2.props | testZ3(TestData)[17] | - | ignored |
| [18] float.sqrt1.props | testZ3(TestData)[18] | - | ignored |
| [19] int1.props | testZ3(TestData)[19] | - | ignored |
| [1] float2.props | testZ3(TestData)[1] | - | ignored |
| [20] bool2.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] types1.props | testZ3(TestData)[22] | - | ignored |
| [23] float1.props | testZ3(TestData)[23] | - | ignored |
| [24] cast1.props | testZ3(TestData)[24] | - | ignored |
| [2] uninterpreted1.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast3.props | testZ3(TestData)[4] | - | ignored |
| [5] ite1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] types2.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] heap1.props | testZ3(TestData)[9] | - | ignored |
Standard output
912758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props5814406027868853339.key 912758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.5ns 912759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 912989 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 912989 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 912989 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 912990 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 913905 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 919817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.06s 919835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5814406027868853339.key 919836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 919848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props4203140335770261667.key 919848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.2ns 919849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 925037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4203140335770261667.key 925039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 925043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props13296306889009044365.key 925043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 384.5ns 925044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 929999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 930018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13296306889009044365.key 930019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 930022 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 930023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props3856247719374305151.key 930023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.6ns 930024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 934949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3856247719374305151.key 934952 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 934957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props1054026536908559130.key 934957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.3ns 934958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 940020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 940038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1054026536908559130.key 940039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 940041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props17647634471711858523.key 940042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.8ns 940043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 944968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 944985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17647634471711858523.key 944986 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 944989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props3939934435235000649.key 944989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.6ns 944990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 950018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 950035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3939934435235000649.key 950036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 950038 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 950039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props18281779243734241516.key 950039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.7ns 950040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 955018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18281779243734241516.key 955019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 955023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props4539367078383810327.key 955023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.5ns 955024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 960010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4539367078383810327.key 960012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 960019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props8324672310231363120.key 960019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.9ns 960020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 965056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 965072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8324672310231363120.key 965073 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.5ns 965076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props8805012598023415001.key 965076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.9ns 965077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 970286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 970303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8805012598023415001.key 970305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 970307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props4358718294658845943.key 970307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.6ns 970309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 975475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 975493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4358718294658845943.key 975494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 975497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props9164434352427919937.key 975497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.9ns 975498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 980479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 980496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9164434352427919937.key 980497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.6ns 980500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props827928143075088658.key 980500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72ns 980501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 985606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 985622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props827928143075088658.key 985624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.8ns 985627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props12879536829120930351.key 985627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.5ns 985628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 990644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 990660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12879536829120930351.key 990662 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 990666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props6833822069113485040.key 990666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.2ns 990667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 995676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 995692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6833822069113485040.key 995693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 995696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props164649436022894208.key 995696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.2ns 995697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1000699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1000718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props164649436022894208.key 1000720 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1000723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props16487485561300914425.key 1000723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.1ns 1000724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1005743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1005761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16487485561300914425.key 1005762 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1005765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props1169911468733860777.key 1005765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.7ns 1005765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1010564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 1010581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1169911468733860777.key 1010582 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1010585 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1010586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props527791237185816355.key 1010586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.8ns 1010587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1015577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1015596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props527791237185816355.key 1015597 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 1015600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props17540668452672018446.key 1015600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.1ns 1015601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1020514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 1020531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17540668452672018446.key 1020532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 1020534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props3376566467008086787.key 1020535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.2ns 1020535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1025495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1025512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3376566467008086787.key 1025515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1025517 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1025518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props2419042136098935947.key 1025519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.8ns 1025519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1030579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 1030597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2419042136098935947.key 1030599 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 1030601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props6002305013489582909.key 1030602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.8ns 1030602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1035635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 1035652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6002305013489582909.key 1035653 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1035681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props1942732031339265204.key 1035681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.9ns 1035682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1040675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1040692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1942732031339265204.key 1040693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1040696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props41176186480720926.key 1040696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.3ns 1040697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1045656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1045674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props41176186480720926.key 1045675 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1045678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props371041183570144085.key 1045679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.4ns 1045680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1050624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1050642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props371041183570144085.key 1050643 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1050645 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1050646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props11353669756494891687.key 1050646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.6ns 1050647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1055612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 1055629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11353669756494891687.key 1055631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1055633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props6308043213210452849.key 1055633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.6ns 1055634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1060654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1060672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6308043213210452849.key 1060674 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.6ns 1060676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props5799050175576696586.key 1060676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.7ns 1060677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1065668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1065686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5799050175576696586.key 1065687 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1065690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props7469414660750048350.key 1065690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.3ns 1065691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1070621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1070638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7469414660750048350.key 1070639 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1070641 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1070642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props13835043069108812041.key 1070642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.6ns 1070643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1075505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1075520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13835043069108812041.key 1075522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1075524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props944098086652352822.key 1075524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.7ns 1075525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1080292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 1080307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props944098086652352822.key 1080309 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1080313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props13790311551060598842.key 1080314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.5ns 1080314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1085135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 1085151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13790311551060598842.key 1085153 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1085155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props5243691644791701889.key 1085155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.5ns 1085156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1090081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 1090096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5243691644791701889.key 1090097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1090100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props13670780047316070174.key 1090100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.7ns 1090101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1095086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1095102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13670780047316070174.key 1095104 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 1095108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props18065040986445157562.key 1095108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80ns 1095109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1099815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 1099829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props18065040986445157562.key 1099831 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 1099833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props8619078420641508827.key 1099834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.1ns 1099834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1104506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 1104523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8619078420641508827.key 1104524 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 109.9ns 1104527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props8212707931211976420.key 1104527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.8ns 1104528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1109344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 1109361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8212707931211976420.key 1109362 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 1109365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props4494390005065286651.key 1109365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.7ns 1109366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1114220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 1114237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props4494390005065286651.key 1114238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 1114241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props1558290831136313085.key 1114241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.7ns 1114242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1119121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1119137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props1558290831136313085.key 1119140 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 1119143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props13470184708611520944.key 1119143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.6ns 1119144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1124136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 1124154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13470184708611520944.key 1124156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1124159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props12634181260665944329.key 1124159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.5ns 1124160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1129430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1129445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12634181260665944329.key 1129447 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1129449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1129449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props10930171645788886420.key 1129449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.2ns 1129450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1134468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 1134485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10930171645788886420.key 1134486 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 1134489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props10139532197649477914.key 1134489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66ns 1134489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1139502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1139519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10139532197649477914.key 1139520 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1139522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props2220295294332358450.key 1139523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298ns 1139524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1144669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 1144689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2220295294332358450.key 1144691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns 1144693 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1144694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props843417475286037873.key 1144694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.9ns 1144694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1149797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1149813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props843417475286037873.key 1149815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1149817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props12729405450128387671.key 1149817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.2ns 1149818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1154974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1154992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12729405450128387671.key 1154994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 1154998 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props8244763847785216179.smt2 1154999 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props9208796785198914373.smt2 1155002 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props5285777998279125818.smt2 1155003 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props12184754947377770769.smt2 1155004 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props3072863263733827242.smt2 1155005 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props1985059655046062662.smt2 1155006 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props4022418134476983643.smt2 1155007 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props16763599776856518400.smt2 1155008 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props17443224834733803975.smt2 1155009 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props18371768939838946392.smt2 1155013 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props17875707356921784904.smt2 1155014 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props14408964819017040198.smt2 1155015 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props4330062969237539615.smt2 1155016 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props18042375033585528296.smt2 1155017 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props15050210211521148179.smt2 1155019 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props11254190653359503475.smt2 1155019 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props5287440092214073918.smt2 1155020 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props7165823162067140641.smt2 1155021 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props6974442295714762947.smt2 1155022 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props10430078924966557290.smt2 1155023 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props3619187321642293206.smt2 1155023 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props16167820578811804126.smt2 1155037 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props107890837124490229.smt2 1155038 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props5216047637451657974.smt2