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] | 0s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.005s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.004s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | 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.001s | 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
763241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8623909924981696973.key 763241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.6ns 763241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763404 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 763404 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 763404 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 763404 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 764048 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 768491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 768507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8623909924981696973.key 768507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 768570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props9804185066138265065.key 768570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.2ns 768585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 772714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props9804185066138265065.key 772714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 772729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props7412121538498439065.key 772729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 460.4ns 772729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 776893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props7412121538498439065.key 776893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns 776909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3278682422503617515.key 776909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.3ns 776909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 781120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3278682422503617515.key 781120 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 781135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props12131794404120374641.key 781135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.2ns 781135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 785408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props12131794404120374641.key 785408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 785408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props11167887215202838834.key 785408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.5ns 785408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 789607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 789623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11167887215202838834.key 789623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 789638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2803317065357831760.key 789638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.6ns 789638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 793852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2803317065357831760.key 793852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 793852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props6446603006585611765.key 793852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.8ns 793852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 798059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 798074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props6446603006585611765.key 798074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 798090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props14031899503504772025.key 798090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.7ns 798090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 802299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 802315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props14031899503504772025.key 802315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 802330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5979257738973362829.key 802330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.8ns 802330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 806529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5979257738973362829.key 806529 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 806544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13774050108458511592.key 806544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.2ns 806544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 810783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13774050108458511592.key 810783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 810783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props6816010324505012594.key 810783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.1ns 810783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 814978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props6816010324505012594.key 814978 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 814978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12314637312678127652.key 814978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475.4ns 814978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 819177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 819192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12314637312678127652.key 819192 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 819192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5180165098432205194.key 819192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232ns 819208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 823391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 823406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5180165098432205194.key 823406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 823422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props9085365020392466626.key 823422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.8ns 823422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 827605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 827637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props9085365020392466626.key 827637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 827637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3040302348328732543.key 827637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.7ns 827637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 831868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3040302348328732543.key 831884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.1ns 831884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props4337125418037932933.key 831884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.2ns 831884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 836068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 836083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props4337125418037932933.key 836083 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 836099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16725357170046404103.key 836099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 406.2ns 836099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 840298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 840314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16725357170046404103.key 840329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 840329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props14524227815501936844.key 840329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327.7ns 840329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 844544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props14524227815501936844.key 844544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 844544 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 844544 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 844544 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 844544 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 844559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props10143044445712931876.key 844559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.9ns 844559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 848751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 848782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props10143044445712931876.key 848782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 848782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6468880018344769954.key 848782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.4ns 848782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 852965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 852980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6468880018344769954.key 852980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 852996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9535283013149428010.key 852996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.5ns 852996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 857204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 857220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9535283013149428010.key 857235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 857235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3205061005336287996.key 857235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 418.7ns 857235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 861471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3205061005336287996.key 861487 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41.6ns 861487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props6893113780975945063.key 861487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.7ns 861487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 865685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 865701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props6893113780975945063.key 865716 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 865984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props8664020819307500901.key 865984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.2ns 865984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 870162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 870178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props8664020819307500901.key 870178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 870178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16459980730630825688.key 870178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 360ns 870178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 874363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 874379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16459980730630825688.key 874379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 874394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props16091347933285348100.key 874394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.4ns 874394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 878624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 878629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props16091347933285348100.key 878629 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 878644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2884072417906044801.key 878644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.5ns 878644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 882839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 882855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2884072417906044801.key 882855 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 882855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5755358159504523002.key 882855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222ns 882870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 887054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 887070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5755358159504523002.key 887086 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 887086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16171612212346661125.key 887086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 405.3ns 887086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 891320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 891335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16171612212346661125.key 891335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 891351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props7531859659920882360.key 891351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.8ns 891351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 895602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 895618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props7531859659920882360.key 895618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 895633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9978384574750683679.key 895633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.6ns 895633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 899884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 899899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9978384574750683679.key 899899 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 899915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props1880342697428589969.key 899915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.7ns 899915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 904163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 904178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props1880342697428589969.key 904178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.3ns 904178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17003010042998737047.key 904178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 402.7ns 904178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 908380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 908395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17003010042998737047.key 908395 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 908411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props10716028566836164650.key 908411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.9ns 908411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 912613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 912632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props10716028566836164650.key 912632 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.7ns 912632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4074042846081124427.key 912632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.4ns 912647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 916836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 916852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4074042846081124427.key 916852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 916852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props11600916932145793461.key 916852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.3ns 916852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 921042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 921057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11600916932145793461.key 921057 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 921073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17180099923496367927.key 921073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.9ns 921073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 925270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 925286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17180099923496367927.key 925286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 925286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12018316974329463054.key 925286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.3ns 925286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 929484 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 929499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12018316974329463054.key 929499 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 929499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7692794924451093689.key 929499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 929499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 933684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 933715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7692794924451093689.key 933715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 933715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props10122253483808197538.key 933715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 644.6ns 933715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 937915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 937932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props10122253483808197538.key 937932 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 937947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props766246632190295121.key 937947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.2ns 937947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 942162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 942178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props766246632190295121.key 942178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 942178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props11588683576579498821.key 942178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.4ns 942178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 946374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 946405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props11588683576579498821.key 946405 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 946405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 946405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 946405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 946405 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 946405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props2708219912033782436.key 946405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.3ns 946405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 950601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 950617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props2708219912033782436.key 950617 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns 950617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6784887998088944361.key 950617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.9ns 950617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 954796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 954824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6784887998088944361.key 954828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 954828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16302743502642702942.key 954828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.8ns 954828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 959004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 959029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16302743502642702942.key 959029 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 959029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3743313147820444997.key 959029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.7ns 959029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 963229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 963244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3743313147820444997.key 963260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 963260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9699977523203929367.key 963260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.4ns 963260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 967454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 967470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9699977523203929367.key 967470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 967486 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.props15154231339375977078.smt2 967486 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.props5152603452596422694.smt2 967486 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.props3915353560840086851.smt2 967486 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.props8752728181379864577.smt2 967486 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.props12663799769979503674.smt2 967486 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.props7383217061202240263.smt2 967486 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.props11868729887510775613.smt2 967486 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.props15878407664346836554.smt2 967501 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.props1741366381501805670.smt2 967501 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.props13791570703810574704.smt2 967501 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.props5185455716456442348.smt2 967501 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.props7406454915533386896.smt2 967501 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.props11400213199175438200.smt2 967501 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.props10465629719002265273.smt2 967501 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.props9569357609194864458.smt2 967501 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.props10246570611560630661.smt2 967501 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.props17098152257610986037.smt2 967501 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.props14518585658381759341.smt2 967501 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.props9736333160688810667.smt2 967501 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.props15841953004940686427.smt2 967517 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.props14342221962299783812.smt2 967517 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.props13101948197534613748.smt2 967517 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.props14871608386166958651.smt2 967517 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.props3340049958125329469.smt2