Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] heap1.props | testTranslation(TestData)[10] | 0s | passed |
| [11] float.sqrt2.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sinDouble.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] int1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] float.eq.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] bool3.props | testTranslation(TestData)[18] | 0s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] ite1.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] cast1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0s | passed |
| [22] cast2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] ex2.props | testTranslation(TestData)[23] | 0s | passed |
| [24] types2.props | testTranslation(TestData)[24] | 0s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] float2.props | testTranslation(TestData)[3] | 0s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0s | passed |
| [8] upd1.props | testTranslation(TestData)[8] | 0s | passed |
| [9] float1.props | testTranslation(TestData)[9] | 0s | passed |
| [10] heap1.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt2.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sinDouble.props | testZ3(TestData)[12] | - | ignored |
| [13] cast3.props | testZ3(TestData)[13] | - | ignored |
| [14] float.sqrt1.props | testZ3(TestData)[14] | - | ignored |
| [15] int1.props | testZ3(TestData)[15] | - | ignored |
| [16] quant2.props | testZ3(TestData)[16] | - | ignored |
| [17] float.eq.props | testZ3(TestData)[17] | - | ignored |
| [18] bool3.props | testZ3(TestData)[18] | - | ignored |
| [19] types1.props | testZ3(TestData)[19] | - | ignored |
| [1] ite1.props | testZ3(TestData)[1] | - | ignored |
| [20] cast1.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] cast2.props | testZ3(TestData)[22] | - | ignored |
| [23] ex2.props | testZ3(TestData)[23] | - | ignored |
| [24] types2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool1.props | testZ3(TestData)[2] | - | ignored |
| [3] float2.props | testZ3(TestData)[3] | - | ignored |
| [4] bool2.props | testZ3(TestData)[4] | - | ignored |
| [5] ex1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] uninterpreted1.props | testZ3(TestData)[7] | - | ignored |
| [8] upd1.props | testZ3(TestData)[8] | - | ignored |
| [9] float1.props | testZ3(TestData)[9] | - | ignored |
Standard output
491559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props16725505736523548644.key 491559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117ns 491560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 491676 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 491677 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 491677 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 491677 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 492141 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 495049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 495062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16725505736523548644.key 495064 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 495070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props7841809959904116178.key 495070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.8ns 495071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 497574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 497587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7841809959904116178.key 497588 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 497590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props1404104799729580263.key 497590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.8ns 497591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 500090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 500101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1404104799729580263.key 500102 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 500104 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 500105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props5032317762649728723.key 500105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.3ns 500106 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 502755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 502767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5032317762649728723.key 502768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 502771 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 502772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props3156539819700099443.key 502772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.6ns 502773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 505515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 505527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props3156539819700099443.key 505529 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 505532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props7986697917841043361.key 505532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.9ns 505533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 508120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 508134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7986697917841043361.key 508135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 508137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props7728583081112674491.key 508137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.2ns 508138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 510654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 510667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7728583081112674491.key 510669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 510671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props18418007782344909496.key 510671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.4ns 510672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 513304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 513317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props18418007782344909496.key 513318 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 513320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props12196396873475369787.key 513320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.9ns 513321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 516002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 516015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12196396873475369787.key 516016 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 516018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props10699544681097969812.key 516019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.7ns 516019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 518617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 518628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props10699544681097969812.key 518629 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 518634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props7114885690900396464.key 518634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.9ns 518634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 521243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 521254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7114885690900396464.key 521255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 521257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props7705250001334275268.key 521257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.9ns 521258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 523775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 523787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7705250001334275268.key 523788 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 523790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props12808963766705151925.key 523790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.1ns 523791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 526503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 526514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12808963766705151925.key 526516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 526518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props13760597817825450755.key 526518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109ns 526519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 529121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 529134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13760597817825450755.key 529135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 529137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props13216625444980441366.key 529138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46.1ns 529138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 531878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13216625444980441366.key 531879 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 531883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props6283817801857927667.key 531883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113ns 531884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 534453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 534465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6283817801857927667.key 534466 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 534468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props16209015144359485653.key 534468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.4ns 534469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 537055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 537066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props16209015144359485653.key 537067 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 537069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props17929859391370149492.key 537069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.8ns 537070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 539648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 539662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17929859391370149492.key 539663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 539665 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 539665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props17431641547303796615.key 539665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.4ns 539666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 542225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 542235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17431641547303796615.key 542236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 542239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props14785298708308378565.key 542239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.3ns 542240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 544867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props14785298708308378565.key 544869 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 544870 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 544871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props10339921636257474299.key 544871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111ns 544872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 547504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 547516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10339921636257474299.key 547517 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 547519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props452674889930014871.key 547519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.2ns 547519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 550207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props452674889930014871.key 550209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 550211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props5608328674302656774.key 550211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.7ns 550212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 552792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5608328674302656774.key 552793 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 552795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props3220156496528690207.key 552795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.4ns 552795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 555476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3220156496528690207.key 555478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 555494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props12514609779430700078.key 555494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46ns 555494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 558112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12514609779430700078.key 558113 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 558115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props9370471490235951765.key 558115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.9ns 558116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 560626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9370471490235951765.key 560627 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 560629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props1509048944015710327.key 560629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.1ns 560630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 563355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props1509048944015710327.key 563356 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 563358 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 563358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props10378141505594631540.key 563358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.2ns 563359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 566034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10378141505594631540.key 566035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 566037 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 566037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props10129718468922154240.key 566037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.4ns 566038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 568660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10129718468922154240.key 568661 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 568663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props16405162150158853245.key 568663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.6ns 568664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 571333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16405162150158853245.key 571334 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 571335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props235806276348337680.key 571336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.6ns 571336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 573900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props235806276348337680.key 573901 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 573903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props14277097551946156735.key 573903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.6ns 573904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 576692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14277097551946156735.key 576693 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 576696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props5365165423715546272.key 576696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.7ns 576697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 579301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5365165423715546272.key 579302 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 579304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props17157220556186194256.key 579304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.8ns 579305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 581915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17157220556186194256.key 581916 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 581920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props4799064587405196349.key 581920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63ns 581921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 584666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4799064587405196349.key 584667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.7ns 584670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props15368185646941945490.key 584670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.3ns 584671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 587189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 587201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15368185646941945490.key 587202 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 587204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props7263450420534799118.key 587204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.9ns 587204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 589706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7263450420534799118.key 589707 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 589709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props18287152561142825180.key 589709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.4ns 589710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 592324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props18287152561142825180.key 592325 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 592327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props2328844458762174440.key 592327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.7ns 592328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 594910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2328844458762174440.key 594911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 594913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props2456016807052027147.key 594913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.5ns 594914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 597606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2456016807052027147.key 597607 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 597609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props1442453584038440893.key 597609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.5ns 597609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 600303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1442453584038440893.key 600305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns 600307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props6958393623474160911.key 600307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.9ns 600307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 603025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6958393623474160911.key 603026 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 603028 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 603028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props6252710154315568731.key 603028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240ns 603029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 605625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6252710154315568731.key 605626 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 605628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props1239741651243838427.key 605628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86ns 605629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 608306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1239741651243838427.key 608308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 608309 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 608310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props10522825298899890096.key 608310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.2ns 608311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 610955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10522825298899890096.key 610956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 610958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props9695535775022539064.key 610958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.8ns 610959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 613787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props9695535775022539064.key 613788 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 613790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props9018699133966370027.key 613791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.5ns 613791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 616856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9018699133966370027.key 616857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 616859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props8074927770453358936.key 616860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.9ns 616860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619980 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 619993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8074927770453358936.key 619994 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 619997 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props368041834023888628.smt2 619998 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props16318109906844882110.smt2 619999 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props6078975515419785870.smt2 620000 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props7316914298130884976.smt2 620000 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props16454810594641634793.smt2 620001 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props5181796613749778389.smt2 620002 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props10630086086730574171.smt2 620002 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props4783526481271268575.smt2 620003 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props3745151028533935958.smt2 620004 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props13512305414247171799.smt2 620005 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props14815838686201442253.smt2 620005 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props13131074692223001052.smt2 620006 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props13375868734987867403.smt2 620007 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props16375322721149859.smt2 620007 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props10066841024544628074.smt2 620008 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props7910474979437912858.smt2 620009 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props5785610663769543847.smt2 620010 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props3947215855987215999.smt2 620010 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props1887160464909010804.smt2 620011 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props8139648938336650083.smt2 620011 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props16613791944473868199.smt2 620012 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props17193800970132036603.smt2 620013 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props17678312746841377923.smt2 620013 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props8450310321537584653.smt2