Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] heap1.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt2.props | testTranslation(TestData)[11] | 0s | passed |
| [12] float.sinDouble.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] int1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0.005s | passed |
| [17] float.eq.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] bool3.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] ite1.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] cast1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] cast2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] ex2.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] types2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] float2.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] upd1.props | testTranslation(TestData)[8] | 0.002s | passed |
| [9] float1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] heap1.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt2.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sinDouble.props | testZ3(TestData)[12] | - | ignored |
| [13] cast3.props | testZ3(TestData)[13] | - | ignored |
| [14] float.sqrt1.props | testZ3(TestData)[14] | - | ignored |
| [15] int1.props | testZ3(TestData)[15] | - | ignored |
| [16] quant2.props | testZ3(TestData)[16] | - | ignored |
| [17] float.eq.props | testZ3(TestData)[17] | - | ignored |
| [18] bool3.props | testZ3(TestData)[18] | - | ignored |
| [19] types1.props | testZ3(TestData)[19] | - | ignored |
| [1] ite1.props | testZ3(TestData)[1] | - | ignored |
| [20] cast1.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] cast2.props | testZ3(TestData)[22] | - | ignored |
| [23] ex2.props | testZ3(TestData)[23] | - | ignored |
| [24] types2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool1.props | testZ3(TestData)[2] | - | ignored |
| [3] float2.props | testZ3(TestData)[3] | - | ignored |
| [4] bool2.props | testZ3(TestData)[4] | - | ignored |
| [5] ex1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] uninterpreted1.props | testZ3(TestData)[7] | - | ignored |
| [8] upd1.props | testZ3(TestData)[8] | - | ignored |
| [9] float1.props | testZ3(TestData)[9] | - | ignored |
Standard output
601318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props6486867512034103385.key 601319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 615.4ns 601320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601510 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 601519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 601520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 601520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 602405 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 606539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 606556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6486867512034103385.key 606557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.7ns 606565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props316433673401980228.key 606565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.4ns 606566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 609883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props316433673401980228.key 609884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 609888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props17545654018306359759.key 609889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.7ns 609890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 613135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17545654018306359759.key 613136 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 613139 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 613140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props14454732636190362102.key 613140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.7ns 613141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 616738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14454732636190362102.key 616741 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.9ns 616748 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 616749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props12745381597163085708.key 616750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455ns 616751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 620036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12745381597163085708.key 620043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 620047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props16518673682739825768.key 620047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.2ns 620049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 623251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16518673682739825768.key 623254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 623258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props1942115614627305059.key 623258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.9ns 623260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 626420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1942115614627305059.key 626421 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 626424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props9408561539412275395.key 626424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.6ns 626426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 629512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9408561539412275395.key 629514 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 629518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props11866814515560573252.key 629518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.2ns 629519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 632795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11866814515560573252.key 632796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 632803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props5590611647108069554.key 632803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.7ns 632804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 635923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5590611647108069554.key 635925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 635953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props5806447718171713209.key 635953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 563ns 635954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 639328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5806447718171713209.key 639329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 639333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props3599009083461008541.key 639333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261ns 639334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 642625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3599009083461008541.key 642626 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 642629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props15858842816556137506.key 642629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65ns 642630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 646050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15858842816556137506.key 646051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 646055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props11054059141647822394.key 646055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.5ns 646056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 649321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11054059141647822394.key 649322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 649325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props8268083942348244755.key 649325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.3ns 649326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 652766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8268083942348244755.key 652770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 652776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17162962528965445654.key 652776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.5ns 652777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 656117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17162962528965445654.key 656118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 656121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props17890660333586553121.key 656121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.5ns 656122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 659640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17890660333586553121.key 659650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 659659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props16489023607387182843.key 659659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327ns 659660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 663031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16489023607387182843.key 663032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 663035 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 663035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props6696452010119084083.key 663035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.8ns 663036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 666088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6696452010119084083.key 666089 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 666100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props6165614138543639235.key 666100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.7ns 666101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 669279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6165614138543639235.key 669281 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 669283 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 669284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props8351675814061418222.key 669285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.9ns 669286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 672527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8351675814061418222.key 672528 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.4ns 672531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props11512134793665527845.key 672531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.3ns 672531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 675637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11512134793665527845.key 675638 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 675641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props7611356459962444449.key 675641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.1ns 675642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 678921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7611356459962444449.key 678922 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 678925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props17973201950053346812.key 678925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108ns 678926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 682475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17973201950053346812.key 682476 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 682499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props7660539552853675997.key 682499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.1ns 682500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 685623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props7660539552853675997.key 685624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 685629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props10619799729215648528.key 685629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 337ns 685630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 688898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10619799729215648528.key 688900 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 688903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props6520924353096552585.key 688904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.1ns 688905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 692246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6520924353096552585.key 692248 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 692249 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 692251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props4267317821513221301.key 692251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84ns 692253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 695526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4267317821513221301.key 695528 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 695531 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 695531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props5423895371135433595.key 695532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.7ns 695533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 698786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5423895371135433595.key 698788 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 698790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props11845987151656316170.key 698790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.6ns 698791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 702078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11845987151656316170.key 702081 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 702084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props16107231333110001348.key 702084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.9ns 702085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 705336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16107231333110001348.key 705337 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 705340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props3063078764710024877.key 705340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.8ns 705341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 708914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3063078764710024877.key 708917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 708920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props13440160478636045307.key 708921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 847.3ns 708922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 712453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13440160478636045307.key 712454 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 712457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props12251556771786232452.key 712457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.4ns 712458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 715596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12251556771786232452.key 715598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 715602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props1064594708729956029.key 715602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.1ns 715603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 718686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1064594708729956029.key 718688 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 718690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props5140633639909286038.key 718691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.1ns 718692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 721815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5140633639909286038.key 721817 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 721819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props12046081682355828607.key 721819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.8ns 721820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 724797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12046081682355828607.key 724798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 724800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props14322916563020500713.key 724800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.1ns 724801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 728013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14322916563020500713.key 728014 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 728017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props18242978535441222010.key 728017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.9ns 728018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 731166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18242978535441222010.key 731167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 731170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props6537791042611840163.key 731170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.5ns 731170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 734590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6537791042611840163.key 734591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 734594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props14893810697020737253.key 734595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.7ns 734596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 737908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14893810697020737253.key 737909 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 737912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props8953496534941063930.key 737912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.3ns 737913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 741293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8953496534941063930.key 741294 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 741306 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 741307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props14146147338821091164.key 741307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.5ns 741308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 744672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14146147338821091164.key 744675 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 744677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props6578783746507526284.key 744678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.2ns 744679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 747887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6578783746507526284.key 747889 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 747891 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 747892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props10815933761761369285.key 747892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.4ns 747893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 751159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10815933761761369285.key 751161 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 751164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props10982467375557389759.key 751164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.8ns 751165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754334 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 754348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10982467375557389759.key 754350 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 754352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props14167049170036684757.key 754352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.5ns 754353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 757365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14167049170036684757.key 757367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 757371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props8021061890500151822.key 757371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.5ns 757372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 760498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8021061890500151822.key 760500 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 760503 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props6237638587236702372.smt2 760511 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props11510868293056468416.smt2 760512 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props6415182241800416926.smt2 760514 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props4763122827797499917.smt2 760516 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props15286087882353629298.smt2 760518 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props16433582513100915325.smt2 760519 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props17878337997218491472.smt2 760521 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props17668492635776729880.smt2 760522 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props10011905566603389768.smt2 760524 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props13106924869441065571.smt2 760526 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props2809350648716520048.smt2 760527 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props14088084172610558481.smt2 760528 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props13497617670330056555.smt2 760529 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props2539352398508308662.smt2 760531 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props14163433822380870521.smt2 760536 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props14971797160055219636.smt2 760538 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props861485706345720394.smt2 760546 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props6571813905716022503.smt2 760547 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props12318272937284336697.smt2 760549 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props13015340002243082667.smt2 760550 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props10201751806308886919.smt2 760553 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props5217958072321917745.smt2 760555 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props14727611512653100447.smt2 760557 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props895980325508888347.smt2