Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] heap1.props | testTranslation(TestData)[10] | 0s | passed |
| [11] float.sqrt2.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sinDouble.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] int1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] float.eq.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] bool3.props | testTranslation(TestData)[18] | 0s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0s | 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.001s | passed |
| [22] cast2.props | testTranslation(TestData)[22] | 0s | passed |
| [23] ex2.props | testTranslation(TestData)[23] | 0s | passed |
| [24] types2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0s | passed |
| [3] float2.props | testTranslation(TestData)[3] | 0s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] upd1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float1.props | testTranslation(TestData)[9] | 0s | 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
584443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props11571215272033689805.key 584443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.9ns 584444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584580 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 584581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 584581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 584582 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 585108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 588556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 588572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11571215272033689805.key 588573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 588583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props6782650161186227239.key 588583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.3ns 588584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 591515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6782650161186227239.key 591516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 591519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props1381418955610436198.key 591519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53ns 591520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 594423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1381418955610436198.key 594424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 594429 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 594429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props15355088720113741625.key 594429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.3ns 594430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 597448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15355088720113741625.key 597449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 597453 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 597453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props3808178350326342504.key 597453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57ns 597454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 600374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3808178350326342504.key 600376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 600379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props12800723350273620129.key 600379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.7ns 600380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 603403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12800723350273620129.key 603404 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 603406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props17998426784814977191.key 603406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.2ns 603407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 606532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17998426784814977191.key 606533 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 606538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props11840812457061928674.key 606538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.8ns 606540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 609643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11840812457061928674.key 609645 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 609647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props12936768403892405205.key 609647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.1ns 609648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 612716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12936768403892405205.key 612718 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 612720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props9468050478901321405.key 612720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.1ns 612721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 615768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9468050478901321405.key 615770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 615775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props1735973145541219996.key 615775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.7ns 615775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 619045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1735973145541219996.key 619046 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 619049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props16019089349049301040.key 619049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.1ns 619050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 622089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16019089349049301040.key 622090 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 622093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props9544851986360065762.key 622093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.8ns 622094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 625148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9544851986360065762.key 625149 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 625151 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props12181771771360795206.key 625151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.5ns 625152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 628272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12181771771360795206.key 628273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 628275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props5088026521257445211.key 628275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.3ns 628276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 631289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5088026521257445211.key 631290 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 631293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props2168700574838067104.key 631293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.4ns 631294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 634329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 634342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2168700574838067104.key 634343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 634346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props11906701185094487551.key 634346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.7ns 634347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 637472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11906701185094487551.key 637475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 637478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props17896178660121778829.key 637478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.6ns 637479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 640427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17896178660121778829.key 640428 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 640430 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 640431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props14446077172484614694.key 640431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.4ns 640432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 643467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14446077172484614694.key 643469 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 643471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7587591207398740451.key 643471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.4ns 643472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 646601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7587591207398740451.key 646602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 646604 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 646605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props6903328315389707831.key 646605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59ns 646606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 649675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6903328315389707831.key 649676 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 649679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props8056949684280774739.key 649679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.4ns 649680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 652760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8056949684280774739.key 652761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 652764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props11423192225171875882.key 652764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.6ns 652764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 655757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11423192225171875882.key 655758 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 655760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props14919819543720406014.key 655760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.4ns 655761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 658919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14919819543720406014.key 658921 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 658955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props4960198161738477930.key 658955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.92ns 658956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 661996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4960198161738477930.key 661997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 661999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props11799905866624209584.key 661999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.7ns 662000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 665000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11799905866624209584.key 665001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 665004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props2583472628133161473.key 665004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.4ns 665005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 668126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2583472628133161473.key 668127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 668129 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props16775237656353881330.key 668129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.3ns 668130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 671138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16775237656353881330.key 671139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 671141 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 671141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props16462584641126255146.key 671141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.3ns 671142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 674066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props16462584641126255146.key 674067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 674069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props6120859676666131919.key 674069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.6ns 674070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 677244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6120859676666131919.key 677246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 677248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props5353852196692951570.key 677248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.3ns 677249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 680369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5353852196692951570.key 680371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 680374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props15486362078375000798.key 680374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.3ns 680375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 683438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15486362078375000798.key 683439 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 683441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props12430499217294103605.key 683442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.5ns 683442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 686558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12430499217294103605.key 686560 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 686562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props5042916226328276046.key 686562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.5ns 686563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 689610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5042916226328276046.key 689611 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 689614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props3527382277778141634.key 689614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.8ns 689615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 692604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3527382277778141634.key 692605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 692607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props6074495505218259963.key 692607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51ns 692608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 695632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6074495505218259963.key 695633 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 695636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props7089329670462688502.key 695636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.2ns 695636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 698730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7089329670462688502.key 698732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 698734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props7175045214593891581.key 698734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57ns 698735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 701784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7175045214593891581.key 701786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 701788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props5952505542665599166.key 701788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.5ns 701789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 704780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5952505542665599166.key 704782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 704784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props3021027096587199521.key 704784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.3ns 704785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 707868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3021027096587199521.key 707869 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 707871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props4480886348190270061.key 707871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.8ns 707872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 710952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4480886348190270061.key 710953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 710955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props5967673200739429905.key 710956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.5ns 710956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 714070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5967673200739429905.key 714072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 714074 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 714074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props11621904306271086988.key 714074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.7ns 714075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 717079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11621904306271086988.key 717080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 717084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props12551327232287773595.key 717084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.6ns 717085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 720157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12551327232287773595.key 720158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 720160 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 720160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props2462597019539050001.key 720160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52ns 720161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 723157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2462597019539050001.key 723158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.9ns 723161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props13141225794711409727.key 723162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.9ns 723162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 726272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13141225794711409727.key 726273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 726276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props12160092984244792729.key 726276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.9ns 726276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 729397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12160092984244792729.key 729399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 729401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props1773483574769007543.key 729401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.6ns 729402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 732406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1773483574769007543.key 732407 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 732410 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props8395826970132584601.smt2 732411 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props140459718217969979.smt2 732412 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props12581947157250525057.smt2 732412 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props17348061954891359196.smt2 732413 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props4663416528911782286.smt2 732414 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props16358761176336684074.smt2 732414 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props11330928240656223633.smt2 732415 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props2663467591020841072.smt2 732416 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props13046503893278590167.smt2 732417 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props16712033001234503822.smt2 732417 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props8513487678211245955.smt2 732418 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props14443110062854817712.smt2 732419 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props6375706979287584637.smt2 732420 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props956701313541402272.smt2 732420 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props17056912199765747898.smt2 732421 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props13576338195649777527.smt2 732422 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props66512386930424134.smt2 732423 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props15690286791345921811.smt2 732424 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props3198566584825318529.smt2 732424 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props14081739263493757258.smt2 732425 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props8391971733191184753.smt2 732426 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props9572031119549887453.smt2 732427 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props1782610688792875287.smt2 732427 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props10476608362754042130.smt2