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] | 0.001s | passed |
| [13] bool1.props | testTranslation(TestData)[13] | 0s | passed |
| [14] quant1.props | testTranslation(TestData)[14] | 0s | passed |
| [15] float1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] ite1.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] upd1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] upd2.props | testTranslation(TestData)[18] | 0s | passed |
| [19] heap1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] types2.props | testTranslation(TestData)[1] | 0s | 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] | 0s | passed |
| [3] quant2.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] float.eq.props | testTranslation(TestData)[4] | 0s | passed |
| [5] float2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] float.sqrt1.props | testTranslation(TestData)[6] | 0s | passed |
| [7] cast3.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] types1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] ex1.props | testTranslation(TestData)[9] | 0s | 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
466929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props5217821787867061029.key 466929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.4ns 466930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 467028 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 467028 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 467029 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 467029 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 467585 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 470402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 470415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props5217821787867061029.key 470416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 470423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props7606307532343536296.key 470423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.4ns 470424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 472898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 472913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7606307532343536296.key 472914 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 472923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props4543227393417817772.key 472923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.3ns 472923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 475456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 475469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4543227393417817772.key 475470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns 475472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props12141565675832458534.key 475472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.3ns 475473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 477899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s 477911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12141565675832458534.key 477912 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns 477915 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 477916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props17073484730873872119.key 477916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 47.7ns 477916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 480309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.39s 480321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17073484730873872119.key 480322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 480324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props11999742758305390343.key 480324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 41.4ns 480325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 482833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 482851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11999742758305390343.key 482852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 482855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props5644285951157185118.key 482855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207ns 482856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 485276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 485290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5644285951157185118.key 485291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 485293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props12871510500849622002.key 485293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54ns 485294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 487838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 487851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12871510500849622002.key 487852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 487853 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 487854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props9725625946616858525.key 487854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.6ns 487855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 490291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 490303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props9725625946616858525.key 490304 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 490306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props11912884399458054146.key 490306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.8ns 490307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 492821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 492835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props11912884399458054146.key 492836 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 492839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props3066894746564999122.key 492839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.8ns 492849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 495383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 495395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3066894746564999122.key 495396 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 495398 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 495398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props3405293195391579780.key 495398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.5ns 495399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 497908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 497923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3405293195391579780.key 497925 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.7ns 497926 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 497927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props548844046798604163.key 497927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.8ns 497928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 500582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 500595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props548844046798604163.key 500596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 500597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props4887543733817932423.key 500598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.2ns 500598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 503104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 503116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4887543733817932423.key 503117 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.7ns 503119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props8135911860086769872.key 503119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 47.2ns 503119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 505517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.4s 505530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8135911860086769872.key 505531 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.5ns 505539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props14068856384873937133.key 505540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.49ms 505541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 508045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 508057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14068856384873937133.key 508058 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 508060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props17181290786149085550.key 508061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.4ns 508062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 510521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 510533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props17181290786149085550.key 510534 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 510536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props2195320208240262752.key 510536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49.2ns 510537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 512938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.4s 512952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2195320208240262752.key 512953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.5ns 512956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props17425887236275860464.key 512956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198ns 512957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 515391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s 515432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17425887236275860464.key 515433 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 515439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props14690912492979991652.key 515439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.4ns 515440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 517866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s 517878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props14690912492979991652.key 517879 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns 517881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props3814045651227217366.key 517881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.8ns 517881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 520330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 520343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3814045651227217366.key 520344 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 520345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props6589205524392242567.key 520345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.7ns 520346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 522777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s 522792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6589205524392242567.key 522803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 522814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props1510934135451490810.key 522814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237ns 522815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 525365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1510934135451490810.key 525366 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.5ns 525368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props1407040798060135556.key 525368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 45.3ns 525368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 527823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 527843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props1407040798060135556.key 527844 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 527891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props8517605832023048334.key 527892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.8ns 527892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 530525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 530537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props8517605832023048334.key 530538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns 530540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props7301488197685021123.key 530540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 39.1ns 530540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 533018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7301488197685021123.key 533020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns 533022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props14386942104781639072.key 533022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192ns 533023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 535652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 535666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14386942104781639072.key 535667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 535677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props8214152162406894617.key 535677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.9ns 535678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 538279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8214152162406894617.key 538286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 538287 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 538288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props4455160852407099903.key 538288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.2ns 538289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 541157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4455160852407099903.key 541158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 541160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props12703319899918070066.key 541161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.9ns 541161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 543722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 543737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12703319899918070066.key 543738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 543741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props13350357861602799183.key 543741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.5ns 543742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 546321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13350357861602799183.key 546323 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 546325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props7962931965335212995.key 546325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.7ns 546325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 548846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props7962931965335212995.key 548847 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.1ns 548849 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 548849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props76416812925970889.key 548849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.2ns 548850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 551288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 551302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props76416812925970889.key 551303 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 551305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props9296778252246924657.key 551306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.7ns 551306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 553809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 553822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9296778252246924657.key 553823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.5ns 553826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props3010093534361435043.key 553827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.7ns 553827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 556271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 556283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3010093534361435043.key 556284 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.3ns 556285 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 556286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props2635553888664191719.key 556286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 46.4ns 556286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 558765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 558779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2635553888664191719.key 558780 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 558782 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 558783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props6778110996458694789.key 558783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.4ns 558784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 561271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6778110996458694789.key 561272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 561274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props8422386385618727216.key 561274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 50.7ns 561274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 563731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8422386385618727216.key 563732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 563733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props13283408542787528368.key 563733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 49ns 563734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.42s 566166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props13283408542787528368.key 566167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.7ns 566170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props6458641988923760846.key 566170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.2ns 566171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 568915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6458641988923760846.key 568917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 568920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props14736129825230406919.key 568920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.3ns 568928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 571389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14736129825230406919.key 571390 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns 571392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props15026981568328183721.key 571392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 48.2ns 571393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 574057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15026981568328183721.key 574058 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 574062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props17136270557008382877.key 574062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.5ns 574063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 576617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props17136270557008382877.key 576618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 576621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props5628736942279552603.key 576621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.2ns 576621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 579257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5628736942279552603.key 579258 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns 579260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props999063501766283630.key 579260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 52.9ns 579261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 581743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props999063501766283630.key 581743 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 581745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props12261732254973760020.key 581745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 47.4ns 581746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 584333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props12261732254973760020.key 584334 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 584336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props13641593235048173720.key 584337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.9ns 584337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 586949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13641593235048173720.key 586950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 586952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props9945326202388457044.key 586952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 39.1ns 586953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 589414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props9945326202388457044.key 589415 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 589417 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props13568522278574350998.smt2 589418 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props10587527295348562263.smt2 589419 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props7324767109444930797.smt2 589419 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props1297837546874109951.smt2 589420 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props4547510094449028255.smt2 589420 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props16986509210976684598.smt2 589421 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props1076192961036747923.smt2 589422 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props18348316850817664829.smt2 589423 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props130370749528945260.smt2 589423 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props6872558495038577559.smt2 589424 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props14595344156692322053.smt2 589424 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props1590222239814679841.smt2 589425 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props5058420312045514292.smt2 589425 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props4239124355864166822.smt2 589426 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props614204541049014501.smt2 589426 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props6550024281388647360.smt2 589427 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props17412234555364262533.smt2 589427 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props537136869952426330.smt2 589428 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props4025186295825505381.smt2 589428 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props3187438645746277778.smt2 589429 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props5393369831770516333.smt2 589429 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props10022615063219452362.smt2 589430 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props15373861965463627500.smt2 589430 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props9447542905126784762.smt2