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] | 0s | 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] | 0s | passed |
| [21] bool3.props | testTranslation(TestData)[21] | 0s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0.001s | 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] | 0.001s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 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
614762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props12257364944154912732.key 614762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.7ns 614763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614923 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 614923 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 614924 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 614924 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 615619 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 619156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 619178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12257364944154912732.key 619180 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 619193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props13494699764985843786.key 619194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.03ms 619195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 622831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13494699764985843786.key 622832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 622842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props13303405122456947622.key 622843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.2ns 622844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 626119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13303405122456947622.key 626121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 626127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props96648291572637998.key 626127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.4ns 626128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 630012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props96648291572637998.key 630013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 630018 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 630019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props8377505189988963066.key 630019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.5ns 630020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 633306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props8377505189988963066.key 633307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 633310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props465894835038980308.key 633310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.5ns 633311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 636584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props465894835038980308.key 636587 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 636591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props828245363869766039.key 636591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.8ns 636593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 639910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props828245363869766039.key 639912 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 639914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props5195288453937470015.key 639914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.5ns 639915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 643192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5195288453937470015.key 643209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 643220 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 643221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props11796559780063281061.key 643221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.8ns 643223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 646984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11796559780063281061.key 646985 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.4ns 646988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props3531527925516953488.key 646988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.4ns 646989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 650233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3531527925516953488.key 650235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 650238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props6764046309172140686.key 650238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.9ns 650240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 653772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6764046309172140686.key 653773 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 653775 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 653776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props3278622474229894814.key 653776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.1ns 653777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 657359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3278622474229894814.key 657361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 657363 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 657364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props9462527733037124837.key 657366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.24ms 657367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 660905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9462527733037124837.key 660906 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 660910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props2922827084271419779.key 660910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.2ns 660911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 664337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props2922827084271419779.key 664342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 664351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props10299133523448082760.key 664351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.5ns 664352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 667907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10299133523448082760.key 667909 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 667913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props13332959562621200694.key 667913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65ns 667914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 671083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13332959562621200694.key 671084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 671086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props18037161657550703968.key 671087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.6ns 671088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 674476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props18037161657550703968.key 674478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 674483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props14201032563456472200.key 674483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.4ns 674484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 677985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14201032563456472200.key 677986 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 677988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props1945458912031131055.key 677989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.9ns 677991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 681319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1945458912031131055.key 681321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 681330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props16911867717824495711.key 681330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.2ns 681331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 684757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16911867717824495711.key 684759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 684761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props2743450589882238851.key 684762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.6ns 684763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 688041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2743450589882238851.key 688043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 688046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props18305262232082025928.key 688046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.1ns 688046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 691238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props18305262232082025928.key 691246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 691249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props18110853811978663360.key 691249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.1ns 691250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 694666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props18110853811978663360.key 694668 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 694680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props17618637854391644386.key 694680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.2ns 694681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 697954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17618637854391644386.key 697955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 697976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props10898985711751954258.key 697977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.1ns 697977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 701331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10898985711751954258.key 701333 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 701336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props5614860409645728257.key 701336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 609.11ns 701337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 704829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5614860409645728257.key 704831 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 704834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props15560950794325823908.key 704834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.6ns 704835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 708125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15560950794325823908.key 708127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 708130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props12100103028059047203.key 708131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 363.3ns 708132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 711463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12100103028059047203.key 711465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 711467 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 711468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props9654212113927862811.key 711468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.5ns 711469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 714762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9654212113927862811.key 714763 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 714766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props17275015147244962368.key 714766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.3ns 714767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 718112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17275015147244962368.key 718113 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 718116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props9181590864125553597.key 718117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.2ns 718117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 721474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9181590864125553597.key 721475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 721477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props402326681869197863.key 721478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.7ns 721478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 724745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props402326681869197863.key 724746 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 724748 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 724749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props17461295856376044224.key 724749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.9ns 724750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 728133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17461295856376044224.key 728134 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 728137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props3320269086884894269.key 728137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.5ns 728138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 731660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3320269086884894269.key 731661 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 731664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props8554995927315684768.key 731664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.3ns 731665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 734996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8554995927315684768.key 734997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 734999 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 735000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props10386717704261566467.key 735000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.5ns 735001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 738312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 738328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10386717704261566467.key 738329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 738331 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 738332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props15146821162403647726.key 738332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.5ns 738333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 741684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15146821162403647726.key 741685 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 741688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props10804498118644686216.key 741688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.6ns 741689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 744941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10804498118644686216.key 744942 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 744945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props522195906391558759.key 744945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.6ns 744946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 748363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props522195906391558759.key 748364 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.1ns 748367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props13022247351699132138.key 748367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69ns 748368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 751764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13022247351699132138.key 751766 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 751769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props3510267710386925714.key 751769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.1ns 751770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 755125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 755141 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3510267710386925714.key 755142 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 755145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props6064885919489183647.key 755145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.6ns 755146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 758571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6064885919489183647.key 758573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 758577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props11764595568544071854.key 758578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 579.61ns 758579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 761897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11764595568544071854.key 761899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 761903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props13016314108249161193.key 761903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.9ns 761904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 765143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13016314108249161193.key 765144 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 765147 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props6537074011018494476.key 765147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.8ns 765150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 768387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6537074011018494476.key 768388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 768391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props4172993491162189461.key 768391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.2ns 768392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 771714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4172993491162189461.key 771715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 771720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props2210402951555392682.key 771721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.8ns 771722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 775051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props2210402951555392682.key 775052 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 775055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props16663979149871205672.key 775055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.4ns 775056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 778564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16663979149871205672.key 778565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 778568 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props1583133412980072449.smt2 778569 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props8861095165804777199.smt2 778570 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props10047291319253318201.smt2 778571 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props7604148248343812692.smt2 778572 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props569955230027230041.smt2 778572 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props1783681114952264592.smt2 778573 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props1022791510394832266.smt2 778574 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props17289540426050343075.smt2 778575 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props15840834602990041373.smt2 778576 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props17447807081933374674.smt2 778577 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props533233121731110870.smt2 778577 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props9893603483574580692.smt2 778578 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props15463214635603053792.smt2 778579 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props2815437706421436162.smt2 778580 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props11868230716720513553.smt2 778581 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props2113673918649973257.smt2 778582 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props12710887618876828073.smt2 778583 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props6406667199089211488.smt2 778583 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props3260628290395170281.smt2 778584 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props8165079512741822654.smt2 778585 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props3536103592433109113.smt2 778586 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props3859939355809995270.smt2 778587 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props1796889715509763595.smt2 778588 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props16960564530286788421.smt2