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.002s | passed |
| [12] float.sqrt2.props | testTranslation(TestData)[12] | 0.008s | passed |
| [13] float1.props | testTranslation(TestData)[13] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.002s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 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.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.022s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.004s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.001s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.002s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.002s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.003s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.003s | 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
451993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props12324022796168029557.key 451993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.5ns 451993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 452118 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 452118 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 452118 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 452118 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 452525 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 455556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 455620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props12324022796168029557.key 455621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 455663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props17204364557277738486.key 455663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.4ns 455663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 458274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 458290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props17204364557277738486.key 458290 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 458290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1610454149775162582.key 458290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.4ns 458290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 460875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 460891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1610454149775162582.key 460891 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 460891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props6773151494882493331.key 460891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340ns 460907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 463495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 463511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props6773151494882493331.key 463511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 463511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3816332586331380873.key 463511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.3ns 463526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 466172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 466187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3816332586331380873.key 466187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 466219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props13144017187622619817.key 466219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.8ns 466219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 468930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 468945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props13144017187622619817.key 468945 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 468945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props2401011912000502869.key 468945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.1ns 468961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 471550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 471565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props2401011912000502869.key 471565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 471565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props1275057381017879174.key 471565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.9ns 471581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 474167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 474182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props1275057381017879174.key 474182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 474182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7289854532444676939.key 474182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.6ns 474182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 476896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 476974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7289854532444676939.key 476974 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 476990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7973749103406748337.key 476990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.7ns 476990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 479668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 479684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7973749103406748337.key 479684 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 479699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4299858964038827203.key 479699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.1ns 479715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 482285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 482301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4299858964038827203.key 482317 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 482317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props7875975928825161607.key 482317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.9ns 482317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 484883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 484898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props7875975928825161607.key 484914 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 484914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props3106039344450595237.key 484914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.5ns 484914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 487565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 487581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props3106039344450595237.key 487581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 487581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props18244087166257877841.key 487581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.3ns 487596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 490305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 490320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props18244087166257877841.key 490320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 490336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props5767415942575030048.key 490336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.1ns 490336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 492905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 492920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props5767415942575030048.key 492920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.3ns 492936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props17858118221085284003.key 492936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.1ns 492936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 495517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 495517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props17858118221085284003.key 495532 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 495547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9862537802386673151.key 495547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 362.8ns 495552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 498262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 498262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9862537802386673151.key 498277 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 498277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13196560604717235776.key 498277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.3ns 498277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 501178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 501193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13196560604717235776.key 501193 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 501193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17915884694637407619.key 501193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.3ns 501193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 503771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 503787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17915884694637407619.key 503787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 503802 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 503802 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 503802 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 503802 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 503802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props13859601855405506595.key 503802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133ns 503802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 506366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 506382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props13859601855405506595.key 506382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 506398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16094972894997930224.key 506398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.5ns 506398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 508982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 508998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16094972894997930224.key 508998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 509014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7770380185744730116.key 509014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.4ns 509014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 511603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 511618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7770380185744730116.key 511618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 511618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props8851220307624454735.key 511618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.2ns 511618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 514229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 514244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props8851220307624454735.key 514244 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 514244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props18264251003883991597.key 514244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.7ns 514244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 516871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 516887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props18264251003883991597.key 516887 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 517173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7721214498173494063.key 517173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.5ns 517173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 519807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 519823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7721214498173494063.key 519823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 519823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props3356837130885898397.key 519823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253ns 519823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 522465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 522481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props3356837130885898397.key 522481 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 522496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15678789849795489166.key 522496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.6ns 522496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 525233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 525249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15678789849795489166.key 525249 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 525249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props1802809746297260378.key 525249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.6ns 525249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 527907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 527922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1802809746297260378.key 527922 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns 527922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props14234016590977138498.key 527922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.8ns 527922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 530584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 530600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props14234016590977138498.key 530600 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 530616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7012222403531954560.key 530616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.1ns 530616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 533289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 533304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7012222403531954560.key 533304 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns 533304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17781954677899328176.key 533304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.1ns 533304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 535988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 536003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17781954677899328176.key 536003 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 536003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props3414924843715373139.key 536003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.6ns 536003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 538707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 538722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props3414924843715373139.key 538722 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 538738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props3619703057261623142.key 538738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 528.5ns 538738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 541426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 541442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props3619703057261623142.key 541442 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 541442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props5448474108699848831.key 541442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207ns 541442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 544154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 544169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props5448474108699848831.key 544169 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 544169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props1770837157635626473.key 544169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131ns 544169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 546869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 546885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props1770837157635626473.key 546885 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 546885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props5116791987217717441.key 546885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.3ns 546885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 549565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 549581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props5116791987217717441.key 549581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 549596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9546038280090917710.key 549596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.6ns 549596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 552285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 552300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9546038280090917710.key 552300 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 552300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props6595709656208855556.key 552300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.9ns 552316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 555006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 555022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props6595709656208855556.key 555022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 555037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4626632426888681767.key 555037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.5ns 555037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 557761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 557777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4626632426888681767.key 557777 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 557777 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props2234929357017396832.key 557777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.8ns 557792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 560487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 560503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props2234929357017396832.key 560503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 560503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3580610677009762220.key 560503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.9ns 560503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 563218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 563233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3580610677009762220.key 563233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 563249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props9253408867251847669.key 563249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.5ns 563249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 565957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 565972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props9253408867251847669.key 565972 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 565988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props15723139899637463462.key 565988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.8ns 565988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 568698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 568714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props15723139899637463462.key 568714 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 568714 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 568714 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 568714 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 568714 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 568714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props12299969929771612666.key 568714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.1ns 568714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 571420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 571436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props12299969929771612666.key 571436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 571451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props10670028619595773288.key 571451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296ns 571451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 574163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 574179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props10670028619595773288.key 574179 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 574195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props3791815657539403319.key 574195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.2ns 574195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 576915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 576931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props3791815657539403319.key 576931 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 576931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10499796859459697639.key 576931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.7ns 576931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 579642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 579657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10499796859459697639.key 579657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 579657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props2638092731222461681.key 579657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.9ns 579673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 582368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 582384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props2638092731222461681.key 582384 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 582400 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.props3436501297441500747.smt2 582400 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.props9986501826320748869.smt2 582400 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.props6041721121022921297.smt2 582400 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.props5443432105720377598.smt2 582400 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.props15789776127060600773.smt2 582415 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.props6713170180052743121.smt2 582415 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.props2313041984683926716.smt2 582415 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.props16706429190607160415.smt2 582415 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.props523931185511440202.smt2 582415 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.props10549401161029098826.smt2 582415 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.props12260209944076226977.smt2 582431 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.props4958746133557977888.smt2 582431 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.props18336657483034315492.smt2 582431 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.props1276190230955219692.smt2 582431 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.props14029122858121750159.smt2 582431 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.props13645880323232379698.smt2 582447 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.props14855352028948633689.smt2 582447 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.props2248439292758849390.smt2 582447 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.props17317264916770083928.smt2 582447 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.props17725725926933288368.smt2 582447 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.props9185647709545763154.smt2 582447 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.props9667646600633281348.smt2 582447 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.props12125946735159144409.smt2 582447 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.props6797136480766083909.smt2