Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] ex2.props | testTranslation(TestData)[11] | 0s | passed |
| [12] cast1.props | testTranslation(TestData)[12] | 0s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 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] | 0s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0.004s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0.003s | 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.002s | passed |
| [24] int1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0s | passed |
| [4] float.eq.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0s | passed |
| [9] ex1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] ex2.props | testZ3(TestData)[11] | - | ignored |
| [12] cast1.props | testZ3(TestData)[12] | - | ignored |
| [13] bool1.props | testZ3(TestData)[13] | - | ignored |
| [14] quant1.props | testZ3(TestData)[14] | - | ignored |
| [15] float1.props | testZ3(TestData)[15] | - | ignored |
| [16] ite1.props | testZ3(TestData)[16] | - | ignored |
| [17] upd1.props | testZ3(TestData)[17] | - | ignored |
| [18] upd2.props | testZ3(TestData)[18] | - | ignored |
| [19] heap1.props | testZ3(TestData)[19] | - | ignored |
| [1] types2.props | testZ3(TestData)[1] | - | ignored |
| [20] uninterpreted1.props | testZ3(TestData)[20] | - | ignored |
| [21] bool3.props | testZ3(TestData)[21] | - | ignored |
| [22] bool2.props | testZ3(TestData)[22] | - | ignored |
| [23] cast2.props | testZ3(TestData)[23] | - | ignored |
| [24] int1.props | testZ3(TestData)[24] | - | ignored |
| [2] float.sinDouble.props | testZ3(TestData)[2] | - | ignored |
| [3] quant2.props | testZ3(TestData)[3] | - | ignored |
| [4] float.eq.props | testZ3(TestData)[4] | - | ignored |
| [5] float2.props | testZ3(TestData)[5] | - | ignored |
| [6] float.sqrt1.props | testZ3(TestData)[6] | - | ignored |
| [7] cast3.props | testZ3(TestData)[7] | - | ignored |
| [8] types1.props | testZ3(TestData)[8] | - | ignored |
| [9] ex1.props | testZ3(TestData)[9] | - | ignored |
Standard output
586242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props14467499908281011641.key 586242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.5ns 586243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 586372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 586373 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 586373 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 586915 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 590357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 590378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props14467499908281011641.key 590379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 590386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props10971855010649239521.key 590386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.4ns 590386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 593290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10971855010649239521.key 593291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 593294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17577356944696809076.key 593294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.2ns 593295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 596280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17577356944696809076.key 596281 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 596284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props500288603588368380.key 596284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.3ns 596285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 599251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props500288603588368380.key 599252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 599257 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 599257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props12080089183243659508.key 599258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.3ns 599259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 602210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12080089183243659508.key 602212 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 602214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props16316361533243339661.key 602214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193ns 602215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 605217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props16316361533243339661.key 605218 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 605220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props10738015374892614103.key 605220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.8ns 605221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 608202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10738015374892614103.key 608203 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 608206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props14985864226983594228.key 608206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.2ns 608206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 611235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14985864226983594228.key 611236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns 611237 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 611238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props6274971649253633064.key 611238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.3ns 611239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 614254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6274971649253633064.key 614255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 614257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props11298012562737677686.key 614257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.6ns 614258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 617326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11298012562737677686.key 617327 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 617330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props6679735762093121711.key 617330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.1ns 617330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 620364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6679735762093121711.key 620365 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns 620367 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 620367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props4192744098801184505.key 620367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.6ns 620368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 623408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4192744098801184505.key 623409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 623411 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 623411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props14718458915199554694.key 623411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 47.2ns 623412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 626420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14718458915199554694.key 626421 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 626423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props4090700751409133836.key 626423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.7ns 626424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 629512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4090700751409133836.key 629514 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 629516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props3280596702866668219.key 629516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.1ns 629516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 632589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3280596702866668219.key 632591 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 632594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props4810896126255444064.key 632594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.3ns 632595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 635630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4810896126255444064.key 635631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns 635633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props6292048666568145708.key 635633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.5ns 635634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 638753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6292048666568145708.key 638755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns 638757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props2119392241476224073.key 638757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 41.5ns 638758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 641901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2119392241476224073.key 641902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 641904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props11109314678930867737.key 641904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.6ns 641905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 644980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11109314678930867737.key 644981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 644986 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props8494121358706181943.key 644986 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.9ns 644987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 648084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props8494121358706181943.key 648086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 648088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props7308996047355389509.key 648088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.3ns 648089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 651136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7308996047355389509.key 651137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 651139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props2669674005741271745.key 651139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.5ns 651140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 654219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2669674005741271745.key 654220 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.8ns 654222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props3882346058683821069.key 654222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.3ns 654223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 657511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 657524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3882346058683821069.key 657525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 657527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props9351611025793656281.key 657527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.1ns 657528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 660797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9351611025793656281.key 660798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 660815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props418917812793125395.key 660815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.5ns 660816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 663925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props418917812793125395.key 663927 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 663929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props9699267852661579024.key 663929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.6ns 663930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 666913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9699267852661579024.key 666914 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns 666916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props11427149825912673784.key 666916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 43.5ns 666917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 670037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11427149825912673784.key 670038 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 670040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props16857516785760026256.key 670040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.3ns 670041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 673118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 673130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16857516785760026256.key 673131 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns 673133 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 673133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props6329447833850773651.key 673134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.3ns 673134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 676175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6329447833850773651.key 676176 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 676179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props10631759854676064272.key 676179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.4ns 676179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 679241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10631759854676064272.key 679243 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 679246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props17623798364389241582.key 679246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.3ns 679247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 682202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17623798364389241582.key 682203 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 682205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props11210928869263477984.key 682205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.8ns 682206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 685270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11210928869263477984.key 685271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 685273 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 685273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props9104274029963077226.key 685273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.9ns 685274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 688366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9104274029963077226.key 688367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 688369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props11088193526150485030.key 688369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46.1ns 688370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 691522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11088193526150485030.key 691523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 691526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props2390334321349048119.key 691526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.5ns 691527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 694816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2390334321349048119.key 694817 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 694819 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 694819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props13926020143318387958.key 694819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 43.8ns 694820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 698005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props13926020143318387958.key 698012 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 698013 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 698014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props595604974142588201.key 698014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.5ns 698015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 701155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props595604974142588201.key 701156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 701158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props8688744607835834061.key 701158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.3ns 701159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 704279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8688744607835834061.key 704280 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 704283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props11326641227031021000.key 704283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.5ns 704284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 707364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11326641227031021000.key 707365 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 707367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props12773427049752930267.key 707367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.1ns 707368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 710450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12773427049752930267.key 710452 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns 710454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props18247019483499486389.key 710455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.4ns 710455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 713501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props18247019483499486389.key 713502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 713504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props4076931496859259642.key 713504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55ns 713505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 716622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4076931496859259642.key 716623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns 716625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props13070560023215109520.key 716625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.5ns 716626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 719752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13070560023215109520.key 719753 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 719756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props14521429318861485333.key 719756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.9ns 719757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 722856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14521429318861485333.key 722857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 722859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props1380974481997490937.key 722859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49ns 722860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 725887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1380974481997490937.key 725889 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 725891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props5097119092633815766.key 725891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.7ns 725892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 728969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5097119092633815766.key 728970 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 728972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props16778747206885837365.key 728972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.9ns 728973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 731993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16778747206885837365.key 731996 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 731998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props18206872236187746593.key 731998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.8ns 731999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 735009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18206872236187746593.key 735013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 735016 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props16892124371717367299.smt2 735017 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props7392860279933797994.smt2 735018 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props1210082121314848257.smt2 735018 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props1238962402860740675.smt2 735019 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props1274916502378992775.smt2 735020 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props3720058543706023392.smt2 735020 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props128702441574213032.smt2 735021 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props17905511784700007870.smt2 735021 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props12858300458392269565.smt2 735022 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props5208724518680159625.smt2 735023 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props12880462193187688017.smt2 735023 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props9326647052850591530.smt2 735049 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props17275805562767677004.smt2 735050 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props1814261601226717772.smt2 735051 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props12707283823522182177.smt2 735052 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props11907227075328368326.smt2 735052 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props2172719249148628144.smt2 735053 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props7220420662042233607.smt2 735058 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props17477520174614055758.smt2 735062 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props2356156602665144793.smt2 735063 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props15698795786191581233.smt2 735063 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props5484659905926154009.smt2 735066 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props2458059316529045027.smt2 735066 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props528065845517682962.smt2