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.001s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 0s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0s | 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] | 0.001s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] cast2.props | testTranslation(TestData)[23] | 0s | passed |
| [24] int1.props | testTranslation(TestData)[24] | 0s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0s | 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] | 0s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0s | 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
678475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props11707390971514639951.key 678476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.6ns 678477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678634 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 678635 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 678635 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 678635 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 679322 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 683417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 683436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props11707390971514639951.key 683438 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 683452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props3451324529267130810.key 683452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 643.7ns 683454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 687291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3451324529267130810.key 687292 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 687296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props6169281659985488350.key 687296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.2ns 687299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 690796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6169281659985488350.key 690798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 690802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props10036977925521737121.key 690802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.8ns 690802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 694478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10036977925521737121.key 694482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 694495 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 694496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props11124079482609636677.key 694496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.9ns 694497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 698271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11124079482609636677.key 698273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 698276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props8082671616311615479.key 698276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.3ns 698277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 701965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props8082671616311615479.key 701967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 701970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props12960380289539230729.key 701970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.2ns 701971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 705602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12960380289539230729.key 705604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 705609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props14346375271260732792.key 705609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.5ns 705610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 709366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14346375271260732792.key 709368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 709370 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 709371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props697374898635020296.key 709371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.4ns 709372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 713149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props697374898635020296.key 713151 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 713154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props11065478068394793541.key 713155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.4ns 713156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 716736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11065478068394793541.key 716738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 716741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props5166284851253578735.key 716741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.9ns 716742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 720498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5166284851253578735.key 720500 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 720503 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 720504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props2238790031315929408.key 720504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.5ns 720505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 723971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2238790031315929408.key 723972 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 723974 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 723975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props9037465658806067029.key 723975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.9ns 723976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 727873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9037465658806067029.key 727874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 727878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props4045851587257820240.key 727879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.1ns 727879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 731651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4045851587257820240.key 731652 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 731655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props16228398308070818101.key 731655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.2ns 731656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 735580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16228398308070818101.key 735582 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 735604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props13410381423439496375.key 735607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.54ms 735613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 739638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13410381423439496375.key 739640 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 739643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props1392285244680754535.key 739643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.9ns 739645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 743183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1392285244680754535.key 743184 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 743187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props8687449365010171023.key 743187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.4ns 743188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 746954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8687449365010171023.key 746956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 746959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props3758623291154442727.key 746959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.5ns 746960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 750639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3758623291154442727.key 750641 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 750648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props11544346322145350726.key 750648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.4ns 750648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 754164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11544346322145350726.key 754165 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 754168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props18072835383388768329.key 754168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.9ns 754169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 757941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 757957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props18072835383388768329.key 757960 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 757963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props6546587923532947660.key 757963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.9ns 757964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 761808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6546587923532947660.key 761809 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 761812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props1840562556103701415.key 761812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.1ns 761813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 765285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1840562556103701415.key 765286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 765289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props4598499950783488733.key 765289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.6ns 765290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 768997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4598499950783488733.key 768998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 769035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props2706323626655436676.key 769036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 653ns 769037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 772757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2706323626655436676.key 772758 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 772761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props11113405082630879553.key 772762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.9ns 772763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 776415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11113405082630879553.key 776417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 776419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props11387190351655860137.key 776420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 346.1ns 776421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 780128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 780146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11387190351655860137.key 780148 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.1ns 780153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props3495738190773886673.key 780154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 488.5ns 780156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 783825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3495738190773886673.key 783827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 783830 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 783831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props14495254595000107138.key 783831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.7ns 783834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 787601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14495254595000107138.key 787602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 787605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props5086527700235794338.key 787606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.7ns 787611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 791407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5086527700235794338.key 791410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 791413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props4937185853096709578.key 791413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.8ns 791414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 795204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4937185853096709578.key 795206 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 795208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props3265853686730503031.key 795208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58ns 795209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 799029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3265853686730503031.key 799030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.8ns 799033 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 799034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props13223142874241533057.key 799035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.7ns 799036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 802986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13223142874241533057.key 802987 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 802989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props4684311929178991209.key 802989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.1ns 802990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 806700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4684311929178991209.key 806712 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 806720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props18185755324636621298.key 806721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.7ns 806722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 810651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props18185755324636621298.key 810653 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 810655 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 810655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props8394066329886691848.key 810656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.7ns 810657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 814316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props8394066329886691848.key 814317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 814319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 814320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props14521601671099573586.key 814320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.9ns 814321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 817892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 817913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14521601671099573586.key 817915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27ns 817918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props12980372385925937470.key 817918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.8ns 817919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 821640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props12980372385925937470.key 821642 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 821644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props10038534884745806890.key 821645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.5ns 821645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 825228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10038534884745806890.key 825230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 825233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props17907066513862726160.key 825233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.1ns 825234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 829037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17907066513862726160.key 829039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 829041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props2970216987508142974.key 829042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.5ns 829043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 832619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 832635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props2970216987508142974.key 832637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 832640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props6785123590337570632.key 832640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.7ns 832641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 836509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6785123590337570632.key 836516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 836527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props4713954332849841570.key 836527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.7ns 836529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 840268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4713954332849841570.key 840269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 840274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props11355235416817540537.key 840275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.9ns 840276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 843813 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 843830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props11355235416817540537.key 843831 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 843834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props17535274626928059833.key 843834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.1ns 843835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 847374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 847392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17535274626928059833.key 847393 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 847396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props4704934429733848074.key 847396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.3ns 847397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 850942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4704934429733848074.key 850943 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 850947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props10163220599861051990.key 850947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.3ns 850948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 854488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10163220599861051990.key 854490 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 854492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props10282131254620090770.key 854492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.4ns 854493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 858046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props10282131254620090770.key 858047 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 858050 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props10590382359131688981.smt2 858052 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props4549331462068290179.smt2 858052 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props7945934861290871258.smt2 858053 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props15700036534371376488.smt2 858054 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props4291547500031006027.smt2 858055 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props8557095611860457237.smt2 858056 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props11297204910163803334.smt2 858057 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props18133168608698690552.smt2 858058 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props224474919764571595.smt2 858059 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props15588161645043863597.smt2 858059 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props3318575212210881857.smt2 858060 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props3191077440826402396.smt2 858061 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props11121669423790036773.smt2 858062 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props14437748919759682886.smt2 858063 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props12067533085236548243.smt2 858064 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props12672548917245482147.smt2 858065 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props17351292972739846382.smt2 858065 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props5764766427779511435.smt2 858066 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props4183820231479618156.smt2 858067 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props83747426106080497.smt2 858068 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props9705269012560007960.smt2 858069 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props4803653645353934257.smt2 858070 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props1221777943205448790.smt2 858071 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props18381869042453697527.smt2