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] bool1.props | testTranslation(TestData)[11] | 0s | passed |
| [12] upd1.props | testTranslation(TestData)[12] | 0s | passed |
| [13] float.sinDouble.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float.eq.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] ex1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] quant2.props | testTranslation(TestData)[17] | 0s | passed |
| [18] float.sqrt1.props | testTranslation(TestData)[18] | 0s | passed |
| [19] int1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] float2.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] bool2.props | testTranslation(TestData)[20] | 0s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0s | passed |
| [22] types1.props | testTranslation(TestData)[22] | 0s | passed |
| [23] float1.props | testTranslation(TestData)[23] | 0s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0s | passed |
| [2] uninterpreted1.props | testTranslation(TestData)[2] | 0s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0s | passed |
| [4] cast3.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] ite1.props | testTranslation(TestData)[5] | 0s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] types2.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0s | passed |
| [9] heap1.props | testTranslation(TestData)[9] | 0s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] bool1.props | testZ3(TestData)[11] | - | ignored |
| [12] upd1.props | testZ3(TestData)[12] | - | ignored |
| [13] float.sinDouble.props | testZ3(TestData)[13] | - | ignored |
| [14] float.eq.props | testZ3(TestData)[14] | - | ignored |
| [15] ex1.props | testZ3(TestData)[15] | - | ignored |
| [16] cast2.props | testZ3(TestData)[16] | - | ignored |
| [17] quant2.props | testZ3(TestData)[17] | - | ignored |
| [18] float.sqrt1.props | testZ3(TestData)[18] | - | ignored |
| [19] int1.props | testZ3(TestData)[19] | - | ignored |
| [1] float2.props | testZ3(TestData)[1] | - | ignored |
| [20] bool2.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] types1.props | testZ3(TestData)[22] | - | ignored |
| [23] float1.props | testZ3(TestData)[23] | - | ignored |
| [24] cast1.props | testZ3(TestData)[24] | - | ignored |
| [2] uninterpreted1.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast3.props | testZ3(TestData)[4] | - | ignored |
| [5] ite1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] types2.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] heap1.props | testZ3(TestData)[9] | - | ignored |
Standard output
771619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props16360225610695846629.key 771620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.43ns 771621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771803 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 771803 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 771804 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 771804 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 772407 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 777080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 777096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16360225610695846629.key 777097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 777106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props1470631345113692592.key 777106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.3ns 777107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 781276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1470631345113692592.key 781278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 781281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props9978369590154972076.key 781281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74ns 781282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 785442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9978369590154972076.key 785443 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 785445 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 785445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props490352477426192832.key 785445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.31ns 785446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 789641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 789657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props490352477426192832.key 789658 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 789665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props3528891983731963866.key 789665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.02ns 789666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 793872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3528891983731963866.key 793873 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 793876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props15818752743565663647.key 793876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.41ns 793876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 798118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 798134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15818752743565663647.key 798135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 798138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props8344988987472151115.key 798138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.81ns 798138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 802405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8344988987472151115.key 802406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 802409 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 802410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props1376861718602519490.key 802410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.6ns 802410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 806629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1376861718602519490.key 806630 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 806633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props7363367297122154667.key 806633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.7ns 806634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 810929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7363367297122154667.key 810930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 810935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props17886320410780193572.key 810935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.91ns 810936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 815218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 815234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17886320410780193572.key 815235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 815238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props9206122785723584135.key 815238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.5ns 815239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 819528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 819543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9206122785723584135.key 819544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 819546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props7797545018668311547.key 819546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.4ns 819548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 823840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 823855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7797545018668311547.key 823857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 823859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props13006703939406198522.key 823859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.31ns 823860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 828156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 828171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13006703939406198522.key 828172 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 828175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props2189463835616541433.key 828175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.9ns 828176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 832449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 832464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2189463835616541433.key 832465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 832467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props12339780889643605859.key 832467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.1ns 832468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 836765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props12339780889643605859.key 836766 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 836769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props12151596183781801212.key 836769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.31ns 836770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 841041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12151596183781801212.key 841042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 841050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17286979241279529088.key 841050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.62ns 841051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 845328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 845343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17286979241279529088.key 845344 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 845346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props240308482735300789.key 845346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.1ns 845347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 849616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 849631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props240308482735300789.key 849632 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 849634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props7588258047366067157.key 849634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.11ns 849635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 853908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 853923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7588258047366067157.key 853924 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 853926 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 853926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props8382411782971521223.key 853926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.6ns 853927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 858193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 858208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8382411782971521223.key 858209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 858211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props7399727933331825389.key 858211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73ns 858212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 862445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 862460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7399727933331825389.key 862461 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 862464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props9427777074874352284.key 862464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.4ns 862464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 866740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 866756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9427777074874352284.key 866761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 866764 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 866765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props11442642663410820413.key 866765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.41ns 866765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 871014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11442642663410820413.key 871015 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 871017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props5560668928503591866.key 871017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.81ns 871018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 875253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 875269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5560668928503591866.key 875270 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 875288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props2948879843976422670.key 875288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87ns 875289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 879568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 879583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2948879843976422670.key 879584 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 879586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props3503852216216858700.key 879586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71ns 879587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 883849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 883864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3503852216216858700.key 883865 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 883867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props15482941425592275373.key 883867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.3ns 883868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 888192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15482941425592275373.key 888193 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 888195 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 888195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props11873053424316364613.key 888196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.4ns 888196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 892465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11873053424316364613.key 892466 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 892468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props12734700134626902310.key 892468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.7ns 892469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 896714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 896729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12734700134626902310.key 896730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.6ns 896732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props14881302888115055409.key 896732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.31ns 896733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 900970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 900986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14881302888115055409.key 900987 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 900989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props6298178676528210144.key 900989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.7ns 900990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 905305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 905320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6298178676528210144.key 905321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 905323 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 905323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props13154171590690668287.key 905323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.6ns 905324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 909576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 909591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13154171590690668287.key 909592 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 909594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props11649920143819196122.key 909594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.41ns 909595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 913815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 913830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11649920143819196122.key 913832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 913835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props40844549647280752.key 913835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.3ns 913836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 918133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 918148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props40844549647280752.key 918149 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 918152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props7267287037380212262.key 918152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.91ns 918152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 922355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 922370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7267287037380212262.key 922372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 922374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props8368732935235470380.key 922374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.1ns 922375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 926601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 926616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8368732935235470380.key 926617 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 926619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props15055392951592094150.key 926620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.5ns 926620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 930915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 930930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15055392951592094150.key 930931 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 930934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props11416368784613678793.key 930934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.91ns 930934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 935129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 935143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props11416368784613678793.key 935145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 935147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props1488863110186123031.key 935147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.71ns 935148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 939436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 939452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1488863110186123031.key 939453 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 939455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props11776697359982973759.key 939455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.7ns 939456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 943721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 943736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props11776697359982973759.key 943737 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 943740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props15771117050168714955.key 943740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.4ns 943740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 948070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 948085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15771117050168714955.key 948086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 948089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props10811182003481873917.key 948089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.7ns 948089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 952347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 952362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10811182003481873917.key 952364 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 952366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props3671860970588223428.key 952367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.61ns 952368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 956684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 956700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3671860970588223428.key 956701 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 956702 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 956703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props16085260520571470943.key 956703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75ns 956704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 960940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16085260520571470943.key 960941 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 960943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props10681416982342448711.key 960943 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.61ns 960944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 965267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 965282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10681416982342448711.key 965283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 965285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props896875145749989318.key 965286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.81ns 965286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 969594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 969609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props896875145749989318.key 969610 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 969611 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 969612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props7303624141431397390.key 969612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.11ns 969613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 973845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 973862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props7303624141431397390.key 973863 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 973865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props12746729233802311315.key 973866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.2ns 973866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 978161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 978176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12746729233802311315.key 978177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 978181 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props13407864940454808008.smt2 978185 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props7945930280847123312.smt2 978186 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props13264572314985311332.smt2 978187 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props688555527918166277.smt2 978188 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props204164608523292036.smt2 978188 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props4022721878424284131.smt2 978189 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props14538325898608237058.smt2 978190 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props2954459033466380316.smt2 978190 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props13590141910328839552.smt2 978191 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props15411278907674809212.smt2 978192 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props1871980916265667680.smt2 978193 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props12087826194488551646.smt2 978193 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props17033185578413228267.smt2 978194 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props5984804928773404934.smt2 978195 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props4489286543684222683.smt2 978196 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props18395917827441086802.smt2 978197 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props15796849154430206093.smt2 978198 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props16231371654187530740.smt2 978199 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props4343032707011774554.smt2 978199 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props10180668631131304087.smt2 978201 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props9262401166546147259.smt2 978201 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props10800371627444549594.smt2 978202 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props11967416071336116641.smt2 978203 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props512968013171665217.smt2