Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] heap1.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt2.props | testTranslation(TestData)[11] | 0.004s | 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] | 0s | 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] | 0.005s | 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] | 0s | passed |
| [3] float2.props | testTranslation(TestData)[3] | 0s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0.001s | 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
575706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props2371515787571554852.key 575706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.9ns 575706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 575834 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 575835 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 575835 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 575835 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 576326 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 579832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 579848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2371515787571554852.key 579849 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 579856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props17149031338473899649.key 579856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.2ns 579857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 582974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17149031338473899649.key 582976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 582981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props3646879651174265190.key 582981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.71ns 582982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 586079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3646879651174265190.key 586080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 586083 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 586083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props18124726394668524166.key 586083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.8ns 586084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 589063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props18124726394668524166.key 589064 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 589068 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 589069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props18187115525281678681.key 589069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.91ns 589070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 592251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props18187115525281678681.key 592252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 592255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props17991528700601620756.key 592255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.4ns 592256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 595396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 595415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props17991528700601620756.key 595416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 595419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props7673483408557591660.key 595420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 485.22ns 595420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 598578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 598595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7673483408557591660.key 598596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 598605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props280675381916565050.key 598605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.21ns 598607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 601592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props280675381916565050.key 601593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 601596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props9796137545481022897.key 601596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.7ns 601596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 604607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 604624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9796137545481022897.key 604625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 604627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props3039312577508276817.key 604628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.91ns 604628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 607745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3039312577508276817.key 607746 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 607754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props16817767596835265784.key 607754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.6ns 607755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 610999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16817767596835265784.key 611000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 611012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props4585563763106863333.key 611012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.31ns 611013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 614303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props4585563763106863333.key 614305 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 614307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props14684319401423940844.key 614307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.1ns 614308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 617403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14684319401423940844.key 617405 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 617415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props13064855760703275419.key 617417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.63ms 617419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 620633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13064855760703275419.key 620634 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 620639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props13928621082604530095.key 620639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.81ns 620641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 623849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13928621082604530095.key 623850 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 623856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props2762910022604039858.key 623857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.31ns 623858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 626894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2762910022604039858.key 626896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 626898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props15134780940289314740.key 626898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.01ns 626899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 629908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15134780940289314740.key 629909 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 629912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props18283744055904653262.key 629912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.1ns 629912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 632947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props18283744055904653262.key 632955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 632957 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 632958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props7050904012068123002.key 632958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.81ns 632959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 635901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7050904012068123002.key 635902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 635909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props10807360477581052073.key 635909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.41ns 635910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 639036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10807360477581052073.key 639037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 639039 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 639039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props7549584956043468828.key 639039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.7ns 639040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 642128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7549584956043468828.key 642130 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 642132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props7127977136805704248.key 642132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.81ns 642133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 645240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7127977136805704248.key 645247 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 645250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props3207912977229364663.key 645250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.71ns 645251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 648496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 648511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3207912977229364663.key 648513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 648515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props18141259633306446853.key 648515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.31ns 648516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 651500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 651515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props18141259633306446853.key 651516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 651531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props11183645652356540527.key 651531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.5ns 651531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 654769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 654790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11183645652356540527.key 654792 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 654799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props9638436420122914813.key 654799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309.11ns 654800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 658061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9638436420122914813.key 658062 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 658065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props12592036158284715833.key 658065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.1ns 658065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 661446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12592036158284715833.key 661447 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 661449 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 661451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props10819636590814282230.key 661451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.31ns 661452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 664710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10819636590814282230.key 664712 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 664715 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 664715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props9491320968730867648.key 664715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.6ns 664716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 667890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9491320968730867648.key 667892 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 667897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props1773314800244492463.key 667897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323.91ns 667898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 670932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props1773314800244492463.key 670933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 670935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props13616567517599729828.key 670935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.7ns 670936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 673914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 673931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13616567517599729828.key 673933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 673943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props14363002460098487421.key 673945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.91ms 673946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 676996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14363002460098487421.key 677006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 677009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props10686991935983344063.key 677009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 619.12ns 677010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 680004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props10686991935983344063.key 680006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 680008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props4930574259986860969.key 680008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152ns 680009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 683092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4930574259986860969.key 683097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 683102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props17143620424030770128.key 683102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.41ns 683103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 686081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17143620424030770128.key 686083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 686085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props10209061339360010285.key 686085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.41ns 686086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 689183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10209061339360010285.key 689185 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 689188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props17572508929415923182.key 689189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.81ns 689190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 692170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 692184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props17572508929415923182.key 692186 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 692188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props15802454730022906834.key 692188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.2ns 692188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 695312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15802454730022906834.key 695313 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 695316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props4603999745665420076.key 695316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.1ns 695316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 698426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props4603999745665420076.key 698428 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 698430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props13441361389626560416.key 698430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.7ns 698430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 701521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13441361389626560416.key 701523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 701525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props8145812573699384593.key 701525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.81ns 701526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 704699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8145812573699384593.key 704700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 704704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props7078520289081637552.key 704704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.6ns 704705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 707756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7078520289081637552.key 707757 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 707760 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 707761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props9046242969178765832.key 707761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.91ns 707762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 711152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9046242969178765832.key 711155 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 711159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props1388650375130612800.key 711159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134ns 711160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 714443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1388650375130612800.key 714445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 714447 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 714447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props16833841491175814692.key 714447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.8ns 714448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 717413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16833841491175814692.key 717414 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 717416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props10614265558492285352.key 717416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.5ns 717417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 720429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10614265558492285352.key 720431 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 720435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props4981918039261717771.key 720436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.41ns 720437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 723483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props4981918039261717771.key 723487 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 723489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props3062088240627985440.key 723490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298.31ns 723491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 726457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3062088240627985440.key 726458 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 726461 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props11601664910843013003.smt2 726462 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props7749569826261819972.smt2 726463 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props14075180196744249957.smt2 726463 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props16504496002550716977.smt2 726464 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props14611800503119765018.smt2 726464 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props12584026950139918565.smt2 726465 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props16294633934603429516.smt2 726466 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props5473019981548374719.smt2 726466 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props1294283056204396378.smt2 726467 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props1463833526487428239.smt2 726468 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props8646674684844357510.smt2 726472 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props17620562169483204726.smt2 726473 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props13775982200433597696.smt2 726474 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props15849491257071768804.smt2 726474 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props1832237513904431663.smt2 726475 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props7925777630176200575.smt2 726476 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props12382526816231210207.smt2 726477 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props10137853275748108783.smt2 726477 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props3865679371064619567.smt2 726478 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props16630713864358138526.smt2 726483 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props4863692010547665079.smt2 726483 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props5021534505906927178.smt2 726484 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props18407271871676031164.smt2 726485 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props10986037821866930960.smt2