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] | 0.001s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] uninterpreted1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] bool3.props | testTranslation(TestData)[21] | 0.001s | passed |
| [22] bool2.props | testTranslation(TestData)[22] | 0s | passed |
| [23] cast2.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] int1.props | testTranslation(TestData)[24] | 0s | passed |
| [2] float.sinDouble.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] float.eq.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0s | passed |
| [9] ex1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] ex2.props | testZ3(TestData)[11] | - | ignored |
| [12] cast1.props | testZ3(TestData)[12] | - | ignored |
| [13] bool1.props | testZ3(TestData)[13] | - | ignored |
| [14] quant1.props | testZ3(TestData)[14] | - | ignored |
| [15] float1.props | testZ3(TestData)[15] | - | ignored |
| [16] ite1.props | testZ3(TestData)[16] | - | ignored |
| [17] upd1.props | testZ3(TestData)[17] | - | ignored |
| [18] upd2.props | testZ3(TestData)[18] | - | ignored |
| [19] heap1.props | testZ3(TestData)[19] | - | ignored |
| [1] types2.props | testZ3(TestData)[1] | - | ignored |
| [20] uninterpreted1.props | testZ3(TestData)[20] | - | ignored |
| [21] bool3.props | testZ3(TestData)[21] | - | ignored |
| [22] bool2.props | testZ3(TestData)[22] | - | ignored |
| [23] cast2.props | testZ3(TestData)[23] | - | ignored |
| [24] int1.props | testZ3(TestData)[24] | - | ignored |
| [2] float.sinDouble.props | testZ3(TestData)[2] | - | ignored |
| [3] quant2.props | testZ3(TestData)[3] | - | ignored |
| [4] float.eq.props | testZ3(TestData)[4] | - | ignored |
| [5] float2.props | testZ3(TestData)[5] | - | ignored |
| [6] float.sqrt1.props | testZ3(TestData)[6] | - | ignored |
| [7] cast3.props | testZ3(TestData)[7] | - | ignored |
| [8] types1.props | testZ3(TestData)[8] | - | ignored |
| [9] ex1.props | testZ3(TestData)[9] | - | ignored |
Standard output
631490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props9764137419303301054.key 631490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 453ns 631491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 631638 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 631638 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 631638 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 631638 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 632223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 636145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 636165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9764137419303301054.key 636168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 636175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props18100514083035216320.key 636176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.8ns 636176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 639589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props18100514083035216320.key 639592 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 639597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props10654887583844199282.key 639597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.1ns 639597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 642992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props10654887583844199282.key 642993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 642996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props12257571366152842261.key 642996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.1ns 642997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 646361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12257571366152842261.key 646362 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 646366 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 646367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props15860939298087265718.key 646367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.6ns 646368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 649817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15860939298087265718.key 649818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 649821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props12845778743280967932.key 649821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.1ns 649821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 653270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12845778743280967932.key 653271 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 653279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props10445486184190995184.key 653280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.4ns 653281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 656623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10445486184190995184.key 656624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 656627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props5130573958007574258.key 656627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.1ns 656628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 660063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5130573958007574258.key 660065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 660067 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 660067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props5144565767416159542.key 660067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58ns 660068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 663518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props5144565767416159542.key 663521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 663524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props10100622106480512699.key 663524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.6ns 663525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 666894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props10100622106480512699.key 666895 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 666898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props9620318861300806106.key 666898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.6ns 666899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 670336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9620318861300806106.key 670337 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 670339 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 670340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props15960865072647591909.key 670340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.6ns 670340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 673782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 673797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15960865072647591909.key 673798 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 673800 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 673800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props10846544507071518864.key 673801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173ns 673801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 677274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10846544507071518864.key 677275 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.9ns 677278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props4464401073658234533.key 677278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.5ns 677279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 680724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4464401073658234533.key 680726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 680728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props11523879737211434426.key 680729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.7ns 680729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 684091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11523879737211434426.key 684092 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 684098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props17483646928706541719.key 684099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.3ns 684100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 687516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props17483646928706541719.key 687517 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 687520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props15168075632553667345.key 687520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.3ns 687521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 690928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props15168075632553667345.key 690929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 690932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props10275718740041685045.key 690932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.7ns 690933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 694342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props10275718740041685045.key 694344 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 694347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props5757770647056316271.key 694347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.7ns 694348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 697739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5757770647056316271.key 697741 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 697759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props18016109194770529511.key 697759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.8ns 697760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 701225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props18016109194770529511.key 701226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 701228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props12698309723508041848.key 701229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.5ns 701229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 704618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12698309723508041848.key 704619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 704622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props1912766702572105569.key 704622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.3ns 704622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 708172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1912766702572105569.key 708173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 708176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props1660605231488448689.key 708176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.8ns 708177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 711611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1660605231488448689.key 711612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 711614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props17314587980730073672.key 711614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.1ns 711615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 715082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17314587980730073672.key 715084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 715110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props16214136045733967794.key 715110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74ns 715111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 718648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16214136045733967794.key 718649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 718651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props13992706947028309450.key 718651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58ns 718652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 722076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13992706947028309450.key 722078 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 722081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17110060830259952513.key 722081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.6ns 722081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 725517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17110060830259952513.key 725520 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 725522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props12167492720185062031.key 725522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.7ns 725523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 728931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 728948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12167492720185062031.key 728950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 728951 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 728952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props7182217671519300922.key 728952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.9ns 728953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 732389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7182217671519300922.key 732391 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.6ns 732393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props14561290569202338581.key 732393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.7ns 732394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 735803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 735819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props14561290569202338581.key 735820 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 735823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props8349895650175714226.key 735823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58ns 735823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 739279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8349895650175714226.key 739281 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 739285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props15192096128176844984.key 739285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.5ns 739286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 742782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15192096128176844984.key 742784 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 742786 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 742787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props13872891737680330979.key 742787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.9ns 742788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 746369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props13872891737680330979.key 746370 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 746373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props2913113752520859792.key 746373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns 746373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 749865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props2913113752520859792.key 749866 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 749869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props17778688735247526202.key 749869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.8ns 749870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 753366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17778688735247526202.key 753368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 753370 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 753370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props12350360912526829388.key 753370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.8ns 753373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 756849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12350360912526829388.key 756850 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 756851 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 756852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props10152111398195740662.key 756852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.7ns 756853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 760374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10152111398195740662.key 760375 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 760377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props13652899895100529657.key 760377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71ns 760378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 763874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13652899895100529657.key 763876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.3ns 763878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props1857167091758483183.key 763878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.7ns 763879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 767330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1857167091758483183.key 767331 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 767333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props16391883122798639823.key 767333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.6ns 767334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 770875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 770889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props16391883122798639823.key 770891 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 770893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props9892734271648042217.key 770893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.5ns 770894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 774325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props9892734271648042217.key 774327 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 774329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props11077730426064983015.key 774329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.8ns 774330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 777750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 777769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11077730426064983015.key 777771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 777774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props16534557892207468221.key 777774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.4ns 777775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 781257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props16534557892207468221.key 781258 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 781262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props517487226412784300.key 781262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.9ns 781263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 784619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 784637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props517487226412784300.key 784638 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 784641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props15238195533185186295.key 784641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.6ns 784642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 788094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 788109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15238195533185186295.key 788110 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 788112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props8397540635995380781.key 788112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.4ns 788113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 791699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props8397540635995380781.key 791700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 791703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props12106394662328343424.key 791703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.9ns 791704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 795078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12106394662328343424.key 795079 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 795081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props2261409848535278741.key 795082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.4ns 795082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 798557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 798573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2261409848535278741.key 798574 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 798578 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props8853959254603821583.smt2 798579 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props15579974269600320449.smt2 798580 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props6222239173541299118.smt2 798581 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props5698344085461969413.smt2 798582 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props8700164516213785686.smt2 798583 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props396874597259218581.smt2 798584 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props11335734786916199582.smt2 798585 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props15401188378081926398.smt2 798585 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props6395598485189664100.smt2 798586 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props10019373118062732656.smt2 798587 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props15679674178208924542.smt2 798587 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props15059878503755118557.smt2 798588 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props8554860521399809891.smt2 798589 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props14798346791316692354.smt2 798590 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props7469548687335742180.smt2 798591 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props11756055199248491732.smt2 798592 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props7576497038080240688.smt2 798592 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props772128515976373041.smt2 798593 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props8057046638295519043.smt2 798594 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props17833044245067294527.smt2 798597 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props7303454226212563089.smt2 798598 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props17729235421372026105.smt2 798599 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props17321183476648679701.smt2 798600 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props9900458411894290196.smt2