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] | 0s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] bool3.props | testTranslation(TestData)[21] | 0s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0s | passed |
| [23] cast2.props | testTranslation(TestData)[23] | 0.001s | 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] | 0s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0s | 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
637783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props8837017936356469501.key 637783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.4ns 637784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 637927 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 637927 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 637928 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 637928 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 638491 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 642266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 642281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8837017936356469501.key 642282 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 642290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props16005093376659721715.key 642290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.2ns 642291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 645631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16005093376659721715.key 645632 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 645636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17979508575082637139.key 645636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.3ns 645636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 648936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17979508575082637139.key 648938 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 648941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props4926896923323290908.key 648941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.3ns 648942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 652311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4926896923323290908.key 652312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 652317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 652317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props9027326584186908360.key 652317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.6ns 652318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 655681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9027326584186908360.key 655682 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 655685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props3781848830937061098.key 655685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.8ns 655686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 659140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3781848830937061098.key 659142 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 659144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props8711537846637915884.key 659144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.3ns 659145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 662569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8711537846637915884.key 662573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 662575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props9677696475232975826.key 662575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72ns 662576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 666035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9677696475232975826.key 666037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 666039 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 666040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props5818758949215160193.key 666040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.2ns 666041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 669418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5818758949215160193.key 669420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 669423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props2521903870504179836.key 669423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.3ns 669424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 672860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2521903870504179836.key 672861 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 672864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props8992759331395772175.key 672864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.7ns 672864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 676312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8992759331395772175.key 676314 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 676317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 676318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props4697606105383934915.key 676318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.5ns 676319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 679825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4697606105383934915.key 679827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 679829 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 679830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props5786623202964735104.key 679830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.6ns 679831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 683283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5786623202964735104.key 683286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 683291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props13572935930474252711.key 683291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.5ns 683292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 686758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13572935930474252711.key 686759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 686762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props18299501121905633641.key 686762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54ns 686762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 690244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props18299501121905633641.key 690246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 690250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props1829704355197497565.key 690250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.5ns 690250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 693729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1829704355197497565.key 693730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 693733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props5950673068027132014.key 693733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.7ns 693734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 697181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5950673068027132014.key 697182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 697185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props13857307867684619371.key 697185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.7ns 697185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 700616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13857307867684619371.key 700619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns 700622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props3907827242861931679.key 700622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.2ns 700623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 704066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3907827242861931679.key 704067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 704074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props846177852036789503.key 704074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.2ns 704076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 707583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props846177852036789503.key 707584 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 707591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props7272703597211540818.key 707591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.9ns 707592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 711093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7272703597211540818.key 711095 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 711097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props15066646495143814331.key 711097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.7ns 711098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 714555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15066646495143814331.key 714556 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 714559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props17432428478235216593.key 714559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.3ns 714560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 717982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17432428478235216593.key 717983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 717986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props300803306058825229.key 717986 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.8ns 717992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 721544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props300803306058825229.key 721545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 721565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props5678524914837354631.key 721565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.9ns 721565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 725063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5678524914837354631.key 725065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 725070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props14534413696973487743.key 725070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.6ns 725071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 728511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14534413696973487743.key 728513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 728518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props6674199763909602393.key 728518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.2ns 728519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 731999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6674199763909602393.key 732001 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 732003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props14070951138933761748.key 732003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.3ns 732004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 735387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14070951138933761748.key 735388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 735390 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 735391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props5828660137354333774.key 735391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.1ns 735392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 738936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5828660137354333774.key 738937 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 738940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props13695627963775691378.key 738941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.6ns 738943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 742362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13695627963775691378.key 742363 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 742366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props11314343235407044630.key 742366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.3ns 742367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 745751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 745765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11314343235407044630.key 745767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 745769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props3680353489358250215.key 745769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75ns 745770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 749208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3680353489358250215.key 749209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 749211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 749211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props4492668311491942474.key 749211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.5ns 749212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 752612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4492668311491942474.key 752613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 752616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props13434030329979472343.key 752616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.4ns 752616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 756093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13434030329979472343.key 756095 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 756098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props11894724390455099243.key 756098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.1ns 756099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 759524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11894724390455099243.key 759525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 759527 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 759528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props3926341428088924484.key 759528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.1ns 759529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 762912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3926341428088924484.key 762913 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 762915 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 762916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props12759782435043773966.key 762916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 43.4ns 762916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 766355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12759782435043773966.key 766357 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 766360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props5246098001404413989.key 766360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.5ns 766361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 769772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5246098001404413989.key 769773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 769776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props4389419143055689783.key 769776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.8ns 769777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 773238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 773252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4389419143055689783.key 773254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 773256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props10115728697034700958.key 773256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.7ns 773257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 776730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10115728697034700958.key 776732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 776734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props14773914575128766303.key 776734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.7ns 776735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 780159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14773914575128766303.key 780160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 780163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props12417796667698547584.key 780163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57ns 780163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 783518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12417796667698547584.key 783520 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 783522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props13747074921289687773.key 783522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.3ns 783523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 786915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13747074921289687773.key 786917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 786920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props10810426669214468682.key 786920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.1ns 786921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 790401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props10810426669214468682.key 790403 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 790405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props17292359417039304215.key 790406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.3ns 790406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 793859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17292359417039304215.key 793860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 793862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props7129001869590777050.key 793863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.4ns 793863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 797329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7129001869590777050.key 797330 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 797333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props6301858086615173612.key 797333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.5ns 797334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 800814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props6301858086615173612.key 800815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 800818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props11440374443663052307.key 800818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.1ns 800819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 804298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11440374443663052307.key 804299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 804302 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props10214640945839859242.smt2 804303 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props13105291089303761545.smt2 804304 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props15826734890211197312.smt2 804305 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props10233564021244417225.smt2 804306 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props13097872881979890962.smt2 804306 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props9612908181385503349.smt2 804307 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props8240277731669018045.smt2 804308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props3802239288611179938.smt2 804308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props3066905648646701684.smt2 804309 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props15288178137438988010.smt2 804310 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props17265764319530664298.smt2 804311 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props2934594265038930705.smt2 804311 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props4769305405963275113.smt2 804312 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props11823111975307476954.smt2 804313 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props14170310969680646465.smt2 804314 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props15508202445102412313.smt2 804314 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props1661016746919259019.smt2 804315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props15020388147377788696.smt2 804316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props16613017782165513514.smt2 804317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props6387852394928475481.smt2 804318 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props8683999290700478448.smt2 804319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props16513428307116934235.smt2 804319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props10680158063037354817.smt2 804320 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props709806339295200425.smt2