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] | 0s | passed |
| [12] float.sinDouble.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] int1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0s | 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] | 0s | 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] | 0.001s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0s | passed |
| [8] upd1.props | testTranslation(TestData)[8] | 0.001s | 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
457876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props15573153964443895169.key 457876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.3ns 457877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 457986 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 457987 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 457987 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 457988 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 458385 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 461183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 461196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props15573153964443895169.key 461197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 461203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props10193097015811330170.key 461203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.3ns 461204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 463585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.38s 463602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10193097015811330170.key 463603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 463606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props16933689495416614099.key 463606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239ns 463607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 465966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.36s 465978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props16933689495416614099.key 465979 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 465981 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 465981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props6098960550482164793.key 465981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.6ns 465982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 468369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.39s 468381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6098960550482164793.key 468382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 468385 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 468385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props2291442146434336292.key 468386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57ns 468386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 470762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.38s 470774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2291442146434336292.key 470775 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 470778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props15940510868792208072.key 470778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.1ns 470778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 473212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s 473225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15940510868792208072.key 473226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 473228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props16181454789120796845.key 473228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.7ns 473229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 475617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.39s 475630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16181454789120796845.key 475631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 475633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props18215569092185108129.key 475633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64ns 475634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 478101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 478113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props18215569092185108129.key 478114 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 478116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props2126017658480424410.key 478116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.2ns 478117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 480520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.4s 480531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2126017658480424410.key 480532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 480534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props13572709659157490264.key 480535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.5ns 480535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 483018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 483030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13572709659157490264.key 483031 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 483035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props4400153106844776978.key 483035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.6ns 483035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 485455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 485467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4400153106844776978.key 485468 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 485470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props7508705420334385256.key 485470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.5ns 485471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 487972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 487984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7508705420334385256.key 487985 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 487987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props8481655584634949118.key 487987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64.4ns 487988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 490491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 490503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props8481655584634949118.key 490504 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 490506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props12045969415555387503.key 490506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66ns 490507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 492926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 492938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12045969415555387503.key 492939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 492941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props1339318616195627356.key 492941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.5ns 492942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 495441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 495453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1339318616195627356.key 495454 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 495457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props6296962569756549603.key 495457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.8ns 495458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 497956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 497968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6296962569756549603.key 497969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 497975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props5641565329289337599.key 497975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.5ns 497975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 500400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 500412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5641565329289337599.key 500413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 500415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props11943651820555010590.key 500415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.1ns 500416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 502922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 502934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props11943651820555010590.key 502935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 502937 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 502937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props13766435825757597147.key 502937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53ns 502938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 505432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 505444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13766435825757597147.key 505445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 505447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props7792915547229642026.key 505447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.4ns 505448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 507870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 507882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7792915547229642026.key 507883 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 507884 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 507885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props15031137337754800182.key 507885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.5ns 507886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 510399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 510411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15031137337754800182.key 510413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 510415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props13954267799887217780.key 510415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.3ns 510415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 512908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 512920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13954267799887217780.key 512924 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 512926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props234688866271654212.key 512926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58ns 512927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 515335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.41s 515347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props234688866271654212.key 515348 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 515350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props2593401567180437291.key 515350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.7ns 515350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 517842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 517855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2593401567180437291.key 517856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 517874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props18376212854326549581.key 517874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.4ns 517875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 520355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 520367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18376212854326549581.key 520368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 520370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props13582752658465141193.key 520370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.9ns 520370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 522859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 522871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props13582752658465141193.key 522872 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 522874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props13548067508738097567.key 522874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.9ns 522875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 525366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props13548067508738097567.key 525367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 525369 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 525369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props10694798653987768235.key 525369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46.4ns 525370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 527770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.4s 527782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10694798653987768235.key 527783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 527785 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 527785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props1081586050154902081.key 527785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.3ns 527786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 530265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 530277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1081586050154902081.key 530278 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 530280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props18352899588631254843.key 530280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.3ns 530281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 532775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 532787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props18352899588631254843.key 532788 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 532790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props2291706928154624999.key 532790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.3ns 532791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 535270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 535282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2291706928154624999.key 535283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 535285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props5712128844629786091.key 535285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.1ns 535286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 537766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 537778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5712128844629786091.key 537779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 537781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props12313884215430216770.key 537781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.8ns 537782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 540254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 540266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12313884215430216770.key 540269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 540271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props8500217646845860917.key 540271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.7ns 540271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 542748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 542760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8500217646845860917.key 542762 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 542765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props6273376569951637118.key 542765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.4ns 542765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 545231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 545243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props6273376569951637118.key 545244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 545246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props12152200533083952922.key 545246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.4ns 545246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 547647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.4s 547659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props12152200533083952922.key 547660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 547662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props5106596439743760163.key 547662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.3ns 547663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 550153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5106596439743760163.key 550154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 550156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props17391539226097779648.key 550156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.9ns 550157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 552696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17391539226097779648.key 552697 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 552699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props11744013877842743579.key 552699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.3ns 552700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 555200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11744013877842743579.key 555201 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 555203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props17514914112372688622.key 555203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.8ns 555204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 557688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17514914112372688622.key 557689 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 557692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props12288146638614940877.key 557692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.8ns 557692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 560178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12288146638614940877.key 560179 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 560181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props4373197013798182370.key 560181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.3ns 560182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 562652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 562664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4373197013798182370.key 562665 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 562666 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 562667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props15012280976251633140.key 562667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.3ns 562668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 565139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 565219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15012280976251633140.key 565221 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 565222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props4884305946331506233.key 565223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.2ns 565223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 567705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4884305946331506233.key 567706 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 567708 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 567708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props3774684020999370338.key 567708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.7ns 567709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 570196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3774684020999370338.key 570197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 570199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props15201713820135939117.key 570199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.2ns 570200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 572696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props15201713820135939117.key 572697 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 572699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props565434472332937742.key 572699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.4ns 572700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 575188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 575200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props565434472332937742.key 575201 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 575203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props12321695942803653663.key 575203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.6ns 575203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 577702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12321695942803653663.key 577703 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 577705 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props11615398846826467338.smt2 577706 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props16024381954254929649.smt2 577707 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props10315853265296180295.smt2 577708 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props911917690127401636.smt2 577708 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props9630085789247015757.smt2 577709 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props5931123806067593672.smt2 577709 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props4115295967374699909.smt2 577710 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props3946809830481248043.smt2 577710 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props18007004167097445556.smt2 577711 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props1765727231912040510.smt2 577711 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props9143117136706862786.smt2 577712 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props1240000268239627262.smt2 577712 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props5689952128760477844.smt2 577713 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props1541438178073444941.smt2 577714 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props18125575532584533490.smt2 577714 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props3277568689700024414.smt2 577715 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props12671950996040671188.smt2 577715 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props17709805221746757348.smt2 577716 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props4029035671471680443.smt2 577716 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props236359026214401001.smt2 577717 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props12058850472004412657.smt2 577717 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props14051681716919291076.smt2 577718 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props7351865827214643940.smt2 577718 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props15558067626765421666.smt2