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.003s | 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.004s | 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.001s | 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.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.003s | 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.002s | 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
709067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props6149280945400290688.key 709067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.5ns 709067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 709223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 709223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 709223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 709223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 709745 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 713864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 713864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props6149280945400290688.key 713880 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 713912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15275867697265715016.key 713912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.8ns 713912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 717675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15275867697265715016.key 717675 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 717675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6361248533683727583.key 717675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.1ns 717675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 721491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6361248533683727583.key 721491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 721491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5781078898271551495.key 721491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.1ns 721491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 725310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5781078898271551495.key 725310 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 725325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1244812802765602795.key 725325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.5ns 725325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 729169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1244812802765602795.key 729169 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 729184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12461081872897984929.key 729184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.9ns 729184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 733078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12461081872897984929.key 733094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 733094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15458486536452526767.key 733094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.1ns 733094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 736950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15458486536452526767.key 736950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 736950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props5017107431600869814.key 736950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.2ns 736950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 740856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props5017107431600869814.key 740856 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 740856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3471936646503630082.key 740856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.4ns 740856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 744724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3471936646503630082.key 744724 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 744724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17688109370037574093.key 744724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.6ns 744740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 748643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17688109370037574093.key 748643 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 748659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10675745106443060065.key 748659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.6ns 748659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 752538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10675745106443060065.key 752538 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 752538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3376488501194912116.key 752538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 373.4ns 752553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 756417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3376488501194912116.key 756417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 756433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props3082830875118878096.key 756433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.8ns 756433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 760306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3082830875118878096.key 760306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 760306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props18083395069536218774.key 760306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.7ns 760321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 764134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 764150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props18083395069536218774.key 764150 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 764150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props14078845974220126562.key 764150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.6ns 764150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 768003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props14078845974220126562.key 768019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 768019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props18081235494541597082.key 768019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.5ns 768019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 771915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18081235494541597082.key 771915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 771931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11872485596090335328.key 771931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172ns 771931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 775809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11872485596090335328.key 775809 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 775809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1802952390295497409.key 775809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.5ns 775809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 779662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1802952390295497409.key 779662 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 779678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13058877153800958439.key 779678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.1ns 779680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 783527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 783527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13058877153800958439.key 783543 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 783543 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 783543 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 783543 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 783543 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 783543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1436763286007435440.key 783543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.8ns 783543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 787444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1436763286007435440.key 787444 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 787449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props3724410816136596205.key 787449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.7ns 787449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 791328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props3724410816136596205.key 791328 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 791344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props18256527551612048508.key 791344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.1ns 791344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 795214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 795230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props18256527551612048508.key 795230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 795230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11003480268803889813.key 795230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.1ns 795230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 799113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 799129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11003480268803889813.key 799129 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 799129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13884324234976904190.key 799129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.5ns 799129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 803019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13884324234976904190.key 803019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 803278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16602202057212830910.key 803278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.8ns 803278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 807141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 807156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16602202057212830910.key 807156 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 807156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1044601701812337373.key 807156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.6ns 807156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 811022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1044601701812337373.key 811022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 811037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16935269329983603672.key 811037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.7ns 811037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 814878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16935269329983603672.key 814893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 814893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props4998684416836270554.key 814893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.4ns 814893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 818748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props4998684416836270554.key 818748 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 818763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5243544079915617795.key 818763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.6ns 818763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 822598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 822613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5243544079915617795.key 822613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35ns 822613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props11987018722263737484.key 822613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.9ns 822613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 826449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 826465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11987018722263737484.key 826465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 826480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props4339069611690449496.key 826480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.1ns 826480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 830342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 830357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props4339069611690449496.key 830357 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 830357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3329398064180507869.key 830357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.6ns 830357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 834220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 834220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3329398064180507869.key 834236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 834236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props6150656247183994135.key 834236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.8ns 834236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 838054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 838070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6150656247183994135.key 838070 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 838086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14420624922718161490.key 838086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.2ns 838086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 841933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14420624922718161490.key 841933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 841949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props2166016583326392784.key 841949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.6ns 841949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 845787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 845803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props2166016583326392784.key 845803 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 845803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props6551643711485559802.key 845803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.6ns 845803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 849680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 849680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props6551643711485559802.key 849680 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 849696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props4263038844020005053.key 849696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.1ns 849696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 853529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 853544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props4263038844020005053.key 853544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 853544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props15876460910191010999.key 853544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.1ns 853544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 857398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 857414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props15876460910191010999.key 857414 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 857414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12000368796377725965.key 857414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 857414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 861276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12000368796377725965.key 861276 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 861276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3078103533554733642.key 861276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193ns 861276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 865136 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3078103533554733642.key 865136 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 865152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props11736991932754877194.key 865152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.7ns 865152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 869019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 869035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props11736991932754877194.key 869035 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 869035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16169176608375904574.key 869035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.1ns 869035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 872874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 872890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16169176608375904574.key 872890 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 872890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props539411156142732641.key 872906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.4ns 872906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 876749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 876764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props539411156142732641.key 876764 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 876780 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 876780 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 876780 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 876780 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 876780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6229797517735126775.key 876780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107ns 876780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 880639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 880655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6229797517735126775.key 880655 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 880655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6422257501169996066.key 880655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.3ns 880655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 884516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 884531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6422257501169996066.key 884531 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 884531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props8698815169719948550.key 884531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.5ns 884531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 888392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 888407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props8698815169719948550.key 888407 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 888407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11369408016148552430.key 888407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.4ns 888407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 892288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 892303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11369408016148552430.key 892303 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 892303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2147406352980301884.key 892303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 315.1ns 892303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 896190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s 896206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2147406352980301884.key 896206 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 896206 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.props5769574723998084115.smt2 896206 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.props3751114680742390767.smt2 896221 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.props17730521869218874771.smt2 896221 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.props5423094670909729013.smt2 896221 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.props1946375061556819203.smt2 896221 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.props12158854113241259818.smt2 896221 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.props14418433478391764498.smt2 896221 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.props14460947163807188163.smt2 896221 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.props15768468182656962170.smt2 896221 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.props5896335870166390957.smt2 896221 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.props1827820543569603494.smt2 896237 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.props12557461610049956761.smt2 896237 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.props4436554999192923379.smt2 896237 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.props4288125400584767535.smt2 896237 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.props18395774609287961119.smt2 896237 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.props10496906404838220351.smt2 896237 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.props3915353178321020960.smt2 896237 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.props1669991070817904095.smt2 896237 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.props5191243666897334892.smt2 896237 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.props15828205528821098933.smt2 896237 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.props8473544148399168407.smt2 896237 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.props5864002581363353831.smt2 896237 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.props7992528904803458693.smt2 896252 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.props107188387261063408.smt2