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.003s | 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.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.007s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.008s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.004s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.006s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.002s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | 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.011s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | 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
622095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props4464106774545833610.key 622095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.3ns 622095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622229 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 622229 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 622244 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 622244 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 622736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 626555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 626571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props4464106774545833610.key 626571 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 626602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14665976662175948694.key 626602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 370.5ns 626602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 629781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14665976662175948694.key 629781 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 629797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15435224759664801902.key 629797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233ns 629797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 633007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15435224759664801902.key 633022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 263.5ns 633022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props12412948502908645106.key 633022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.5ns 633022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 636771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props12412948502908645106.key 636771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 636771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16874485803918255647.key 636771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.1ns 636771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 639930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16874485803918255647.key 639930 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 639930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props15442007704406732844.key 639930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.7ns 639930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 643073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 643089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props15442007704406732844.key 643089 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 643089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props17475841973914974636.key 643089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.1ns 643089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 646254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props17475841973914974636.key 646254 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 646270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props14953252728563327379.key 646270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.1ns 646270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 649491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props14953252728563327379.key 649491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 649491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8939213536150428688.key 649491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 552ns 649507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 653073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 653090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8939213536150428688.key 653090 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 653105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props14731187897502888469.key 653105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.3ns 653105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 656446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 656462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props14731187897502888469.key 656462 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 656462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props512526825188483936.key 656462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.1ns 656478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 659558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 659574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props512526825188483936.key 659574 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 659590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props13511515738671265058.key 659590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.9ns 659590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 662765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props13511515738671265058.key 662765 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 662765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props16996421968209509761.key 662765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.1ns 662765 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 665942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props16996421968209509761.key 665942 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 665942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props9105040452524393287.key 665942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.2ns 665942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 669132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props9105040452524393287.key 669132 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 669148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15876073852131397516.key 669148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 563.8ns 669148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 672334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15876073852131397516.key 672349 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 672349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props11465098184825057128.key 672349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.4ns 672349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 675711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props11465098184825057128.key 675726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 675726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props990299569050980007.key 675726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 867.5ns 675726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 678884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props990299569050980007.key 678884 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 678884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props977030854414067031.key 678884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.2ns 678884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 682011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 682042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props977030854414067031.key 682042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 682042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props9711094328547484730.key 682042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.4ns 682042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 685231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 685247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props9711094328547484730.key 685262 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 685262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 685262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 685262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 685262 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 685262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15946873866542743459.key 685262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.8ns 685278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 688545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 688576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15946873866542743459.key 688576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 688592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2183849212362579164.key 688592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 479ns 688592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 691933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2183849212362579164.key 691933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 691949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props16737328324707038254.key 691949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.7ns 691949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 695083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 695099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props16737328324707038254.key 695099 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 695115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props6079078752174722658.key 695115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.3ns 695115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 698242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 698257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props6079078752174722658.key 698257 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 698273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13884175596661478569.key 698273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141ns 698273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 701400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13884175596661478569.key 701400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 701729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props15739305608697714278.key 701729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.2ns 701746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 705043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props15739305608697714278.key 705043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 705043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props11174841090666474316.key 705043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166ns 705058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 708459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props11174841090666474316.key 708459 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 708474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15899026622269927910.key 708474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.1ns 708474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 711607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 711623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15899026622269927910.key 711623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 711639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props1272042868780383781.key 711639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.2ns 711639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 714731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 714747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props1272042868780383781.key 714747 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 714747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17640201974209201041.key 714747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.8ns 714747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 717900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17640201974209201041.key 717900 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 717900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props6628065927967688836.key 717900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.5ns 717916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 721168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props6628065927967688836.key 721168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 721168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15553423419086523572.key 721168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.22ms 721168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 724378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15553423419086523572.key 724378 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 724378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9399626189345390668.key 724378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.2ns 724394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 727844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9399626189345390668.key 727844 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 727860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13702742579921544173.key 727860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.5ns 727860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 730974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13702742579921544173.key 730974 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 730974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props17702319170066396972.key 730974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.9ns 730974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 734070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props17702319170066396972.key 734070 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 734070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props1845492755055690914.key 734070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.8ns 734086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 737197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props1845492755055690914.key 737197 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 737212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8604043853962281222.key 737212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.1ns 737212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 740408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8604043853962281222.key 740408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 740424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props5953883046780629614.key 740424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 550.8ns 740424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 743660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props5953883046780629614.key 743660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 743676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props10732950289109395825.key 743676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 523.9ns 743691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 746851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props10732950289109395825.key 746851 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 746851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props974193083205021204.key 746851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.5ns 746851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 750202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props974193083205021204.key 750202 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 750202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props12580781672923825689.key 750202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.9ns 750217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 753408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props12580781672923825689.key 753408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 753423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8239865864773121212.key 753423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.9ns 753423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 756587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8239865864773121212.key 756587 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 756587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8893497469795416641.key 756587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.8ns 756587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 759667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8893497469795416641.key 759667 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 759667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5728852939751439502.key 759667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.6ns 759667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 763184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 763200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5728852939751439502.key 763200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 763200 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 763216 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 763216 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 763216 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 763216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11438536261728915989.key 763216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 535.3ns 763216 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 766436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 766466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11438536261728915989.key 766467 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 766472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props234573489838320409.key 766472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.9ns 766475 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 769753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props234573489838320409.key 769753 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 769768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props7415622076552894663.key 769768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 501.9ns 769768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 772869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props7415622076552894663.key 772869 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 772869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props4568486918809712299.key 772869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.6ns 772869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 776043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props4568486918809712299.key 776043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 776058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props11909689799397024680.key 776058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.9ns 776058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 779226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11909689799397024680.key 779226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 779226 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.props5922567590370960251.smt2 779241 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.props7862284848019187684.smt2 779241 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.props14000895455452207063.smt2 779241 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.props6406166492939391582.smt2 779241 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.props14303832048807761656.smt2 779241 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.props18284324360453034752.smt2 779257 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.props4221595168677256228.smt2 779257 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.props17378706183403909707.smt2 779257 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.props17649179388147145910.smt2 779257 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.props8403098843567582010.smt2 779257 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.props16181112159251881377.smt2 779272 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.props1527127373819199337.smt2 779272 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.props10887640394414934771.smt2 779272 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.props6148844247030326126.smt2 779272 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.props5551746517579440158.smt2 779272 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.props3912452292373158041.smt2 779272 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.props6397026887436948040.smt2 779288 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.props11938505889415089374.smt2 779288 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.props3149083111178310239.smt2 779303 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.props8718577544213758259.smt2 779316 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.props16244325457952674069.smt2 779318 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.props17329323720649706005.smt2 779320 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.props5956900776377603791.smt2 779321 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.props6417922548133823554.smt2