Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sqrt2.props | testTranslation(TestData)[10] | 0s | passed |
| [11] bool1.props | testTranslation(TestData)[11] | 0s | passed |
| [12] upd1.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float.sinDouble.props | testTranslation(TestData)[13] | 0.001s | passed |
| [14] float.eq.props | testTranslation(TestData)[14] | 0s | passed |
| [15] ex1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] cast2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] quant2.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] float.sqrt1.props | testTranslation(TestData)[18] | 0s | passed |
| [19] int1.props | testTranslation(TestData)[19] | 0s | passed |
| [1] float2.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] bool2.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0s | passed |
| [22] types1.props | testTranslation(TestData)[22] | 0s | passed |
| [23] float1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] cast1.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] uninterpreted1.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0s | passed |
| [4] cast3.props | testTranslation(TestData)[4] | 0s | passed |
| [5] ite1.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] types2.props | testTranslation(TestData)[7] | 0s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] heap1.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sqrt2.props | testZ3(TestData)[10] | - | ignored |
| [11] bool1.props | testZ3(TestData)[11] | - | ignored |
| [12] upd1.props | testZ3(TestData)[12] | - | ignored |
| [13] float.sinDouble.props | testZ3(TestData)[13] | - | ignored |
| [14] float.eq.props | testZ3(TestData)[14] | - | ignored |
| [15] ex1.props | testZ3(TestData)[15] | - | ignored |
| [16] cast2.props | testZ3(TestData)[16] | - | ignored |
| [17] quant2.props | testZ3(TestData)[17] | - | ignored |
| [18] float.sqrt1.props | testZ3(TestData)[18] | - | ignored |
| [19] int1.props | testZ3(TestData)[19] | - | ignored |
| [1] float2.props | testZ3(TestData)[1] | - | ignored |
| [20] bool2.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] types1.props | testZ3(TestData)[22] | - | ignored |
| [23] float1.props | testZ3(TestData)[23] | - | ignored |
| [24] cast1.props | testZ3(TestData)[24] | - | ignored |
| [2] uninterpreted1.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast3.props | testZ3(TestData)[4] | - | ignored |
| [5] ite1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] types2.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] heap1.props | testZ3(TestData)[9] | - | ignored |
Standard output
795070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props14515497980125065311.key 795070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.7ns 795072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795339 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 795347 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 795348 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 795349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 796379 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 801149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.08s 801169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props14515497980125065311.key 801170 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 801181 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props2752424694644172563.key 801182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.5ns 801182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 805596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props2752424694644172563.key 805597 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 805602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props7447928382489749914.key 805603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.7ns 805604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 809953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 809971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7447928382489749914.key 809973 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 809976 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 809976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props9770947709413274491.key 809977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264ns 809978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 814253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props9770947709413274491.key 814254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 814258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props4106811443532693586.key 814258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.6ns 814259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 818641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4106811443532693586.key 818642 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 818644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props3705043244299904823.key 818644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.8ns 818645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 823081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 823113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3705043244299904823.key 823119 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 823126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props10380527926498331567.key 823126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.4ns 823127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 827421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 827438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10380527926498331567.key 827440 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 827442 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 827442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props12075419042333328282.key 827442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.8ns 827443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 831886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12075419042333328282.key 831888 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 831891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props7006834612228876672.key 831891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.2ns 831892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 836322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props7006834612228876672.key 836330 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 836340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props12404498311981870485.key 836340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89ns 836341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 840910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12404498311981870485.key 840911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 840914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props11599524498054521707.key 840914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.3ns 840915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 845483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 845500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11599524498054521707.key 845502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 845504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props6965160696411053327.key 845504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.4ns 845506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 849985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 850005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6965160696411053327.key 850007 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 850009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props10386263467021457236.key 850010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322ns 850011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 854602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props10386263467021457236.key 854604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 854607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props6666541608420418184.key 854608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.2ns 854609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 859015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 859032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6666541608420418184.key 859034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 859037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props2543424927182067244.key 859037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.4ns 859038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 863452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 863472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2543424927182067244.key 863473 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 863478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props13681792095971614853.key 863478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.9ns 863479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 867855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 867872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13681792095971614853.key 867874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 867876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props8485326051995277459.key 867876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.3ns 867877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 872235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 872253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8485326051995277459.key 872254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 872257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props10186502224843603347.key 872257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.8ns 872259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 876604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 876624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10186502224843603347.key 876626 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 876629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props12776992740432285019.key 876630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 298ns 876631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 880971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 880988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12776992740432285019.key 880990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 880992 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 880992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props13034265602175203788.key 880992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.8ns 880993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 885386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 885403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13034265602175203788.key 885405 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 885407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props16083681588615809531.key 885408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.6ns 885409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 889810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 889830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16083681588615809531.key 889832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 889835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props3528532208337400640.key 889835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.5ns 889836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 894232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 894253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props3528532208337400640.key 894262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 894264 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 894268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props372078981845391546.key 894275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.06ms 894276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 898745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 898762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props372078981845391546.key 898764 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 898766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props5689021150312532932.key 898766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.7ns 898767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 903212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 903229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5689021150312532932.key 903231 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 903294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float2.props9423702741061995010.key 903294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.2ns 903295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 907732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 907754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9423702741061995010.key 907756 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 907769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_uninterpreted1.props9936868806958766690.key 907769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.5ns 907770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 912268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 912285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9936868806958766690.key 912287 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 912289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool3.props2543595435600264024.key 912289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.6ns 912290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 916647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 916664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2543595435600264024.key 916666 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 916668 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 916668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast3.props18204636662367805867.key 916669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.8ns 916669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 921049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props18204636662367805867.key 921051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 921053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ite1.props13897021439641396496.key 921054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524.5ns 921055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 925593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props13897021439641396496.key 925595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 925597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd2.props6055047593050605045.key 925597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.1ns 925598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 929836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 929853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6055047593050605045.key 929854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 929856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types2.props13481712532226190393.key 929857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.4ns 929857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 934261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 934281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13481712532226190393.key 934283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 934285 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 934285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex2.props11888016339509113836.key 934286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.5ns 934287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 938643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.36s 938661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11888016339509113836.key 938662 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 938665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_heap1.props9596045573210527391.key 938666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.9ns 938667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 942977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9596045573210527391.key 942979 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 942984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt2.props15912388472850645434.key 942984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.7ns 942985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 947353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 947371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props15912388472850645434.key 947372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 947374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool1.props14320680038805459824.key 947375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.2ns 947375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 951790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 951811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props14320680038805459824.key 951812 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 951815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_upd1.props14251123221192591216.key 951815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 367.3ns 951816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 956169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 956186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props14251123221192591216.key 956187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 956190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sinDouble.props912912395774880892.key 956190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.3ns 956191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 960716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 960736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props912912395774880892.key 960737 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 960742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.eq.props17415920521662757024.key 960742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.1ns 960743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 965209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 965229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17415920521662757024.key 965235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 965238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_ex1.props234891929716143307.key 965238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303.3ns 965239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 969649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 969666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props234891929716143307.key 969667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 969669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast2.props16969634382398343741.key 969669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.2ns 969670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 974349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 974367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16969634382398343741.key 974369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 974371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant2.props60838473887468452.key 974372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.4ns 974373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 978698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 978716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props60838473887468452.key 978717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 978719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float.sqrt1.props6638386054000426987.key 978719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.1ns 978720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 983125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 983155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6638386054000426987.key 983156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 983159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_int1.props5307098710676491607.key 983159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.7ns 983159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 987507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 987524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5307098710676491607.key 987525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 987527 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 987528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_bool2.props13890552124108007391.key 987528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.2ns 987529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 991804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 991823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13890552124108007391.key 991825 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 991834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_quant1.props13598180282929208721.key 991842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.71ms 991843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 996248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 996265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13598180282929208721.key 996267 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 996269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_types1.props1641365007247561857.key 996269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.1ns 996270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1000550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 1000567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1641365007247561857.key 1000568 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 1000572 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 1000572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_float1.props36726514130715199.key 1000572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.1ns 1000573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1004990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 1005007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props36726514130715199.key 1005009 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.7ns 1005012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/SMT_key_cast1.props15590794785571932830.key 1005012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.8ns 1005013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1009282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 1009299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15590794785571932830.key 1009300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 1009303 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props9232027786910147249.smt2 1009304 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props1724128106024611911.smt2 1009305 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props10829621278239950048.smt2 1009306 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props8266155305697727196.smt2 1009306 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props18040443637918493239.smt2 1009307 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props10836526377176042518.smt2 1009308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props10646940983398120275.smt2 1009308 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props16657648430416598018.smt2 1009309 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props7793754099880107949.smt2 1009310 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props11838138736080279883.smt2 1009311 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props5025723751461138755.smt2 1009311 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props13512299922708083679.smt2 1009312 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props11452104747249403000.smt2 1009313 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props774865021477604494.smt2 1009314 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props590025555729119767.smt2 1009315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props672966483052972397.smt2 1009315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props1982600311505399055.smt2 1009316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props16452849310587355155.smt2 1009317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props14476452592941845351.smt2 1009317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props13985996181108785619.smt2 1009318 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props9673609881353667944.smt2 1009319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props15548339138026125653.smt2 1009319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props17877882897237013632.smt2 1009320 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props940853010469422130.smt2