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] | 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.001s | 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] | 0s | passed |
| [1] ite1.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] cast1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0s | passed |
| [22] cast2.props | testTranslation(TestData)[22] | 0s | passed |
| [23] ex2.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] types2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] float2.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0.003s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0.002s | 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.001s | 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
605537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props3655181724346917225.key 605538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 491.32ns 605539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605787 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 605798 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 605799 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 605800 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606588 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 610702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 610716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3655181724346917225.key 610717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 610724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props14642371866206692291.key 610724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.5ns 610725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 613727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14642371866206692291.key 613731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 613734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props2374773978198427622.key 613734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65ns 613735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 616724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2374773978198427622.key 616726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 616728 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 616729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props1525466181441187711.key 616729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.8ns 616730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 619771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1525466181441187711.key 619773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.9ns 619779 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 619780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props12319224763826054775.key 619781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.12ns 619782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 622799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12319224763826054775.key 622800 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 622804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props15481220197163163199.key 622804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.9ns 622805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 625860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15481220197163163199.key 625861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 625863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props2347425930291034324.key 625863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.9ns 625864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 628919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 628937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2347425930291034324.key 628938 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 628941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props13843002028099392885.key 628941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.1ns 628943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 632225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13843002028099392885.key 632227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 632229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props5350097331664494466.key 632229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.3ns 632230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 635737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5350097331664494466.key 635738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 635740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props15585520146594300626.key 635740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.8ns 635741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 639119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15585520146594300626.key 639120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 639139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props17673371090156144521.key 639139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.7ns 639140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 642588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17673371090156144521.key 642590 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 642593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props10259266167936907047.key 642593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.7ns 642594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 646003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10259266167936907047.key 646004 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 646007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props7615174264780040643.key 646007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.3ns 646008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 649200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7615174264780040643.key 649201 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 649204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props15519868854355348896.key 649204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.2ns 649205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 652569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15519868854355348896.key 652571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 652574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props11840626967777312421.key 652574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.5ns 652575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 655898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11840626967777312421.key 655899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 655903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props2779747945528175506.key 655903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.5ns 655904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 659107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2779747945528175506.key 659108 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 659112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props11211318666590728794.key 659112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.3ns 659112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 662446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11211318666590728794.key 662448 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 662451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props15706074367748826631.key 662452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.4ns 662452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 665671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15706074367748826631.key 665672 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 665674 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 665675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props3505262303311186381.key 665675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.01ns 665676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 668882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3505262303311186381.key 668883 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 668885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props12591227458504169959.key 668885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.3ns 668886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 672005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12591227458504169959.key 672006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 672008 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 672009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props6546133307090740846.key 672009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.2ns 672010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 675145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props6546133307090740846.key 675147 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 675149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props14276003474788962548.key 675149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.9ns 675150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 678328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14276003474788962548.key 678329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 678332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props18380090367750308931.key 678332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.3ns 678333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 681495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18380090367750308931.key 681497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 681499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props16356267020194423436.key 681499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78ns 681500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 684648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16356267020194423436.key 684649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 684666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props3253656166790479345.key 684666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.4ns 684667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 687744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3253656166790479345.key 687745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 687748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props9335644153826810947.key 687748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.1ns 687749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 690894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9335644153826810947.key 690895 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 690899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props12313975999214998944.key 690899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.1ns 690901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 694160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12313975999214998944.key 694161 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 694164 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 694164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props13610759215139953094.key 694165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.31ns 694166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 697465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13610759215139953094.key 697467 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 697468 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 697469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props5054130672085654995.key 697469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.6ns 697470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 700626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5054130672085654995.key 700628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 700630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props8132434208658135170.key 700630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.8ns 700631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 703780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8132434208658135170.key 703781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 703784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props4214544004492014283.key 703784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.7ns 703785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 706937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 706952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4214544004492014283.key 706953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 706956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props12018453244869155996.key 706956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.9ns 706956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 710079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12018453244869155996.key 710080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 710083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props16519255229651856760.key 710083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.7ns 710083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 713298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16519255229651856760.key 713299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 713301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props1576419341895310851.key 713301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.7ns 713302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 716445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1576419341895310851.key 716446 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 716449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props94138991670723335.key 716450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63ns 716450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 719614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props94138991670723335.key 719615 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 719617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props5397302016609972641.key 719618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.8ns 719619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 722783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5397302016609972641.key 722784 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 722786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props9749518188216405796.key 722787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.3ns 722787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 725953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9749518188216405796.key 725954 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 725957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props10782908023349058269.key 725957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.9ns 725958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 729085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10782908023349058269.key 729087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 729089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props5609301585583023140.key 729089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.9ns 729090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 732192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5609301585583023140.key 732193 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 732196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props11914703617111079597.key 732196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.7ns 732197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 735333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11914703617111079597.key 735334 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 735336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props12059883922288839017.key 735336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.8ns 735337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 738517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12059883922288839017.key 738518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 738521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props5237473954631049719.key 738521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.5ns 738522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 741656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5237473954631049719.key 741658 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 741660 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 741661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props10898678467817280048.key 741661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.91ns 741662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 744903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10898678467817280048.key 744904 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 744906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props16100721050510504941.key 744906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89ns 744907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 748079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props16100721050510504941.key 748080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 748082 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 748083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props13812706348683641789.key 748083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.6ns 748084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 751206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13812706348683641789.key 751207 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 751211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props13607630356315116495.key 751211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.4ns 751212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 754689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13607630356315116495.key 754690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 754693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props8631007565979262357.key 754693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.5ns 754694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 758144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8631007565979262357.key 758145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 758148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props3750610822265781562.key 758148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.9ns 758148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 761491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3750610822265781562.key 761492 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.8ns 761496 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props17070949170647677554.smt2 761497 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props3835737969947317362.smt2 761498 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props13314509639678628167.smt2 761499 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props7598005503289095321.smt2 761503 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props9385612716679744295.smt2 761504 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props9429234213073700778.smt2 761505 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props16540769249896278824.smt2 761506 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props12352288031375733570.smt2 761508 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props8277418186632939731.smt2 761509 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props13872819605647564972.smt2 761510 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props15061600922431986766.smt2 761511 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props1358698855503958546.smt2 761512 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props252336076363503634.smt2 761513 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props3521381622939736561.smt2 761514 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props4603829663341493929.smt2 761515 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props14178074650951714420.smt2 761516 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props10007293337057512209.smt2 761517 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props3994802118684480650.smt2 761518 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props2914700717686990662.smt2 761519 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props8031904608112143419.smt2 761520 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props2748597436161766846.smt2 761521 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props2665224805395026607.smt2 761522 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props10997127695583606127.smt2 761523 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props5212318561086210707.smt2