Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0s | passed |
| [11] bool1.props | testTranslation(TestData)[11] | 0.001s | 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] | 0s | passed |
| [15] ex1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] quant2.props | testTranslation(TestData)[17] | 0s | passed |
| [18] float.sqrt1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] int1.props | testTranslation(TestData)[19] | 0s | 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] | 0.001s | passed |
| [23] float1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] uninterpreted1.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0s | passed |
| [4] cast3.props | testTranslation(TestData)[4] | 0s | 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] | 0s | passed |
| [9] heap1.props | testTranslation(TestData)[9] | 0s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] bool1.props | testZ3(TestData)[11] | - | ignored |
| [12] upd1.props | testZ3(TestData)[12] | - | ignored |
| [13] float.sinDouble.props | testZ3(TestData)[13] | - | ignored |
| [14] float.eq.props | testZ3(TestData)[14] | - | ignored |
| [15] ex1.props | testZ3(TestData)[15] | - | ignored |
| [16] cast2.props | testZ3(TestData)[16] | - | ignored |
| [17] quant2.props | testZ3(TestData)[17] | - | ignored |
| [18] float.sqrt1.props | testZ3(TestData)[18] | - | ignored |
| [19] int1.props | testZ3(TestData)[19] | - | ignored |
| [1] float2.props | testZ3(TestData)[1] | - | ignored |
| [20] bool2.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] types1.props | testZ3(TestData)[22] | - | ignored |
| [23] float1.props | testZ3(TestData)[23] | - | ignored |
| [24] cast1.props | testZ3(TestData)[24] | - | ignored |
| [2] uninterpreted1.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast3.props | testZ3(TestData)[4] | - | ignored |
| [5] ite1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] types2.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] heap1.props | testZ3(TestData)[9] | - | ignored |
Standard output
894621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props9916548993834956618.key 894621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.4ns 894622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 894917 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 894917 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 894918 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 894918 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 895655 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 900912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.29s 900928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9916548993834956618.key 900929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 900940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props9094262307410916586.key 900940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106ns 900941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 905790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 905806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9094262307410916586.key 905808 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 905840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props16151500301199021393.key 905840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.3ns 905841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 910662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 910679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16151500301199021393.key 910681 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 910683 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 910684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props12250025999428407825.key 910684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns 910685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 915567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 915583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12250025999428407825.key 915586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 915591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props12732216489037723993.key 915591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.5ns 915592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 920416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 920431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12732216489037723993.key 920433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 920435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props1492626127880660417.key 920435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68ns 920436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 925299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1492626127880660417.key 925300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 925303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props9142776410887931275.key 925303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.7ns 925304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 930122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9142776410887931275.key 930124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31.9ns 930126 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 930126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props15076528093581768633.key 930126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.9ns 930127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 935006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 935020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props15076528093581768633.key 935022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 935025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props642411214098739728.key 935025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.5ns 935026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 939868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 939883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props642411214098739728.key 939884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 939891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props16493269696633368285.key 939891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.3ns 939891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 944654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 944679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16493269696633368285.key 944681 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 944684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props3297681253287475734.key 944684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.6ns 944685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 949541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 949556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3297681253287475734.key 949558 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 949560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props9316897650498328081.key 949560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.2ns 949562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 954460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9316897650498328081.key 954462 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 954464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props12146908046908554369.key 954464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.6ns 954465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 959302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12146908046908554369.key 959303 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 959306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props6778325159027804190.key 959306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.7ns 959307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 964091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 964107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6778325159027804190.key 964108 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 964111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props3814395370702499954.key 964111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.5ns 964111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 968935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 968950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3814395370702499954.key 968952 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 968956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props1196436248346815360.key 968956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.4ns 968956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 973708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 973724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1196436248346815360.key 973725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 973728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props16649613591912070780.key 973728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.5ns 973729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 978611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 978627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16649613591912070780.key 978628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 978631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props16282548111212091368.key 978631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.9ns 978631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 983343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 983359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16282548111212091368.key 983360 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 983363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props17202273882793514462.key 983363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.3ns 983364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 988239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 988255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17202273882793514462.key 988257 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 988261 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 988262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props8455100074524382564.key 988262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.8ns 988263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 993076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 993092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8455100074524382564.key 993094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 993096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props16133329514467532951.key 993096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.7ns 993097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 997904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 997920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16133329514467532951.key 997922 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 997924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props5015588966319589407.key 997925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.8ns 997925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1002760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 1002774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5015588966319589407.key 1002776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.7ns 1002778 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1002778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props43175386318463134.key 1002778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.3ns 1002779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1007529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 1007545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props43175386318463134.key 1007546 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1007548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props14432224395670567571.key 1007548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.5ns 1007549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1012356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 1012371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props14432224395670567571.key 1012372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 75.6ns 1012392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props13966025472852443439.key 1012392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.9ns 1012393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1017129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 1017143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13966025472852443439.key 1017145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 1017147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props6411709732342286179.key 1017147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.7ns 1017148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1021934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s 1021948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6411709732342286179.key 1021950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 1021953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props16040345385460951952.key 1021953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.5ns 1021954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1026703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 1026718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16040345385460951952.key 1026719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1026721 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1026722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props1037428882994959390.key 1026722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.6ns 1026723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1031611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 1031627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1037428882994959390.key 1031629 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1031631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props870200139800335231.key 1031631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.9ns 1031632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1036495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1036511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props870200139800335231.key 1036512 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.8ns 1036515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props686136835284242313.key 1036515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.5ns 1036516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1041393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1041409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props686136835284242313.key 1041410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.1ns 1041413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props3553575427460658559.key 1041413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.8ns 1041413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1046254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 1046270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3553575427460658559.key 1046272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 1046274 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1046275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props2394488196718865151.key 1046275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.9ns 1046276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1051218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1051235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2394488196718865151.key 1051236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 1051239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props18053486425345221559.key 1051239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.1ns 1051240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1056170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1056186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props18053486425345221559.key 1056187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1056192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props9220694907177737800.key 1056192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.7ns 1056193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1061133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1061148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9220694907177737800.key 1061149 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1061152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props11958510620738647477.key 1061152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.3ns 1061153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1066151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1066167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11958510620738647477.key 1066168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.1ns 1066170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props883631887763087125.key 1066170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.5ns 1066171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1071103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1071118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props883631887763087125.key 1071120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 1071122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props12391166047052061774.key 1071123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.6ns 1071123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1076034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 1076050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12391166047052061774.key 1076052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1076054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props16930027748544467384.key 1076054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.4ns 1076055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1081001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1081016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16930027748544467384.key 1081018 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 1081020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props16173673000547403625.key 1081020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.8ns 1081021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1085936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 1085951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16173673000547403625.key 1085953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1085955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props7184944195646495847.key 1085955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.4ns 1085956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1090836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 1090851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7184944195646495847.key 1090852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 1090855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17402735276822202683.key 1090855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.3ns 1090856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1095862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 1095878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17402735276822202683.key 1095879 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 1095882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props2595843556741975347.key 1095882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.6ns 1095882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1100823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 1100839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2595843556741975347.key 1100840 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 1100842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props15979390172430971842.key 1100842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.4ns 1100843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1105797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 1105812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props15979390172430971842.key 1105813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25ns 1105815 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1105815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props12693555589300589907.key 1105816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.5ns 1105816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1110751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1110766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12693555589300589907.key 1110768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 1110771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props643180270189497885.key 1110771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.1ns 1110772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1115677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 1115694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props643180270189497885.key 1115695 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1115698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props7958037291117842760.key 1115698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.2ns 1115698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1120561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 1120576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7958037291117842760.key 1120577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 1120579 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1120580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props2146378751668994167.key 1120580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.6ns 1120581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1125507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 1125524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2146378751668994167.key 1125526 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 1125529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7085753465820419994.key 1125530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.2ns 1125531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1130351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 1130367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7085753465820419994.key 1130368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 1130371 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props13804977116905435483.smt2 1130372 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props7591648385505774283.smt2 1130373 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props4338396880954685765.smt2 1130374 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props9105192432410383036.smt2 1130374 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props12694254181989323864.smt2 1130375 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props18138551891005662617.smt2 1130376 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props5370780977649472549.smt2 1130377 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props9661177573061799219.smt2 1130378 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props16635427918408888975.smt2 1130379 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props13853315698754491747.smt2 1130379 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props4082510070463188005.smt2 1130380 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props15688283795172045028.smt2 1130381 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props9984067508913928216.smt2 1130382 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props14815011564193300815.smt2 1130383 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props15018567008433437352.smt2 1130384 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props12894136080029406304.smt2 1130385 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props13360284381564562631.smt2 1130385 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props1779936328295071755.smt2 1130387 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props9291050364766686679.smt2 1130388 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props12187185567523928887.smt2 1130389 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props13228145093714865865.smt2 1130389 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props7274550929219087302.smt2 1130390 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props3021694419001245379.smt2 1130391 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props6404748428321646175.smt2