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] | 0s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.005s | 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.008s | 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.002s | 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.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.026s | 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
498647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props9105241503869955231.key 498647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.3ns 498663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 498897 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 498897 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 498897 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 498897 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 499319 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 502149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 502165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props9105241503869955231.key 502181 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 502196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props1176001440875264336.key 502196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.2ns 502196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 504838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 504853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props1176001440875264336.key 504853 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 504853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props12834667179354931676.key 504853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 313.5ns 504853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 507355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 507371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12834667179354931676.key 507371 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 507386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5100578569837161876.key 507386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.9ns 507386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 509919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 509935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5100578569837161876.key 509935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 509935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props544805577512531903.key 509935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.6ns 509950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 512451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 512467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props544805577512531903.key 512467 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 512483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10612357059507454098.key 512483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.5ns 512483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 515063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 515063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10612357059507454098.key 515078 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 515078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props11275407461761240003.key 515078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.5ns 515078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 517611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 517627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props11275407461761240003.key 517627 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 517643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props10944844742740931915.key 517643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.7ns 517643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 520269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 520285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props10944844742740931915.key 520285 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 520285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props9448927506835037379.key 520285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.4ns 520285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 522880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 522896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props9448927506835037379.key 522896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 522896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7874184245384241547.key 522896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.8ns 522896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 525585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7874184245384241547.key 525585 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 525600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3083938745496781313.key 525600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.6ns 525600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 528180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 528196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3083938745496781313.key 528196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 528196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16538836218645282423.key 528196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.7ns 528196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 530900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 530915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16538836218645282423.key 530915 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 530915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5073151852993876027.key 530915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.9ns 530931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 533526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5073151852993876027.key 533526 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 533542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props11186976355000164864.key 533542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.7ns 533542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 536230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 536246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props11186976355000164864.key 536246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 536246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props8827955265450832107.key 536246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.4ns 536246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 538842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props8827955265450832107.key 538842 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 538857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2839658361807126037.key 538857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 349.5ns 538857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 541562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2839658361807126037.key 541562 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 541577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6242863109245765149.key 541577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.1ns 541577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 544188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6242863109245765149.key 544188 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 544188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7545835619711705400.key 544188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.1ns 544188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 546908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7545835619711705400.key 546923 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 546923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3675044520277095506.key 546923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304ns 546923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 549519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 549535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3675044520277095506.key 549535 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 549535 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 549535 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 549535 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 549535 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 549535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props14983095814588320359.key 549535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.4ns 549535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 552256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props14983095814588320359.key 552256 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 552271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12180786466853529853.key 552271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.6ns 552271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 554975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 554990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12180786466853529853.key 554990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 554990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props9244653307843382531.key 554990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.6ns 554990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 557602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props9244653307843382531.key 557602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 557618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10936104625439275912.key 557618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.9ns 557618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 560338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10936104625439275912.key 560338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 560338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props462605917345602205.key 560338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.6ns 560338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 563135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props462605917345602205.key 563135 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 563729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props10313913205203264737.key 563729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.1ns 563823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 566589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 566605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10313913205203264737.key 566605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 566605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props6645455586926447271.key 566605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.3ns 566605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 569154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props6645455586926447271.key 569154 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 569154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props8297581419219210381.key 569154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.9ns 569154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 571686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props8297581419219210381.key 571686 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 571686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props404016232892262716.key 571686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.9ns 571686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 574280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props404016232892262716.key 574280 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 574280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5661041453793558358.key 574280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.3ns 574280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 576829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5661041453793558358.key 576829 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 576845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16707968543727317753.key 576845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 337.6ns 576845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 579410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16707968543727317753.key 579410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 579410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6358215995851757628.key 579410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 361.3ns 579410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 582052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6358215995851757628.key 582068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 582068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3392494831980733295.key 582068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 328ns 582068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 584648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 584663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3392494831980733295.key 584663 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 584679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7271964520106255114.key 584679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.9ns 584679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 587353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 587369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7271964520106255114.key 587369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 587369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props1348090880232212356.key 587369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.5ns 587369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 589980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props1348090880232212356.key 589980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 589996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props1234135231161910987.key 589996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.7ns 589996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 592700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 592716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props1234135231161910987.key 592716 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 592716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props12979060743043388740.key 592716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.8ns 592716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 595435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 595435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props12979060743043388740.key 595451 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 595451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8924505818137056431.key 595451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.3ns 595451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 598047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 598063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8924505818137056431.key 598063 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 598078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6702657322049195000.key 598078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190ns 598078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 600783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6702657322049195000.key 600783 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 600783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props1169073413992708552.key 600783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.6ns 600799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 603378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 603394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props1169073413992708552.key 603394 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 603409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2754485170580396384.key 603409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.6ns 603409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 606113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2754485170580396384.key 606128 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 606128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props18180581033427031106.key 606128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.7ns 606128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 608740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18180581033427031106.key 608740 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 608755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8553097867416692850.key 608755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.7ns 608755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 611444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 611460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8553097867416692850.key 611475 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 611475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3063608455325641304.key 611475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.6ns 611475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 614211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3063608455325641304.key 614211 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 614211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 614211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 614211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 614211 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 614211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props5704191629122612483.key 614211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.5ns 614211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 616822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props5704191629122612483.key 616822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 616822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16925248227919373998.key 616822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.9ns 616822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 619606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16925248227919373998.key 619621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 619621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6904445381356745282.key 619621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.2ns 619621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 622435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6904445381356745282.key 622435 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 622450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props16584412108233795818.key 622450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.4ns 622450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 625140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 625155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props16584412108233795818.key 625155 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 625171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props8001655625630627185.key 625171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 328.6ns 625171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 627813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props8001655625630627185.key 627813 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 627844 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.props8560165135016073834.smt2 627844 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.props17484044559948564865.smt2 627844 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.props2293382159235201458.smt2 627844 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.props8206140870823366912.smt2 627844 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.props6518285752231267744.smt2 627844 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.props17560507057486415823.smt2 627860 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.props9497736535808759223.smt2 627875 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.props6023088248004623518.smt2 627875 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.props4818846132289109012.smt2 627891 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.props13944106093226693680.smt2 627891 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.props3137763868776801181.smt2 627891 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.props15791230553265315413.smt2 627891 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.props13900767358453226397.smt2 627891 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.props215116620317363223.smt2 627891 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.props3019003219082280881.smt2 627891 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.props10003499878026531552.smt2 627891 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.props18367824646699931185.smt2 627891 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.props4825598276306416578.smt2 627891 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.props3300019160938143867.smt2 627891 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.props9540951076968819431.smt2 627891 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.props3827344680640838953.smt2 627907 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.props9591893482158494248.smt2 627907 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.props8157014447110586166.smt2 627907 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.props13920880197590330636.smt2