Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] ite1.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.eq.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] types1.props | testTranslation(TestData)[12] | 0s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0s | passed |
| [14] ex2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] uninterpreted1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] int1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] bool3.props | testTranslation(TestData)[19] | 0s | passed |
| [1] float.sqrt2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] float2.props | testTranslation(TestData)[20] | 0s | passed |
| [21] ex1.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] upd2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] types2.props | testTranslation(TestData)[23] | 0s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] float1.props | testTranslation(TestData)[3] | 0s | passed |
| [4] quant2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] heap1.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] upd1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] float.sinDouble.props | testTranslation(TestData)[7] | 0s | passed |
| [8] bool2.props | testTranslation(TestData)[8] | 0s | passed |
| [9] float.sqrt1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] ite1.props | testZ3(TestData)[10] | - | ignored |
| [11] float.eq.props | testZ3(TestData)[11] | - | ignored |
| [12] types1.props | testZ3(TestData)[12] | - | ignored |
| [13] cast3.props | testZ3(TestData)[13] | - | ignored |
| [14] ex2.props | testZ3(TestData)[14] | - | ignored |
| [15] uninterpreted1.props | testZ3(TestData)[15] | - | ignored |
| [16] cast2.props | testZ3(TestData)[16] | - | ignored |
| [17] int1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] bool3.props | testZ3(TestData)[19] | - | ignored |
| [1] float.sqrt2.props | testZ3(TestData)[1] | - | ignored |
| [20] float2.props | testZ3(TestData)[20] | - | ignored |
| [21] ex1.props | testZ3(TestData)[21] | - | ignored |
| [22] upd2.props | testZ3(TestData)[22] | - | ignored |
| [23] types2.props | testZ3(TestData)[23] | - | ignored |
| [24] cast1.props | testZ3(TestData)[24] | - | ignored |
| [2] bool1.props | testZ3(TestData)[2] | - | ignored |
| [3] float1.props | testZ3(TestData)[3] | - | ignored |
| [4] quant2.props | testZ3(TestData)[4] | - | ignored |
| [5] heap1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd1.props | testZ3(TestData)[6] | - | ignored |
| [7] float.sinDouble.props | testZ3(TestData)[7] | - | ignored |
| [8] bool2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.sqrt1.props | testZ3(TestData)[9] | - | ignored |
Standard output
630237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props11786067322313677461.key 630241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.9ms 630242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630408 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 630409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 630409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 630410 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 631021 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 634602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 634620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11786067322313677461.key 634622 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 634632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props11024724367932730371.key 634632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.9ns 634633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 637809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11024724367932730371.key 637811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 637816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props10632238086432597061.key 637816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.7ns 637817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 640985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10632238086432597061.key 640986 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 640989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props15858461987499835150.key 640989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.5ns 640990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 644230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15858461987499835150.key 644233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 644241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props5546947470421297147.key 644241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.9ns 644242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 647478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5546947470421297147.key 647479 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 647485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props4230027559313308421.key 647485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73ns 647487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 650795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4230027559313308421.key 650796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.2ns 650802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props1214175165915316030.key 650802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.5ns 650803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 654071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1214175165915316030.key 654072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 654076 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 654076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props13939386417987605079.key 654077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91ns 654077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 657427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13939386417987605079.key 657428 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 657431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props9904554923101857033.key 657431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.5ns 657432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 660760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props9904554923101857033.key 660761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 660763 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 660765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props11277837729438730276.key 660765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.1ns 660766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 664109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11277837729438730276.key 664110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 664113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props7208164570879826223.key 664113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.6ns 664114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 667675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7208164570879826223.key 667677 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 667680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props4235671130866473137.key 667680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.3ns 667681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 671218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4235671130866473137.key 671219 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 671222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props12713471066147005954.key 671222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.9ns 671223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 674678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12713471066147005954.key 674680 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 674683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props4418609724373440149.key 674684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.9ns 674685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 678031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4418609724373440149.key 678033 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 678036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props4626989084395305865.key 678036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.2ns 678037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 681287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4626989084395305865.key 681288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 681294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props8777647971909250291.key 681294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.4ns 681295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 684493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8777647971909250291.key 684495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 684499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props9045335677721788044.key 684499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.9ns 684500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 687890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9045335677721788044.key 687892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 687900 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 687901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props17096016039113634641.key 687901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.9ns 687902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 691189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props17096016039113634641.key 691190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 691193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props13708445254239091657.key 691194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.4ns 691194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 694383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13708445254239091657.key 694384 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 694387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props9694338604900635113.key 694388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.4ns 694388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 697718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9694338604900635113.key 697719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 697722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props8369236364675961722.key 697723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380ns 697724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 701311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8369236364675961722.key 701312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 701314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props9634610280222203772.key 701314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.5ns 701315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 704720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9634610280222203772.key 704728 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 704739 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 704747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props11863185713435940849.key 704748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 533.2ns 704749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 708144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11863185713435940849.key 708145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 708147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props4768664393901136486.key 708147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.9ns 708148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 711493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4768664393901136486.key 711494 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 711560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props2512982549939748258.key 711560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.6ns 711562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 714991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2512982549939748258.key 714993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 714996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props14648888385425503070.key 714996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.9ns 714996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 718506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14648888385425503070.key 718509 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.8ns 718513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props13278627536812040742.key 718513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.4ns 718515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 722071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13278627536812040742.key 722072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 722075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props8713753305334996789.key 722075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.9ns 722076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 725279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8713753305334996789.key 725280 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.3ns 725283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props1112886135500942240.key 725283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.5ns 725284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 728702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1112886135500942240.key 728703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 728709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props9573158744604185547.key 728709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.7ns 728710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 732158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9573158744604185547.key 732160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 732163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props7048136945537235654.key 732163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.2ns 732164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 735570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7048136945537235654.key 735572 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 735575 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 735576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props9252706632169505063.key 735576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.2ns 735577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 738931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9252706632169505063.key 738932 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 738935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props541237682498352575.key 738935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.3ns 738936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 742320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props541237682498352575.key 742321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 742324 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 742325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props3199882264745573616.key 742325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.9ns 742326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 745796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3199882264745573616.key 745797 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 745800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props2973993871250017186.key 745800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.7ns 745800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 749107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2973993871250017186.key 749109 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 749111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props2363125328817554430.key 749111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.9ns 749112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 752440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2363125328817554430.key 752442 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 752446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props1318507422390084520.key 752447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.5ns 752448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 755803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1318507422390084520.key 755805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 755808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props6975439150578861867.key 755808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.3ns 755809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 759085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6975439150578861867.key 759086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 759089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props493235693950373089.key 759089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.5ns 759090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 762348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props493235693950373089.key 762350 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 762353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props12696092655091305672.key 762354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.4ns 762355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 765870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12696092655091305672.key 765872 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 765875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props2831146837266148201.key 765876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.6ns 765877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 769220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2831146837266148201.key 769222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 769225 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 769233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props5688398332716116458.key 769233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns 769234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 772907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5688398332716116458.key 772908 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns 772914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props10256831627153461444.key 772914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.1ns 772915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 776536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10256831627153461444.key 776538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 776541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props15582824794406032461.key 776541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.3ns 776542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 779827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15582824794406032461.key 779829 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 779831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props14172586206979724462.key 779831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.6ns 779832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 783200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14172586206979724462.key 783202 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 783204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props13166856592931284245.key 783204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.5ns 783205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 786672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13166856592931284245.key 786674 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 786676 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 786676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props15969616768890744798.key 786676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.2ns 786677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 790103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15969616768890744798.key 790104 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 790107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7180548684764713251.key 790108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.9ns 790108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 793431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7180548684764713251.key 793432 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 793435 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props1029000865466931173.smt2 793438 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props12917380011310108604.smt2 793439 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props11942583275077874122.smt2 793439 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props11929925549366244951.smt2 793440 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props9372765731812918191.smt2 793441 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props9664119714469283080.smt2 793442 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props7909447571121835568.smt2 793443 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props10292303633810533037.smt2 793444 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props16503976215643804630.smt2 793444 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props7861503108518596155.smt2 793445 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props5956663483798152338.smt2 793446 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props724690545464656948.smt2 793447 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props10021448029795518734.smt2 793448 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props12572633943425485395.smt2 793448 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props18146152943549775552.smt2 793450 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props6508594806284001649.smt2 793450 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props4980598566884471180.smt2 793452 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props1824949922268255350.smt2 793452 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props4427427454542389643.smt2 793453 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props12370816903695883565.smt2 793454 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props7846882506709656330.smt2 793454 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props16911336346229863202.smt2 793455 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props2318205487087112587.smt2 793456 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props16598755186009070816.smt2