Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] ite1.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.eq.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] types1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0.004s | passed |
| [14] ex2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] uninterpreted1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] int1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] bool3.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] float.sqrt2.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] float2.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] ex1.props | testTranslation(TestData)[21] | 0.009s | passed |
| [22] upd2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] types2.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] float1.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] quant2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] heap1.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] upd1.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] float.sinDouble.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] bool2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.sqrt1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] ite1.props | testZ3(TestData)[10] | - | ignored |
| [11] float.eq.props | testZ3(TestData)[11] | - | ignored |
| [12] types1.props | testZ3(TestData)[12] | - | ignored |
| [13] cast3.props | testZ3(TestData)[13] | - | ignored |
| [14] ex2.props | testZ3(TestData)[14] | - | ignored |
| [15] uninterpreted1.props | testZ3(TestData)[15] | - | ignored |
| [16] cast2.props | testZ3(TestData)[16] | - | ignored |
| [17] int1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] bool3.props | testZ3(TestData)[19] | - | ignored |
| [1] float.sqrt2.props | testZ3(TestData)[1] | - | ignored |
| [20] float2.props | testZ3(TestData)[20] | - | ignored |
| [21] ex1.props | testZ3(TestData)[21] | - | ignored |
| [22] upd2.props | testZ3(TestData)[22] | - | ignored |
| [23] types2.props | testZ3(TestData)[23] | - | ignored |
| [24] cast1.props | testZ3(TestData)[24] | - | ignored |
| [2] bool1.props | testZ3(TestData)[2] | - | ignored |
| [3] float1.props | testZ3(TestData)[3] | - | ignored |
| [4] quant2.props | testZ3(TestData)[4] | - | ignored |
| [5] heap1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd1.props | testZ3(TestData)[6] | - | ignored |
| [7] float.sinDouble.props | testZ3(TestData)[7] | - | ignored |
| [8] bool2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.sqrt1.props | testZ3(TestData)[9] | - | ignored |
Standard output
499975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props9463226674850202564.key 499975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 450.5ns 499976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 500103 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 500103 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 500103 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 500103 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 500680 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 503905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 503921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9463226674850202564.key 503924 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 503932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props3221688413266311319.key 503932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.1ns 503933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 507393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 507406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props3221688413266311319.key 507408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 507410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props8903878183927011562.key 507410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.2ns 507413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 510606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 510620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8903878183927011562.key 510621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 510624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props13678874694327481156.key 510624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.8ns 510625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 513656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 513669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13678874694327481156.key 513671 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 513676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props729710885403627239.key 513676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.6ns 513677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 516568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 516581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props729710885403627239.key 516582 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 516587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props17355556315140392660.key 516587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.1ns 516588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 519513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 519527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17355556315140392660.key 519529 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 519532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props13344444122342767500.key 519532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66ns 519541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 522446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 522464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13344444122342767500.key 522473 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 522476 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 522477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props3592614307870568472.key 522477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.5ns 522478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 525633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3592614307870568472.key 525634 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 525637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props3444010690708474690.key 525637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.3ns 525638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 528519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 528531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3444010690708474690.key 528532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 528534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 528535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props4087146790417284759.key 528535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.5ns 528535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 531410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4087146790417284759.key 531412 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 531414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props17524310634642803314.key 531414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.5ns 531415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 534356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 534368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17524310634642803314.key 534369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 534371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props2061916023088756060.key 534371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 47.7ns 534372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 537407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 537420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2061916023088756060.key 537421 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 537423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props3135533432633744081.key 537423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.5ns 537424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 540502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 540515 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props3135533432633744081.key 540516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 540518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props12605361566945327700.key 540518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.4ns 540519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 543402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 543414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12605361566945327700.key 543415 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 543418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props4250055583848960804.key 543418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.4ns 543419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 546380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4250055583848960804.key 546381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 546385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props10438861205122034673.key 546385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.4ns 546386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 549436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 549449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props10438861205122034673.key 549450 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 549453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props2106535050384072466.key 549453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.4ns 549454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 552531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2106535050384072466.key 552532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 552534 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 552534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props10976797600166450479.key 552534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.1ns 552535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 555434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10976797600166450479.key 555435 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 555438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props1680401926914477955.key 555438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.7ns 555439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 558350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1680401926914477955.key 558351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 558353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props6909538778208589968.key 558353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.3ns 558354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 561320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6909538778208589968.key 561322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 561325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props350078923718809888.key 561326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.1ns 561327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 564448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props350078923718809888.key 564449 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 564451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props12087227682451391756.key 564451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.4ns 564452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 567404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12087227682451391756.key 567405 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 567408 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 567408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props12901533623645509535.key 567408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.2ns 567409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 570287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 570300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12901533623645509535.key 570301 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 570303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props4098565050362420544.key 570303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.4ns 570304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 573190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 573205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4098565050362420544.key 573209 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 573288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props13016344516456539674.key 573289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 484.5ns 573290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 576425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13016344516456539674.key 576426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 576431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props1670173141065897570.key 576431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.7ns 576432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 579368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1670173141065897570.key 579370 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 579372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props11064222448885530017.key 579372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.8ns 579372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 582271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11064222448885530017.key 582272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 582275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props363110188098473589.key 582275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.7ns 582276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 585178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 585191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props363110188098473589.key 585192 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 585195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props11480469116477072472.key 585195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 45ns 585196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 588307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11480469116477072472.key 588308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 588312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props7862437468162594362.key 588313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.3ns 588314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 591494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7862437468162594362.key 591495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 591497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props16794343106723804847.key 591497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.8ns 591498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 594458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16794343106723804847.key 594461 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41.2ns 594463 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 594464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props4409245571771249001.key 594464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.9ns 594464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 597341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4409245571771249001.key 597343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 597346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props2294081833488559444.key 597346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.5ns 597347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 600310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2294081833488559444.key 600312 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 600314 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 600315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props2441917241418031725.key 600315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.9ns 600316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 603434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2441917241418031725.key 603435 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 603438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props5746012048081687864.key 603438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.1ns 603438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 606331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5746012048081687864.key 606332 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 606335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props10741538870347038686.key 606335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.2ns 606335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 609177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 609190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10741538870347038686.key 609191 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 609193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props18341050618980080149.key 609193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59ns 609194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 612061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 612073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props18341050618980080149.key 612074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 612076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props5636963012841052943.key 612076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46.9ns 612077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 615165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 615177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5636963012841052943.key 615178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 615181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props17643467168050464955.key 615181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.4ns 615182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 618165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 618177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props17643467168050464955.key 618178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 618180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props16751657943315520840.key 618180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.5ns 618181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 621038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16751657943315520840.key 621039 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 621041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props8542132284480687058.key 621041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.7ns 621042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 623976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8542132284480687058.key 623977 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 623979 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 623979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props10875691553055300180.key 623979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.5ns 623980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 626894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10875691553055300180.key 626895 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 626898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props18403385797593908135.key 626898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.5ns 626899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 630215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props18403385797593908135.key 630216 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 630218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props7313018501602202020.key 630218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.5ns 630219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 633140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7313018501602202020.key 633141 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 633144 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props1048916392683539521.key 633144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 58.4ns 633145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 636123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1048916392683539521.key 636124 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 636127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props15131341320058691943.key 636127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.2ns 636127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 639116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15131341320058691943.key 639117 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 639119 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 639119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props17427961345066429260.key 639119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.9ns 639120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 642125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17427961345066429260.key 642126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 642128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props2979656550864667882.key 642129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319ns 642130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 645483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2979656550864667882.key 645484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 645488 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props16470112361706024692.smt2 645491 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props6689655064139981270.smt2 645492 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props16306819843194524242.smt2 645494 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props2683687872342107369.smt2 645496 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props15494988987584691955.smt2 645498 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props624219295870902261.smt2 645499 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props17269075323631922946.smt2 645502 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props10936987041880307321.smt2 645504 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props15035101637697383071.smt2 645506 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props16079428442958129849.smt2 645508 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props5154841256549432168.smt2 645509 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props7455757808986257425.smt2 645511 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props12607277723047368290.smt2 645516 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props11269278056868642052.smt2 645518 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props13025239806381844651.smt2 645520 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props12448860079586061254.smt2 645522 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props17712081082330641325.smt2 645524 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props9779624644252275154.smt2 645525 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props8536143808501383589.smt2 645527 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props4523337148027054759.smt2 645529 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props1467747574079152550.smt2 645539 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props16058622016403559005.smt2 645540 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props7508357022574081046.smt2 645542 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props16817896553707444015.smt2