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] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.003s | 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.002s | 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.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.001s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.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
602853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props11224086196314755634.key 602853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.8ns 602853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602994 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 602994 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 602994 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 602994 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 603514 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 606884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 606900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11224086196314755634.key 606900 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 606931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10230546971934313673.key 606931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.2ns 606931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 610361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10230546971934313673.key 610361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 610376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props6466799726946174850.key 610376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.3ns 610376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 613715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props6466799726946174850.key 613715 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 613715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props872326923837751076.key 613715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.1ns 613731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 616768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props872326923837751076.key 616768 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 616784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5201605053500370278.key 616784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.8ns 616784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 619818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5201605053500370278.key 619818 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 619834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props11751310379572794186.key 619834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.5ns 619834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 622842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 622873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11751310379572794186.key 622873 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 622873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1596003122457646683.key 622873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.8ns 622888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 626217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1596003122457646683.key 626217 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 626217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2638925767527036938.key 626217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.1ns 626217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 629977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2638925767527036938.key 629977 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 629977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props10543164629310338057.key 629977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.4ns 629977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 633319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 633335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props10543164629310338057.key 633335 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 633335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props16698398776089281397.key 633335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.6ns 633335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 636603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props16698398776089281397.key 636603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 636603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props11548300500577350507.key 636603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.4ns 636603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 639637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props11548300500577350507.key 639637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 639637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3488180965427028752.key 639637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.6ns 639652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 642763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3488180965427028752.key 642779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 642779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6145668012422245323.key 642779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.4ns 642779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 645966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 645982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6145668012422245323.key 645997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 645997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2483462869186918407.key 645997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.6ns 645997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 649015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2483462869186918407.key 649015 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 649031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props2869408142779151985.key 649031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.2ns 649031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 652032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props2869408142779151985.key 652032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 652048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props16239588003995785564.key 652048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.9ns 652048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 655099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props16239588003995785564.key 655099 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 655114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props3845614612655382649.key 655114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.8ns 655114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 658257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props3845614612655382649.key 658273 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 658304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props3440405311071642230.key 658304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.3ns 658304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 661514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 661529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props3440405311071642230.key 661529 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 661529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props6322082192899981833.key 661529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.6ns 661529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 664547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 664562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props6322082192899981833.key 664562 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 664578 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 664578 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 664578 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 664578 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 664578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17497045555389466886.key 664578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.7ns 664578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 667612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 667628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17497045555389466886.key 667628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 667628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props17089965634951272543.key 667628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.5ns 667644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 670686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 670702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props17089965634951272543.key 670702 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 670702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5184693891205506471.key 670702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.8ns 670702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 673772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 673788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5184693891205506471.key 673804 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 673804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props7654507522683642594.key 673804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.1ns 673804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 677133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props7654507522683642594.key 677133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 677149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props14168392389251230640.key 677149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.9ns 677149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 680182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 680198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props14168392389251230640.key 680198 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 680510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props5393353320447259783.key 680510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.5ns 680510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 683587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props5393353320447259783.key 683587 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 683587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props16566859054904429766.key 683587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.8ns 683587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 686669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 686684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props16566859054904429766.key 686684 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 686700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props12561516447945425792.key 686700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.1ns 686700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 689817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 689832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props12561516447945425792.key 689832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 689832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props5917863708163633182.key 689832 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 445.6ns 689879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 693105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props5917863708163633182.key 693121 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 693121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props3810307109995056388.key 693121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 431.1ns 693121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 696532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 696548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props3810307109995056388.key 696548 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 696548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1228268469390413270.key 696548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 424ns 696548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 699585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 699601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1228268469390413270.key 699616 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 699616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props6729710849258903624.key 699616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 424.4ns 699616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 702696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 702711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props6729710849258903624.key 702711 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 702711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props10426947212542967446.key 702711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.3ns 702727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 705745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 705776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props10426947212542967446.key 705776 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 705776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5638117936387878850.key 705776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.1ns 705776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 708981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5638117936387878850.key 708981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 708981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props7550536191440517948.key 708981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.8ns 708981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 712077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props7550536191440517948.key 712077 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 712077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12939196962465435189.key 712077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.4ns 712077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 715364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12939196962465435189.key 715364 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 715364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16363186772376086357.key 715364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225ns 715364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 718382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 718431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16363186772376086357.key 718431 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 718431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props1273772274450633570.key 718431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.8ns 718431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 721464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props1273772274450633570.key 721464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 721480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3096793439832681588.key 721480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.2ns 721480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 724622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3096793439832681588.key 724622 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 724622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4725254344277838572.key 724622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.9ns 724622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 727827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4725254344277838572.key 727827 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 727827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6967261482160576581.key 727827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 445.4ns 727827 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 731016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6967261482160576581.key 731016 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 731016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props18221205368673802147.key 731016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.49ms 731032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 734097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props18221205368673802147.key 734097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 734097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props8638220611408363310.key 734097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.1ns 734097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 737345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props8638220611408363310.key 737345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 737345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props2495338421720114778.key 737345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.6ns 737345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 740420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props2495338421720114778.key 740420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 740420 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 740420 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 740420 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 740420 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 740420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props9347827227474261712.key 740420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.3ns 740420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 743485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props9347827227474261712.key 743485 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 743485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props6861952671818683492.key 743485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.6ns 743485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 746511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props6861952671818683492.key 746511 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 746511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props201661468608709668.key 746511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.5ns 746511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 749685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props201661468608709668.key 749685 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 749685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11473229840992448451.key 749685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.2ns 749700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 752921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11473229840992448451.key 752921 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 752937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props9400556142713439901.key 752937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.2ns 752937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 756237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props9400556142713439901.key 756237 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 756253 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.props13948741349279778894.smt2 756253 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.props7368027945502684824.smt2 756253 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.props2557201702107687519.smt2 756253 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.props16208523919230235578.smt2 756253 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.props6148593403224224951.smt2 756253 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.props2882109101901932458.smt2 756253 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.props17037280139363473254.smt2 756268 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.props3901678257382414523.smt2 756268 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.props16635137105335031638.smt2 756268 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.props10432832096317732060.smt2 756268 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.props2630886970770031756.smt2 756268 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.props3703943450271419856.smt2 756268 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.props10971235100448965668.smt2 756268 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.props15629051738054149637.smt2 756268 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.props11931145111298433310.smt2 756268 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.props1968868484897070133.smt2 756268 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.props1680709812409048008.smt2 756268 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.props1271521586181535397.smt2 756284 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.props10279457004085912777.smt2 756284 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.props2939482426755109376.smt2 756284 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.props5299301965112296409.smt2 756284 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.props13338041095515423653.smt2 756284 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.props17736558155640103657.smt2 756284 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.props8003298818999642799.smt2