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] | 0.002s | passed |
| [14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | passed |
| [16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
| [17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
| [18] quant1.props | testTranslation(TestData)[18] | 0.001s | passed |
| [19] quant2.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.002s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | 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.001s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.001s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.001s | 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.001s | passed |
| [6] cast3.props | testTranslation(TestData)[6] | 0.002s | 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.011s | 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
509826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props7077626507470784261.key 509826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.1ns 509826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 509942 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 509942 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 509942 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 509958 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 510509 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 513549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 513564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props7077626507470784261.key 513564 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 513580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props13994376688256276116.key 513580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.4ns 513580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 516160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 516176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props13994376688256276116.key 516176 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 516176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props238163166311437254.key 516176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.4ns 516176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 518741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 518756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props238163166311437254.key 518756 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 518772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props2450740414507881082.key 518772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.6ns 518772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 521356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 521372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props2450740414507881082.key 521372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 521372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props5527275684871944914.key 521372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.2ns 521372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 523940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 523955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props5527275684871944914.key 523955 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 523971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props10608289265351975662.key 523971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.8ns 523971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 526619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 526635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props10608289265351975662.key 526635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 526635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props18352026565445806383.key 526635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.3ns 526635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 529296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 529311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props18352026565445806383.key 529311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 529311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props11707835649015664978.key 529311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.6ns 529311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 531974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 531989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props11707835649015664978.key 531989 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 531989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props2264432623327780685.key 531989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.9ns 531989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 534679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 534695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props2264432623327780685.key 534695 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 534711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props6383397574179271293.key 534711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.8ns 534711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 537406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 537422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props6383397574179271293.key 537422 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 537422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props12578758145147685026.key 537422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.1ns 537437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 540056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 540072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props12578758145147685026.key 540072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 540072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16457834594640090803.key 540072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 356.1ns 540087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 542804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 542820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16457834594640090803.key 542820 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 542820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props6523565238353730593.key 542820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.8ns 542820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 545545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 545561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props6523565238353730593.key 545561 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 545576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props7280551962312987998.key 545576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.6ns 545576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 548273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 548288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props7280551962312987998.key 548288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 548304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props4006688496221605334.key 548304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.6ns 548304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 550930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 550946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props4006688496221605334.key 550946 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 550946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props18360602415024156400.key 550946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122ns 550946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 553660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 553676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props18360602415024156400.key 553676 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 553692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6495124699828146436.key 553692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.2ns 553692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 556381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 556397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6495124699828146436.key 556397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 556412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props16328803403532708280.key 556412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.8ns 556412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 559106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 559122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props16328803403532708280.key 559122 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 559138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7159741722386535209.key 559138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.1ns 559138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 561826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 561842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7159741722386535209.key 561842 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 561842 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 561858 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 561858 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 561858 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 561858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props1383999176655586458.key 561858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.5ns 561858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 564586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 564601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props1383999176655586458.key 564601 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 564601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props7782568284816976319.key 564601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.8ns 564601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 567197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 567213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props7782568284816976319.key 567213 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 567228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6032042813877822262.key 567228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.4ns 567228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 569923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 569938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6032042813877822262.key 569938 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 569938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props3979128578078189444.key 569938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.8ns 569954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 572643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 572643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props3979128578078189444.key 572643 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 572658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props11502946369046517246.key 572658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.9ns 572658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 575370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 575385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props11502946369046517246.key 575385 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 575663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props1597415952272068498.key 575663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.4ns 575663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 578373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 578388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props1597415952272068498.key 578388 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 578388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props14085476460661150722.key 578388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338.5ns 578388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 581109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 581109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props14085476460661150722.key 581109 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 581124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props4425854725313373289.key 581124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.2ns 581124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 583800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 583816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props4425854725313373289.key 583816 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 583816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props3123693357048100864.key 583816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 332.6ns 583816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 586507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 586507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props3123693357048100864.key 586523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 586523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props8528039194627621427.key 586523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201ns 586523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 589226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 589226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props8528039194627621427.key 589242 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 589242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props1737310060443901314.key 589242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.6ns 589242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 591925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 591941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props1737310060443901314.key 591941 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 591941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props246839968335230168.key 591941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 379.7ns 591941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 594631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 594647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props246839968335230168.key 594647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 594647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props9159236266718559330.key 594647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.5ns 594647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 597327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 597343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props9159236266718559330.key 597343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 597359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props17300338313572846119.key 597359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.4ns 597359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 600034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 600050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props17300338313572846119.key 600050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 600065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props9046222710200425613.key 600065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.2ns 600065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 602758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 602775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props9046222710200425613.key 602775 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 602775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3444521486637125907.key 602775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 363.7ns 602789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 605468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 605468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3444521486637125907.key 605483 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 605483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props427418546626485439.key 605483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.5ns 605483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 608166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 608182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props427418546626485439.key 608182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 608182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props2401255951265898251.key 608182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.3ns 608182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 610863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 610956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props2401255951265898251.key 610956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 610973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props2068834472377246377.key 610973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.8ns 610974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 613663 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 613678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props2068834472377246377.key 613678 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 613678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props3314054074767851055.key 613678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.3ns 613694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 616367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 616382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props3314054074767851055.key 616382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 616382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props6806017036989135674.key 616382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.9ns 616382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 619065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 619081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props6806017036989135674.key 619081 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 619081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props9507087071492130884.key 619081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.1ns 619081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 621763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 621779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props9507087071492130884.key 621794 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 621794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props4534679630185074067.key 621794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.7ns 621794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 624465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 624559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props4534679630185074067.key 624559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 624559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props17702629558558595791.key 624559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.3ns 624559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 627236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 627252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props17702629558558595791.key 627252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 627252 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 627252 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 627252 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 627252 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 627252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props269518747905864123.key 627252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203ns 627252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 629935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 629951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props269518747905864123.key 629951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.8ns 629951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props13292577650501841043.key 629951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.4ns 629966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 632615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 632631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props13292577650501841043.key 632631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 632631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props6535005654858620202.key 632631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.2ns 632631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 635382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 635397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props6535005654858620202.key 635397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 635413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props11230933801456503962.key 635413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.1ns 635413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 638077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 638093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props11230933801456503962.key 638093 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 638093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props3412684168222467167.key 638093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.9ns 638093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 640773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 640788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props3412684168222467167.key 640788 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 640788 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.props9307664752500115240.smt2 640788 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.props2883935961358838091.smt2 640788 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.props9835894143433223652.smt2 640788 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.props12274589982291483789.smt2 640788 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.props2368794548077546856.smt2 640788 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.props16232909041410133915.smt2 640804 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.props10395178699744988530.smt2 640804 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.props18397477740759057405.smt2 640804 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.props2286043373771347784.smt2 640804 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.props7168614480494937861.smt2 640820 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.props12932084018871240631.smt2 640820 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.props10325020838791456038.smt2 640820 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.props5095351385688147432.smt2 640820 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.props13324784587482017793.smt2 640820 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.props12356160691950871199.smt2 640820 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.props11536094114710502701.smt2 640820 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.props2307137530692193384.smt2 640820 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.props14934883470508938433.smt2 640820 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.props6416670277214620762.smt2 640835 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.props17065211639905733282.smt2 640835 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.props8922455182316780958.smt2 640835 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.props11808524120716706716.smt2 640835 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.props15063703642834421109.smt2 640835 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.props11315425731370374044.smt2