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.001s | 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.001s | 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.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | 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
534863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17647007515638447244.key 534863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.6ns 534865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 534980 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 534980 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 534980 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 534980 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 535574 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 538607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 538623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17647007515638447244.key 538623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 538638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7578405206652774778.key 538638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.8ns 538638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 541382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7578405206652774778.key 541382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 541397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props2338501025546286723.key 541397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 498.7ns 541397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 544080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props2338501025546286723.key 544080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 544080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props10359469180792705725.key 544080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.3ns 544080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 546803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props10359469180792705725.key 546803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 546819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props388742981555213711.key 546819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.9ns 546819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 549468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 549484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props388742981555213711.key 549484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 549484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16350126060575079023.key 549484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420ns 549484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 552177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16350126060575079023.key 552177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 552177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props10190852127223289186.key 552177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.4ns 552193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 554866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 554885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props10190852127223289186.key 554885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns 554900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props15598183226553629414.key 554900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.2ns 554900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 557593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props15598183226553629414.key 557593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 557609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5411658353476782411.key 557609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.7ns 557613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 560358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5411658353476782411.key 560358 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 560374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9111387740212459706.key 560374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.2ns 560374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 563199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9111387740212459706.key 563199 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 563199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props255666098662507960.key 563199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.1ns 563199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 565947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 565963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props255666098662507960.key 565963 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 565963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13994146984247542666.key 565963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.2ns 565978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 568791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13994146984247542666.key 568791 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 568791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props629802370363355895.key 568791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 568791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 571567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props629802370363355895.key 571567 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns 571582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5329876948789191400.key 571582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.4ns 571582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 574338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5329876948789191400.key 574338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 574338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4226550222421818074.key 574338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns 574338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 577126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 577142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4226550222421818074.key 577142 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 577157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props622157468837276856.key 577157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.5ns 577173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 579917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props622157468837276856.key 579917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 579932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11748528905059814408.key 579932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 367.5ns 579932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 582671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11748528905059814408.key 582671 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 582671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16400535477946032969.key 582671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 620.5ns 582671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 585428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 585428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16400535477946032969.key 585444 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 585444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props4029721352377135796.key 585444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.2ns 585444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 588157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 588173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props4029721352377135796.key 588173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 588173 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 588173 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 588173 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 588173 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 588173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props681433063591739661.key 588173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.8ns 588188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 590914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 590929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props681433063591739661.key 590929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 590945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props4747139725230124577.key 590945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.5ns 590945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 593678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 593694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props4747139725230124577.key 593694 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.2ns 593694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props197172681295724471.key 593694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.1ns 593694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 596393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 596409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props197172681295724471.key 596424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.7ns 596424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10743506155051829727.key 596424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.7ns 596424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 599138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 599154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10743506155051829727.key 599154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 599169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13217467955332384339.key 599169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns 599169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 601984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 601999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13217467955332384339.key 601999 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 602289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9272829596769003490.key 602289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.3ns 602289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 605053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9272829596769003490.key 605053 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 605069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3224713858408764022.key 605069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.8ns 605069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 607845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 607860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3224713858408764022.key 607860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 607860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3326300488599422691.key 607860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 362.1ns 607860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 610600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3326300488599422691.key 610600 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 610615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6466778109671795647.key 610615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.2ns 610615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 613384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6466778109671795647.key 613384 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 613384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props187562300416455756.key 613384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.4ns 613384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 616233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props187562300416455756.key 616233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 616233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4280536110242864040.key 616233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns 616233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 619019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4280536110242864040.key 619019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns 619019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17008786868855359787.key 619019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.1ns 619019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 621805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17008786868855359787.key 621805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 621805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props8329741012947954068.key 621805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 364.8ns 621805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 624619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props8329741012947954068.key 624619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 624634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props6605033263942053940.key 624634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.4ns 624634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 627387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6605033263942053940.key 627387 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 627387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13401617205860899973.key 627387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.4ns 627387 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 630139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 630154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13401617205860899973.key 630154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 630170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15228795935404311494.key 630170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236ns 630170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 632962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15228795935404311494.key 632962 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 632962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13621826986631562813.key 632962 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.3ns 632962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 635714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13621826986631562813.key 635714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.3ns 635730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props11138705621193816714.key 635730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.9ns 635730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 638460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11138705621193816714.key 638460 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.9ns 638475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11157197328897704380.key 638475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.4ns 638475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 641304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 641320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11157197328897704380.key 641320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.4ns 641336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14857099876820423608.key 641336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 353.7ns 641336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 644097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 644113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14857099876820423608.key 644113 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 644113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props17274819939105387275.key 644113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.2ns 644129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 646900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17274819939105387275.key 646900 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 646915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props5973371401152508727.key 646915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.3ns 646915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 649729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props5973371401152508727.key 649729 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.1ns 649729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8351249738947289505.key 649729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.3ns 649729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 652464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8351249738947289505.key 652464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 652464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props8362557999302478479.key 652464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.4ns 652480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 655299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props8362557999302478479.key 655299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.7ns 655299 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 655299 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 655299 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 655299 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 655299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17158413742717115347.key 655299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125ns 655315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 658047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17158413742717115347.key 658047 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.8ns 658063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6216448997913898254.key 658063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.2ns 658063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 660878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 660894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6216448997913898254.key 660894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 660894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1361894015295461553.key 660894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 401.9ns 660910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 663700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 663715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1361894015295461553.key 663715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 663715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3161796877270921080.key 663715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.6ns 663715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 666441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3161796877270921080.key 666441 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3ns 666441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props4898002061783077763.key 666441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.8ns 666441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 669247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props4898002061783077763.key 669247 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 669263 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.props719572645792426840.smt2 669263 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.props1570966466540164386.smt2 669263 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.props18280906803760688655.smt2 669263 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.props10889956995872163364.smt2 669263 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.props5910888877018682479.smt2 669263 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.props9012516087121248143.smt2 669263 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.props54893912976732908.smt2 669263 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.props7097744648155713276.smt2 669263 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.props9549126988054439304.smt2 669263 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.props11472193988802073839.smt2 669278 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.props493398252354720263.smt2 669278 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.props899341222611579493.smt2 669278 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.props6604533797904995832.smt2 669278 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.props15697838502849460958.smt2 669278 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.props8948714747985270364.smt2 669278 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.props17192262700838464641.smt2 669278 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.props13761126036128964660.smt2 669278 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.props60252851629302198.smt2 669278 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.props15383094833553407018.smt2 669278 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.props1667699207510072451.smt2 669278 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.props2166390154969449811.smt2 669278 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.props2035983514680269795.smt2 669294 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.props1464408833800397605.smt2 669294 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.props12917264899266558511.smt2