Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.001s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.001s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
582785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props1899426808091062649.key 582785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.2ns 582785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582925 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 582925 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 582925 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 582925 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 583969 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 587050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 587066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1899426808091062649.key 587066 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns 587097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props18376724510831161354.key 587097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.6ns 587097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 590011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props18376724510831161354.key 590011 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 590011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5354804660303108478.key 590011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.2ns 590026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 592967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5354804660303108478.key 592967 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 592967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5196060371640909438.key 592967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.6ns 592967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 596222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5196060371640909438.key 596222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 596238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16243684140282154677.key 596238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.2ns 596238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 599497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16243684140282154677.key 599497 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 599497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props2424790571473552995.key 599497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.3ns 599512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 602396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props2424790571473552995.key 602396 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 602396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17741863968575872865.key 602396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.5ns 602396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 605283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17741863968575872865.key 605283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 605283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props17213334462806654262.key 605283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.8ns 605283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 608191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props17213334462806654262.key 608191 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 608207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8924016944313349389.key 608207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.9ns 608207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 611211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8924016944313349389.key 611211 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 611211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props18315084505004089199.key 611211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.2ns 611211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 614589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props18315084505004089199.key 614589 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 614589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props7259448746024475963.key 614589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.5ns 614605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 617683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props7259448746024475963.key 617683 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 617683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props14227795691744845727.key 617683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.1ns 617683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 620574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props14227795691744845727.key 620574 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 620590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props609099130754300394.key 620590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.3ns 620590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 623491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props609099130754300394.key 623491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 623491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11638690422205976217.key 623491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.7ns 623491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 626478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11638690422205976217.key 626478 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 626478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6748989992469167595.key 626478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 426.7ns 626493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 629573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6748989992469167595.key 629573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 629605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props15126911280421661122.key 629605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 692.7ns 629605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 632730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props15126911280421661122.key 632746 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 632746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props12186893531362464631.key 632746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.3ns 632746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 635733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props12186893531362464631.key 635733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 635733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1146592813546636320.key 635733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 765.8ns 635733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 638750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1146592813546636320.key 638750 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 638750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11373997805429968664.key 638750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140ns 638766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s 641738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11373997805429968664.key 641738 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 641738 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 641738 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 641738 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 641738 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 641738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props997019113517694150.key 641738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.4ns 641738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 644786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props997019113517694150.key 644786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 644801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3574194894267655610.key 644801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.2ns 644801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 647966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 647981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3574194894267655610.key 647997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.5ns 648001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props15904998361278180885.key 648001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.8ns 648001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 650864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 650880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props15904998361278180885.key 650880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 650895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props5488137587383181938.key 650895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.4ns 650895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 653756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props5488137587383181938.key 653756 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 653772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props5750485334151256260.key 653772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.3ns 653772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 656694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props5750485334151256260.key 656694 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 657020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props1636784494803632045.key 657020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.7ns 657020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 660068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1636784494803632045.key 660068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 660068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7142836187973024789.key 660068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.8ns 660084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 663085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7142836187973024789.key 663085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 663085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props5935341409059489713.key 663085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.8ns 663085 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 666077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props5935341409059489713.key 666077 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 666077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props18435530670194327716.key 666077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.7ns 666092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 669160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props18435530670194327716.key 669160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 669160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14063366892146962961.key 669160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.5ns 669160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 672062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14063366892146962961.key 672062 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 69.7ns 672077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6224879164131296082.key 672077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 350.4ns 672077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 674969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6224879164131296082.key 674985 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 674985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10962323595438908092.key 674985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.1ns 674985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 677941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10962323595438908092.key 677956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 677956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props14612947075841587135.key 677956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.3ns 677956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 680942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14612947075841587135.key 680958 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 680958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9411568253994337361.key 680958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447.4ns 680958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 683945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9411568253994337361.key 683945 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 683960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1691749263258494756.key 683960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.9ns 683960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 687167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1691749263258494756.key 687167 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 687167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10475789989163139188.key 687167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 419.6ns 687167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 690120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10475789989163139188.key 690120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 690120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props1954980241476463776.key 690120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.5ns 690120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 693059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props1954980241476463776.key 693059 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 693059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12221990079726752440.key 693059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 349.7ns 693074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 696013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12221990079726752440.key 696013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 696028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props12379265336922888446.key 696028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.6ns 696028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 699108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12379265336922888446.key 699108 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 699123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3684256542724202532.key 699123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 501.5ns 699123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 702171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3684256542724202532.key 702171 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 702187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props8372902518670659842.key 702187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.1ns 702187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 705159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props8372902518670659842.key 705159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 705159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5159702454866026466.key 705159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.6ns 705159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 708191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5159702454866026466.key 708191 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 708191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props10157544855912222295.key 708191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222ns 708191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 711083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props10157544855912222295.key 711083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 711098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props15246064523475825982.key 711098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.5ns 711098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 714033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15246064523475825982.key 714033 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 714033 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 714033 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 714033 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 714033 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 714033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props4796264753499245679.key 714033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.1ns 714033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716960 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 716976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props4796264753499245679.key 716976 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 716991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props15625557458379512664.key 716991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.6ns 716991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 719998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props15625557458379512664.key 719998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 719998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props8387015473624075837.key 719998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.3ns 720014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 722953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props8387015473624075837.key 722953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 722953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4300582982142854502.key 722953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.7ns 722969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 726293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4300582982142854502.key 726293 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 726293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2289682206352431700.key 726293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.7ns 726293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 729216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2289682206352431700.key 729216 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 729216 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2407574347906310676.smt2 729216 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props12681922193441116140.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9186770147901383157.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props10156549481477811155.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props11380920214537721681.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10887883136330222848.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2516499921770099378.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1457551873255266759.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2566851610841771972.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11585736812057313477.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3562578438154207390.smt2 729232 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props15947301596927337352.smt2 729247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props18096397436898728464.smt2 729247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7598944508035772682.smt2 729247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12865317527436682718.smt2 729247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props10439984623963383274.smt2 729247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4800947670334860481.smt2 729247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props810574537860613279.smt2 729247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11860399502350018669.smt2 729247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5847345666615063898.smt2 729247 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props8090792168518566637.smt2 729263 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5438816479841229580.smt2 729263 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13898869011341035356.smt2 729263 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props224309797941908950.smt2