Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] ex2.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0.008s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0.005s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0.005s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0.002s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] bool3.props | testTranslation(TestData)[21] | 0.009s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] cast2.props | testTranslation(TestData)[23] | 0.009s | passed |
| [24] int1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] float.eq.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] ex1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] ex2.props | testZ3(TestData)[11] | - | ignored |
| [12] cast1.props | testZ3(TestData)[12] | - | ignored |
| [13] bool1.props | testZ3(TestData)[13] | - | ignored |
| [14] quant1.props | testZ3(TestData)[14] | - | ignored |
| [15] float1.props | testZ3(TestData)[15] | - | ignored |
| [16] ite1.props | testZ3(TestData)[16] | - | ignored |
| [17] upd1.props | testZ3(TestData)[17] | - | ignored |
| [18] upd2.props | testZ3(TestData)[18] | - | ignored |
| [19] heap1.props | testZ3(TestData)[19] | - | ignored |
| [1] types2.props | testZ3(TestData)[1] | - | ignored |
| [20] uninterpreted1.props | testZ3(TestData)[20] | - | ignored |
| [21] bool3.props | testZ3(TestData)[21] | - | ignored |
| [22] bool2.props | testZ3(TestData)[22] | - | ignored |
| [23] cast2.props | testZ3(TestData)[23] | - | ignored |
| [24] int1.props | testZ3(TestData)[24] | - | ignored |
| [2] float.sinDouble.props | testZ3(TestData)[2] | - | ignored |
| [3] quant2.props | testZ3(TestData)[3] | - | ignored |
| [4] float.eq.props | testZ3(TestData)[4] | - | ignored |
| [5] float2.props | testZ3(TestData)[5] | - | ignored |
| [6] float.sqrt1.props | testZ3(TestData)[6] | - | ignored |
| [7] cast3.props | testZ3(TestData)[7] | - | ignored |
| [8] types1.props | testZ3(TestData)[8] | - | ignored |
| [9] ex1.props | testZ3(TestData)[9] | - | ignored |
Standard output
636133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props17107392978263287567.key 636133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.4ns 636134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636303 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 636304 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 636305 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 636305 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 636884 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 640680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 640698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17107392978263287567.key 640700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 640715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props7750580554197123778.key 640716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.9ns 640716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 644254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7750580554197123778.key 644255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 644265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props7595414662314830429.key 644266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 684.4ns 644268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 647703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7595414662314830429.key 647704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 647708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props3843554925267597121.key 647708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.8ns 647709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 651132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3843554925267597121.key 651136 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 651146 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 651147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props11597099695468081292.key 651148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.6ns 651149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 654707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11597099695468081292.key 654710 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 654714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props4665518216505449462.key 654714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 335ns 654715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 658195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4665518216505449462.key 658196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 658199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props6770454753271213691.key 658199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.6ns 658200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 661594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6770454753271213691.key 661596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 661610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props10527778239985500146.key 661611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.3ns 661612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 665009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10527778239985500146.key 665010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 665012 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 665013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props8107138837139644499.key 665013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.5ns 665014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 668452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props8107138837139644499.key 668453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 668457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props7404397164733080584.key 668457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.2ns 668467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 672125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7404397164733080584.key 672127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 672129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props14225727944154442734.key 672129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.5ns 672130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 675689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14225727944154442734.key 675691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 675694 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 675694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7273125532804105278.key 675695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.2ns 675695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 679075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7273125532804105278.key 679076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 679080 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 679080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props11505260894462370713.key 679081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.9ns 679082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 682537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11505260894462370713.key 682539 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 682542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props7974704030648619263.key 682542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.3ns 682543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 686043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7974704030648619263.key 686044 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 686052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props5790813887796265543.key 686052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.7ns 686053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 689525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5790813887796265543.key 689526 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 689532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props4956878052886176199.key 689532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.6ns 689534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 693028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4956878052886176199.key 693030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 693034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props1753511981935498162.key 693034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.7ns 693036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 696686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1753511981935498162.key 696688 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 696690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props6155768308420608711.key 696691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.6ns 696692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 700041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6155768308420608711.key 700043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 700045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props992488965938987528.key 700046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.2ns 700047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 703662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props992488965938987528.key 703664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 703684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props1997640699955159280.key 703684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 503.6ns 703685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 707273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1997640699955159280.key 707274 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 707277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props785113106851570374.key 707277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.6ns 707278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 710780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props785113106851570374.key 710782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 710795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props5074330837800205562.key 710796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 370ns 710797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 714235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5074330837800205562.key 714236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 714239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props16304400035982893412.key 714240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.7ns 714241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 717689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16304400035982893412.key 717691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 717694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props6906148784163354877.key 717694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.7ns 717695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 721079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6906148784163354877.key 721080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 721099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props9077305342904069239.key 721099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.4ns 721100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 724479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9077305342904069239.key 724480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 724483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props5542054533882384548.key 724483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.7ns 724484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 727962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5542054533882384548.key 727963 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.5ns 727966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props11153302512807632527.key 727966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.2ns 727966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 731333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11153302512807632527.key 731335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 731339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props9928460404016178129.key 731339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.8ns 731340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 734924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9928460404016178129.key 734925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 734927 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 734928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props16287711469049820723.key 734928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.8ns 734928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 738394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16287711469049820723.key 738396 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 738399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props14853234618035121843.key 738399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.2ns 738410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 742153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14853234618035121843.key 742154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 742158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props11638995845247266390.key 742159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.2ns 742160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 745719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11638995845247266390.key 745721 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 745727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props16088613391238129374.key 745727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.9ns 745728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 749440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props16088613391238129374.key 749450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.4ns 749452 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 749453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props2644609756886026964.key 749453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.3ns 749455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 753161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2644609756886026964.key 753163 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 753166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props17653647143308616935.key 753166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.5ns 753167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 756922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17653647143308616935.key 756924 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 756927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props6537561790869526822.key 756927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.9ns 756928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 760522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6537561790869526822.key 760523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 760525 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 760525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props18054485723677104118.key 760525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.7ns 760526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 763987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18054485723677104118.key 763989 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 763991 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 763992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props14563647022434522162.key 763992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454ns 763993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 767564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14563647022434522162.key 767565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 767567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props4336210838994603068.key 767567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.3ns 767568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 770951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 770967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4336210838994603068.key 770969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 770971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props1529353633035951195.key 770971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.4ns 770972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 774522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1529353633035951195.key 774525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 774529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props17916456654060986460.key 774529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.3ns 774530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 778223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17916456654060986460.key 778224 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 778228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props9810060339863259535.key 778228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.6ns 778229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 781788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9810060339863259535.key 781803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 781807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props1954211310932291124.key 781807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.5ns 781808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 785353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1954211310932291124.key 785354 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 785357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props18171152080725884235.key 785357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.9ns 785358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 788836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props18171152080725884235.key 788837 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 788851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props7583925491379002165.key 788851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.5ns 788852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 792475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7583925491379002165.key 792486 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 792489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props7150859039412459451.key 792490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.1ns 792491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 795963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7150859039412459451.key 795965 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 795968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props3454400910248031363.key 795968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.9ns 795969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 799577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3454400910248031363.key 799579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 799584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props10295434305138725418.key 799584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.9ns 799585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 803098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10295434305138725418.key 803100 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 803104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props8969862161775852130.key 803104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373ns 803105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 806681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8969862161775852130.key 806683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 806688 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props10943607282960959116.smt2 806691 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props171483518345873800.smt2 806692 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props13342711267355877822.smt2 806694 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props5850757989306495866.smt2 806696 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props1632036371115693528.smt2 806697 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props12771410134689945394.smt2 806698 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props17286022322824445730.smt2 806699 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props11947221413435572403.smt2 806700 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props9164187938483321373.smt2 806702 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props11748161019239189122.smt2 806703 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props4777374407787482533.smt2 806705 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props3441691070838504359.smt2 806713 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props1640435093028498452.smt2 806718 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props3511092556734283446.smt2 806720 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props14532133318456655092.smt2 806725 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props15027534902205218226.smt2 806726 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props16198303402089350842.smt2 806728 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props14469780729319415236.smt2 806730 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props265278464130852069.smt2 806732 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props1750642115685595046.smt2 806742 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props13813297078201524396.smt2 806744 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props18133897885706180944.smt2 806753 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props16566825473703903534.smt2 806754 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props16388028416985818301.smt2