Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] ite1.props | testTranslation(TestData)[10] | 0s | passed |
| [11] cast3.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] bool1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] bool2.props | testTranslation(TestData)[13] | 0s | passed |
| [14] uninterpreted1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0.006s | passed |
| [17] ex2.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] float.eq.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] float1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] bool3.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] float2.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] upd2.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] types1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] float.sqrt1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] quant1.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] cast1.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] ex1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] types2.props | testTranslation(TestData)[5] | 0s | passed |
| [6] cast2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] upd1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] int1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.sqrt2.props | testTranslation(TestData)[9] | 0s | passed |
| [10] ite1.props | testZ3(TestData)[10] | - | ignored |
| [11] cast3.props | testZ3(TestData)[11] | - | ignored |
| [12] bool1.props | testZ3(TestData)[12] | - | ignored |
| [13] bool2.props | testZ3(TestData)[13] | - | ignored |
| [14] uninterpreted1.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] quant2.props | testZ3(TestData)[16] | - | ignored |
| [17] ex2.props | testZ3(TestData)[17] | - | ignored |
| [18] float.eq.props | testZ3(TestData)[18] | - | ignored |
| [19] float1.props | testZ3(TestData)[19] | - | ignored |
| [1] bool3.props | testZ3(TestData)[1] | - | ignored |
| [20] float2.props | testZ3(TestData)[20] | - | ignored |
| [21] upd2.props | testZ3(TestData)[21] | - | ignored |
| [22] types1.props | testZ3(TestData)[22] | - | ignored |
| [23] float.sqrt1.props | testZ3(TestData)[23] | - | ignored |
| [24] quant1.props | testZ3(TestData)[24] | - | ignored |
| [2] float.sinDouble.props | testZ3(TestData)[2] | - | ignored |
| [3] cast1.props | testZ3(TestData)[3] | - | ignored |
| [4] ex1.props | testZ3(TestData)[4] | - | ignored |
| [5] types2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast2.props | testZ3(TestData)[6] | - | ignored |
| [7] upd1.props | testZ3(TestData)[7] | - | ignored |
| [8] int1.props | testZ3(TestData)[8] | - | ignored |
| [9] float.sqrt2.props | testZ3(TestData)[9] | - | ignored |
Standard output
771000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props8769783535966737130.key 771000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.81ns 771001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771194 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 771195 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 771196 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 771196 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 771793 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 776557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 776575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8769783535966737130.key 776576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 776595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props16764985307167947591.key 776596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 674.44ns 776597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 780850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16764985307167947591.key 780851 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 780859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props11742702422917568085.key 780859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.12ns 780860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 785033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props11742702422917568085.key 785034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 785037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props7375181487606078387.key 785037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.91ns 785038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 789300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 789317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7375181487606078387.key 789318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 789323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props17109368736218016370.key 789323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88ns 789324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 793513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17109368736218016370.key 793515 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 793517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props16990083117249835855.key 793517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.5ns 793518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 797729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16990083117249835855.key 797731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 797734 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 797734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props13817963864076602968.key 797735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.41ns 797736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 801921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 801938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13817963864076602968.key 801939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 801942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props1386651834093741307.key 801942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.91ns 801943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 806176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1386651834093741307.key 806177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 806180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props14664943035811448190.key 806180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.2ns 806181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 810419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14664943035811448190.key 810420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 810423 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 810423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props8889385486635770281.key 810423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.1ns 810424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 814699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8889385486635770281.key 814700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 814703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props15893117909041227129.key 814703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.41ns 814704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 818896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15893117909041227129.key 818898 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 818901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props3179406497787382373.key 818901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 351.52ns 818902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 823123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 823140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3179406497787382373.key 823141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 823144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props8703055768164471945.key 823144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.5ns 823145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 827344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 827361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8703055768164471945.key 827362 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 827364 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 827365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props14365077459564780056.key 827365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.91ns 827366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 831645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14365077459564780056.key 831646 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 831649 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 831649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props15332640608309806200.key 831649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.71ns 831650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 835866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 835883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15332640608309806200.key 835884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 835890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props12972709169729179260.key 835890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.21ns 835891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 840208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12972709169729179260.key 840209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 31.1ns 840212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props4454899209186995251.key 840212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.9ns 840213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 844398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4454899209186995251.key 844399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 844401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props13579876833435049629.key 844401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.41ns 844402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 848714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 848739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13579876833435049629.key 848741 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 848743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props13298814077627039297.key 848743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.61ns 848744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 853051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 853070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13298814077627039297.key 853072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 853074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props1634377394393949811.key 853075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.81ns 853075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 857349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 857366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1634377394393949811.key 857368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 857370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props10902537090607590852.key 857370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.61ns 857371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 861711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10902537090607590852.key 861713 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 861715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props4346239558807169547.key 861716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.2ns 861716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 865932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4346239558807169547.key 865934 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 865936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props8438252845617394434.key 865936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.7ns 865937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 870167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8438252845617394434.key 870169 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 870172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props14330081546295011280.key 870172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85ns 870173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 874500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14330081546295011280.key 874502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 874520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props16438198077607478884.key 874520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.51ns 874521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 878801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 878818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16438198077607478884.key 878820 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 878822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props6254353422865884065.key 878822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.41ns 878823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 883032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 883050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6254353422865884065.key 883051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 883053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props2293510415553816454.key 883054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.41ns 883054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 887235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 887252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2293510415553816454.key 887253 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 887255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props11003602522740307801.key 887255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.11ns 887256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 891579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 891597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11003602522740307801.key 891598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 891601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props12418367413933777029.key 891601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.61ns 891601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 895806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 895824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12418367413933777029.key 895825 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 895827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props8779135831139252062.key 895827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.61ns 895828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 900027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8779135831139252062.key 900029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 900031 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 900031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props5836044512689715036.key 900031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.6ns 900032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 904256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 904273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5836044512689715036.key 904275 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 904277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props8187701709998403242.key 904277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.2ns 904278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 908458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 908475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8187701709998403242.key 908477 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 908480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props8351191237889157015.key 908480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.41ns 908480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 912802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 912819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8351191237889157015.key 912821 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 912823 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 912823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props3954526547760036438.key 912823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.81ns 912824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 917022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 917039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3954526547760036438.key 917040 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 917043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props6973196659905667874.key 917043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.3ns 917044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 921334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6973196659905667874.key 921335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 921337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props8105781736943347535.key 921337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.1ns 921338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 925601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8105781736943347535.key 925603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 925605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props14817832589729431332.key 925605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86ns 925606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 929835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 929853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14817832589729431332.key 929854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 929856 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 929856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props414749322527075517.key 929856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.4ns 929857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 934274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props414749322527075517.key 934275 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 934277 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props13617739947026096692.key 934278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.3ns 934279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 938487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13617739947026096692.key 938488 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 938492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props7007556981610015343.key 938493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.61ns 938493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 942703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7007556981610015343.key 942704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 942707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props5372451936141421806.key 942707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.2ns 942708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 946933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5372451936141421806.key 946935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 946937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props13752762733934060626.key 946937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.8ns 946938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 951153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13752762733934060626.key 951154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 951156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props9000642721226844742.key 951156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.81ns 951157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 955390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9000642721226844742.key 955391 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 955394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props11534044917633767467.key 955394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.7ns 955395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 959619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11534044917633767467.key 959620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 959623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props8589590291081225865.key 959623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.61ns 959624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 963832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 963849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8589590291081225865.key 963851 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 963853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props7770360295765128117.key 963853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.61ns 963854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 968038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 968080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7770360295765128117.key 968082 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 968084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props11987859606303185968.key 968084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.41ns 968085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 972281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 972298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11987859606303185968.key 972299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 972301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props14042341933698342200.key 972302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.51ns 972302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 976477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 976520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14042341933698342200.key 976522 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 976525 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props2225468404272133250.smt2 976526 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props14403575863552392384.smt2 976527 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props7388946755272224584.smt2 976528 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props11695606323458401946.smt2 976529 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props16302532018987954592.smt2 976529 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props15539075345694519975.smt2 976530 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props10755549630248662606.smt2 976531 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props2056450747055759567.smt2 976532 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props5505018379153286268.smt2 976532 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props18017604071549573719.smt2 976533 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props4429820694046304647.smt2 976534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props1739630609245355594.smt2 976535 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props3705430782222246405.smt2 976535 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props10789485027614958303.smt2 976536 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props1166957164027819543.smt2 976540 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props13560769439693379055.smt2 976544 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props8885767015412382722.smt2 976546 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props15308843132921813362.smt2 976549 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props9899316840927587150.smt2 976550 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props12617616089169846642.smt2 976552 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props3401499420189663242.smt2 976553 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props8510610147666424584.smt2 976555 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props16775697323266722903.smt2 976558 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props4448472519690326018.smt2