Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.002s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.002s | 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.002s | 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.002s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.006s | 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.001s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.002s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | passed |
| [7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
| [8] ex2.props | testTranslation(TestData)[8] | 0.003s | passed |
| [9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
| [10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
| [13] float1.props | testZ3(TestData)[13] | - | ignored |
| [14] float2.props | testZ3(TestData)[14] | - | ignored |
| [15] heap1.props | testZ3(TestData)[15] | - | ignored |
| [16] int1.props | testZ3(TestData)[16] | - | ignored |
| [17] ite1.props | testZ3(TestData)[17] | - | ignored |
| [18] quant1.props | testZ3(TestData)[18] | - | ignored |
| [19] quant2.props | testZ3(TestData)[19] | - | ignored |
| [1] bool1.props | testZ3(TestData)[1] | - | ignored |
| [20] types1.props | testZ3(TestData)[20] | - | ignored |
| [21] types2.props | testZ3(TestData)[21] | - | ignored |
| [22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
| [23] upd1.props | testZ3(TestData)[23] | - | ignored |
| [24] upd2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool2.props | testZ3(TestData)[2] | - | ignored |
| [3] bool3.props | testZ3(TestData)[3] | - | ignored |
| [4] cast1.props | testZ3(TestData)[4] | - | ignored |
| [5] cast2.props | testZ3(TestData)[5] | - | ignored |
| [6] cast3.props | testZ3(TestData)[6] | - | ignored |
| [7] ex1.props | testZ3(TestData)[7] | - | ignored |
| [8] ex2.props | testZ3(TestData)[8] | - | ignored |
| [9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
708370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props139471333911452827.key 708370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.1ns 708370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 708573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 708573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 708573 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 709198 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 713233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 713249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props139471333911452827.key 713249 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 713280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props10163267320503545211.key 713280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.1ns 713280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 716939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 716955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props10163267320503545211.key 716955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 716970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props17572595720013402541.key 716970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.6ns 716970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 720520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 720551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props17572595720013402541.key 720551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 720551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17913832662794375212.key 720551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.1ns 720551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 724023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 724070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17913832662794375212.key 724070 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 724086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17308824206109525438.key 724086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.5ns 724086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 727511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 727542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17308824206109525438.key 727542 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 727542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14561601015426176628.key 727542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 390.5ns 727542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 731012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 731028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14561601015426176628.key 731028 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 731028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1846720736850434966.key 731028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.3ns 731044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 734357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 734373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1846720736850434966.key 734373 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 734389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7521695014174595886.key 734389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.7ns 734389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 737781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 737796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7521695014174595886.key 737796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 737812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props7261743101430300495.key 737812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.9ns 737812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 741236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 741252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props7261743101430300495.key 741267 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 741267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11807186822203736122.key 741267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 382.4ns 741267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 744643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 744659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11807186822203736122.key 744659 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.7ns 744659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12159577764684013844.key 744659 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.7ns 744659 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 748036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 748051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12159577764684013844.key 748051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 748067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props17715335717472821704.key 748067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.2ns 748067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 751351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 751366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props17715335717472821704.key 751366 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 751382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props12717534648077178998.key 751382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.6ns 751382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 754619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props12717534648077178998.key 754619 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.8ns 754635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props17585704986652482724.key 754635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.5ns 754635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 758042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props17585704986652482724.key 758042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 758042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props15485984276921074048.key 758042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.5ns 758058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 761513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props15485984276921074048.key 761513 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 761529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props5036487688995771454.key 761529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.2ns 761529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 765030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props5036487688995771454.key 765030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 765046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props595181198330795991.key 765046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.3ns 765046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 768298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 768313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props595181198330795991.key 768313 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 768313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props1211888886129196033.key 768313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.5ns 768329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 771756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props1211888886129196033.key 771756 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 771772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props5665966298628198361.key 771772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.1ns 771772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 775305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 775321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props5665966298628198361.key 775321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 775321 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 775321 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 775337 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 775337 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 775337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props18063301318604505135.key 775337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.9ns 775337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 778791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 778807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props18063301318604505135.key 778807 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.2ns 778822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props13299502266607224441.key 778822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.7ns 778822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 782402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13299502266607224441.key 782402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 782402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props4407255453161787771.key 782402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.1ns 782418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 785795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 785811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props4407255453161787771.key 785811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 785811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props10780193595056882114.key 785811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.7ns 785826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 789265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 789281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props10780193595056882114.key 789281 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 789296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7983796923897756374.key 789296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.8ns 789296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 792752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 792767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7983796923897756374.key 792767 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 793189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props2804794319578846886.key 793189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.2ns 793189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 796675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 796691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props2804794319578846886.key 796691 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 796691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props4567157333645925418.key 796691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.5ns 796691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 800099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props4567157333645925418.key 800099 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 800115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props18028546420227319497.key 800115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.2ns 800115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 803335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 803367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props18028546420227319497.key 803367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 803367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props14877628263748300219.key 803367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.2ns 803367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 806775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 806806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props14877628263748300219.key 806806 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 806806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1581609038735429721.key 806806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.4ns 806806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 810199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 810215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1581609038735429721.key 810215 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.8ns 810230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props12365984431871210316.key 810230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.5ns 810230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 813467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 813482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props12365984431871210316.key 813498 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 813498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props1493290397330155625.key 813498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.1ns 813498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 816875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 816907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props1493290397330155625.key 816907 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 816907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9321120113522320456.key 816907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.8ns 816907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 820487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 820502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9321120113522320456.key 820502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 820518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props8123629312404092571.key 820518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 820518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 823958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 823974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props8123629312404092571.key 823990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns 823990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props18351961275487763744.key 823990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.5ns 823990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 827616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 827632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props18351961275487763744.key 827632 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.3ns 827648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props15489557081822420398.key 827648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 377ns 827648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 831056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 831071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props15489557081822420398.key 831071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 831071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props4659262705789028536.key 831071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 547.4ns 831087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 834480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 834496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props4659262705789028536.key 834496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5ns 834512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props11970230238956208564.key 834512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 414.5ns 834512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 837748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 837764 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props11970230238956208564.key 837764 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.7ns 837779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7751869009687489588.key 837779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 386.6ns 837779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 841015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 841046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7751869009687489588.key 841046 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 841046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12463929895395765384.key 841046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 376.8ns 841046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 844236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 844252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12463929895395765384.key 844252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.1ns 844267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6443482242780639385.key 844267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.1ns 844267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 847567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 847598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6443482242780639385.key 847598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 847598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props14526659497479375032.key 847598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.7ns 847598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 850834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 850849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props14526659497479375032.key 850865 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 850865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props15947905498612695480.key 850865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.7ns 850865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 854149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 854164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props15947905498612695480.key 854164 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.9ns 854180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13200141369687999063.key 854180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 346.9ns 854180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 857714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 857730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13200141369687999063.key 857730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns 857730 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 857730 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 857730 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 857730 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 857730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15408538634464991464.key 857730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.8ns 857745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 861168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 861184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15408538634464991464.key 861184 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.1ns 861184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props2430239249502054915.key 861184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.5ns 861184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 864647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 864662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props2430239249502054915.key 864662 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.5ns 864662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props854488068741307599.key 864662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns 864678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 868134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 868149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props854488068741307599.key 868149 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.9ns 868165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11787377639020628456.key 868165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.6ns 868165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 871572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 871603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11787377639020628456.key 871603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.2ns 871603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props15955662802106293458.key 871603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.9ns 871603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 875199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 875214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props15955662802106293458.key 875214 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns 875230 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.props18397747598023538107.smt2 875230 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.props7726397938822213700.smt2 875230 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.props4110007708223043782.smt2 875230 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.props14315845484777268266.smt2 875230 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.props6828555977038724758.smt2 875245 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.props6581441746278492148.smt2 875245 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.props623587823357311938.smt2 875245 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.props2451430585501893426.smt2 875245 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.props12609418466052822669.smt2 875245 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.props8658028812614220041.smt2 875245 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.props13052723880024158114.smt2 875245 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.props1428056521966419281.smt2 875261 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.props8759316752372847588.smt2 875261 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.props3651684319288032315.smt2 875261 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.props11762428808336365936.smt2 875261 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.props13321818933081357446.smt2 875277 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.props10933487237127695409.smt2 875277 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.props13983494609373783424.smt2 875277 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.props5604035074872419585.smt2 875277 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.props8575470773139203966.smt2 875277 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.props10573235898259588766.smt2 875277 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.props13057258890151895310.smt2 875292 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.props2006994731382209699.smt2 875292 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.props13592872783063448053.smt2