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] | 0.001s | passed |
| [12] upd1.props | testTranslation(TestData)[12] | 0.001s | 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] | 0.001s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] quant2.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] float.sqrt1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] int1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] float2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] bool2.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0.001s | 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] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast3.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] ite1.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] types2.props | testTranslation(TestData)[7] | 0s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0s | passed |
| [9] heap1.props | testTranslation(TestData)[9] | 0.001s | 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
939082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props9804692127899015556.key 939082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.5ns 939083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 939282 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 939282 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 939282 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 939282 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 940108 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 945524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.44s 945544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9804692127899015556.key 945546 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 945560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props13169129754918164430.key 945560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.5ns 945563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 950674 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 950693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13169129754918164430.key 950694 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 950700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props8953513205566552241.key 950700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.5ns 950701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 955867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 955885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8953513205566552241.key 955887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 955889 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 955890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props1078052931059724789.key 955890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.8ns 955891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 961002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1078052931059724789.key 961004 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 961009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props1489593176923185046.key 961009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.6ns 961010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 966143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 966162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1489593176923185046.key 966164 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 49.1ns 966166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props8063574941061415488.key 966166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.3ns 966167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 971312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 971332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8063574941061415488.key 971334 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 971337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props7295562322508172042.key 971337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.4ns 971338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 976430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 976450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7295562322508172042.key 976451 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 976454 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 976456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props14264358848115072942.key 976456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.9ns 976457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 981473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 981491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14264358848115072942.key 981493 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 981499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props14002037032475039657.key 981499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.7ns 981500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 986860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 986879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14002037032475039657.key 986880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 986887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props13664774175466553285.key 986887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.4ns 986888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 992082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 992101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13664774175466553285.key 992102 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 992106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props17378015572045786859.key 992106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.6ns 992107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 997294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 997315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17378015572045786859.key 997317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 997320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props10218003004945071455.key 997320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.6ns 997322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1002529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 1002549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10218003004945071455.key 1002550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 1002553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props14032292319511130078.key 1002553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.3ns 1002554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1007712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1007749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14032292319511130078.key 1007752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 1007757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props4837224153967273268.key 1007759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.62ms 1007761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1012917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1012935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props4837224153967273268.key 1012936 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 1012939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props977324069479439661.key 1012939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.8ns 1012940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1018105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 1018125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props977324069479439661.key 1018126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 1018131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props3583376007194485977.key 1018131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.9ns 1018132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1023200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1023221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3583376007194485977.key 1023223 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 1023227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props7439495081035669657.key 1023227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.7ns 1023228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1028365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1028390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7439495081035669657.key 1028395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 1028399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props4691436191803794634.key 1028399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.8ns 1028400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1033525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1033548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4691436191803794634.key 1033550 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 1033552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props7763770066384465753.key 1033552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.6ns 1033553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1038645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 1038664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7763770066384465753.key 1038666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 1038668 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1038669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props17294399350684534525.key 1038669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.6ns 1038670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1043766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 1043784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props17294399350684534525.key 1043786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 93.8ns 1043789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props16790071354969237587.key 1043789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71ns 1043790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1049011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1049034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16790071354969237587.key 1049037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 1049040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props13957816671238083645.key 1049040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.9ns 1049041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1054165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 1054184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13957816671238083645.key 1054186 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 1054188 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1054189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props15272116794907665879.key 1054189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.7ns 1054190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1059323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1059344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props15272116794907665879.key 1059346 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 1059349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props10786089187806398095.key 1059350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.2ns 1059351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1064550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 1064569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10786089187806398095.key 1064571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 1064601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props11721631497469624592.key 1064601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.3ns 1064602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1069817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 1069837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11721631497469624592.key 1069839 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 1069841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props3872243867809777531.key 1069842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.3ns 1069842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1074949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1074968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3872243867809777531.key 1074969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 1074972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props13458052259513432703.key 1074972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.5ns 1074973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1080020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 1080053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13458052259513432703.key 1080054 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 1080057 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1080058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props1748492490262754108.key 1080058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.7ns 1080059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1085222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 1085240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1748492490262754108.key 1085241 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 1085244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props4481774604656058974.key 1085244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.1ns 1085245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1090387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1090406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4481774604656058974.key 1090408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1090411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props18260802490092907365.key 1090411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.8ns 1090412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1095790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 1095812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props18260802490092907365.key 1095814 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1095817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props7998409387474386001.key 1095817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314ns 1095819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1101152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 1101172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7998409387474386001.key 1101173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 1101175 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1101176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props12064112794054908244.key 1101176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.5ns 1101177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1106282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 1106300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12064112794054908244.key 1106301 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 1106304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props11734573471821739175.key 1106304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.9ns 1106305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1111303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 1111321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11734573471821739175.key 1111323 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 1111327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props10455742518629471634.key 1111327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.5ns 1111328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1116398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 1116417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10455742518629471634.key 1116419 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 1116422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props5941780887825357580.key 1116422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.8ns 1116423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1121598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 1121618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5941780887825357580.key 1121621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 1121625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props11290281988638922213.key 1121625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.5ns 1121626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1126807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 1126829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11290281988638922213.key 1126831 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 1126834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props3342530784667316606.key 1126834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.4ns 1126835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1131963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1131981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3342530784667316606.key 1131982 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 1131985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props13647583839114390220.key 1131985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.3ns 1131986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1137112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1137131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13647583839114390220.key 1137132 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 1137135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props17477656968960224998.key 1137135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94ns 1137136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1142272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 1142291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17477656968960224998.key 1142294 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1142298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props5594342558568056280.key 1142298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.2ns 1142299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1147209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 1147228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5594342558568056280.key 1147230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 1147233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props6592797578540747766.key 1147233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340.8ns 1147234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1152430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 1152449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6592797578540747766.key 1152451 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 1152454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props3831431409370036232.key 1152454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.3ns 1152455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1157793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 1157813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3831431409370036232.key 1157815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 1157818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props4431389791476791553.key 1157818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.5ns 1157819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1163083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 1163103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4431389791476791553.key 1163105 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 17.5ns 1163107 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1163108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props3426888877094300535.key 1163108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.8ns 1163109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1168294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 1168317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3426888877094300535.key 1168319 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 1168323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props8529115570071360597.key 1168323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.9ns 1168324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1173648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 1173667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8529115570071360597.key 1173668 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 1173672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props749730115435755047.key 1173672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.3ns 1173672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1178983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 1179004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props749730115435755047.key 1179006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 1179008 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1179009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props16380946777961914835.key 1179009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.2ns 1179010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1184276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 1184295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16380946777961914835.key 1184296 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 1184299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props12749956917032855089.key 1184300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.7ns 1184300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1189434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 1189454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12749956917032855089.key 1189456 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 1189459 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props12467767317902921554.smt2 1189460 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props4334881339709435646.smt2 1189461 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props1794439901169366436.smt2 1189462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props12707562757573764781.smt2 1189463 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props14288205806374254608.smt2 1189464 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props7837717921894280054.smt2 1189465 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props1330662769991127567.smt2 1189466 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props16698567761710493272.smt2 1189466 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props16037240243656844009.smt2 1189467 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props15371966389373788866.smt2 1189473 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props12810529135304716704.smt2 1189473 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props10782330835509767464.smt2 1189474 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props11052279203184369977.smt2 1189475 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props5619956161311701134.smt2 1189476 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props7686415898901887860.smt2 1189477 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props10718985265028578047.smt2 1189478 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props5225549188096912269.smt2 1189479 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props1230159695132372653.smt2 1189480 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props11441951031996656610.smt2 1189481 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props14400489145328049374.smt2 1189482 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props13281660476471207459.smt2 1189483 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props16108845494871627396.smt2 1189484 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props2005993568704156903.smt2 1189485 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props4282388701427816684.smt2