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.002s | 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.002s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | 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.001s | 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.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.005s | 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.002s | 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
606527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props16627528756008266128.key 606527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 574.4ns 606527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 606668 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606668 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606668 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 606668 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 607356 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 610906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 610921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props16627528756008266128.key 610921 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 610937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props5274583625593776926.key 610937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.5ns 610937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 614049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 614065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props5274583625593776926.key 614080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 614080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props9674639555632553451.key 614080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 328.2ns 614080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 617144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 617159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props9674639555632553451.key 617159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 617159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2527471124716001717.key 617159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.8ns 617159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 620271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 620286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2527471124716001717.key 620286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 620286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props16141633982430835164.key 620286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.7ns 620302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 623398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 623414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props16141633982430835164.key 623414 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 623429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props4293903394090192137.key 623429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.2ns 623429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 626478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 626510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props4293903394090192137.key 626510 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 626510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1901360557037341.key 626510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.2ns 626510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 629700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1901360557037341.key 629700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 629700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12295904362735336896.key 629700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.8ns 629700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 632921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12295904362735336896.key 632921 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 632936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props5566391493574394990.key 632936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.8ns 632936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 636048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 636064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props5566391493574394990.key 636079 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 636079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props13115394270910149180.key 636095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 24.95ms 636110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 639504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 639520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props13115394270910149180.key 639520 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 639535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props17216558841937830025.key 639535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.8ns 639535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 642882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 642897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props17216558841937830025.key 642897 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 642913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props9014373831758694076.key 642913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.2ns 642913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 646305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 646321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props9014373831758694076.key 646321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 646337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8637595380751551603.key 646337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.5ns 646337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 649401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 649417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8637595380751551603.key 649417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 649417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props375893664552799267.key 649417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413ns 649432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 652512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 652527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props375893664552799267.key 652543 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.9ns 652543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4791725657834799313.key 652543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.3ns 652543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 655701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 655717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4791725657834799313.key 655717 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 655717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props13247606555949581374.key 655732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.1ns 655732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 658875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13247606555949581374.key 658875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 658875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14319254699267536634.key 658875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 433.3ns 658875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 662018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 662034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14319254699267536634.key 662049 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 662049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props7725703465502241939.key 662049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.7ns 662049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 665145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 665160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props7725703465502241939.key 665160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 665176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props16156697130570427469.key 665176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.3ns 665176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 668381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props16156697130570427469.key 668381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 668381 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668396 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668396 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668396 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 668396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props6361470425370645080.key 668396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 668396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 671494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 671510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props6361470425370645080.key 671510 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 671525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props1695024178172026057.key 671525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.6ns 671525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 674637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 674653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props1695024178172026057.key 674653 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 674653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1485304597661811962.key 674653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.5ns 674653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 677905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 677920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1485304597661811962.key 677936 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 677936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13005454774895909761.key 677936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.1ns 677936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 681095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13005454774895909761.key 681095 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 681095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props154520656520049880.key 681095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234ns 681095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 684410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props154520656520049880.key 684410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 684738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props11124000622553263060.key 684738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.8ns 684754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 687896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props11124000622553263060.key 687896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 687896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props2381903203814020367.key 687896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.2ns 687912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 691179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 691195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props2381903203814020367.key 691195 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 691206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props1920118117821917509.key 691206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 691211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 694416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props1920118117821917509.key 694416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 694416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3636205296207375815.key 694416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 395.4ns 694431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 697605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3636205296207375815.key 697621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 697621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props251800262481960867.key 697621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.1ns 697621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 700967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props251800262481960867.key 700983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 700983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props16102383970546021379.key 700983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 608.2ns 700983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 704143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props16102383970546021379.key 704143 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 704143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15549611612501343166.key 704143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.1ns 704159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 707426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15549611612501343166.key 707426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 707426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props12869707369536341729.key 707426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.4ns 707426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710569 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 710584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props12869707369536341729.key 710584 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 710600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15447441029602983034.key 710600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 365.9ns 710600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 713930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15447441029602983034.key 713946 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 713946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9877841046386493050.key 713946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.1ns 713946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 717245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9877841046386493050.key 717245 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 717261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props4986069930452421853.key 717261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.1ns 717261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 720403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props4986069930452421853.key 720403 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 720403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8392894745617424859.key 720403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.7ns 720419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 723624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 723640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8392894745617424859.key 723640 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 723640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props17830391251417102310.key 723640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.9ns 723656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 726782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props17830391251417102310.key 726782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 726782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props5175199545381030701.key 726782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.4ns 726798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 730082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 730098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props5175199545381030701.key 730098 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 730098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props13388010847915443432.key 730098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.1ns 730098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 733242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13388010847915443432.key 733242 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 733258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props10599044575424776728.key 733258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462ns 733258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 736524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props10599044575424776728.key 736524 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 736540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props8981502802716365814.key 736540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.6ns 736540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 739840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props8981502802716365814.key 739840 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 739856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props5195940625853497814.key 739856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.1ns 739856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 742935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 742951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props5195940625853497814.key 742951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 742951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props3082781061227151317.key 742951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.3ns 742951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 746203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props3082781061227151317.key 746218 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 746218 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 746218 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 746218 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 746218 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 746218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props17542836875860128331.key 746218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.8ns 746218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 749361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props17542836875860128331.key 749361 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 749376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props12967972862027129923.key 749376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.8ns 749376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 752675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 752691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props12967972862027129923.key 752691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 752706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props5732262819351993825.key 752706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.8ns 752706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756006 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 756021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props5732262819351993825.key 756021 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 756021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13151233399912593760.key 756021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.7ns 756037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 759164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 759180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13151233399912593760.key 759180 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 759180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3704654777121208660.key 759180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.8ns 759180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 762449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 762465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3704654777121208660.key 762465 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 762465 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.props6477872200267427527.smt2 762465 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.props278313386106911415.smt2 762481 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.props2500633831672581061.smt2 762481 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.props15646264003538100696.smt2 762481 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.props3464401179433830846.smt2 762481 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.props16697347232994245484.smt2 762481 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.props2579731303752401980.smt2 762481 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.props17424665602750981804.smt2 762496 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.props10407307638190793497.smt2 762496 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.props4261993599022248814.smt2 762496 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.props10317454029378886741.smt2 762496 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.props8174996514839936137.smt2 762496 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.props10935447337625813873.smt2 762496 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.props11509625813357717228.smt2 762496 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.props10108065865613846965.smt2 762496 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.props10003919121510056905.smt2 762496 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.props17453410536487009999.smt2 762512 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.props6848885373461405111.smt2 762512 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.props12137257495232449518.smt2 762512 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.props13673501038249400830.smt2 762512 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.props6584820018381899535.smt2 762512 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.props15720824050119558806.smt2 762512 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.props8307850722555089439.smt2 762512 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.props954580490909192126.smt2