Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] float.sinDouble.props | testTranslation(TestData)[10] | 0.003s | passed |
| [11] float.sqrt1.props | testTranslation(TestData)[11] | 0.003s | 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.003s | passed |
| [15] heap1.props | testTranslation(TestData)[15] | 0.002s | 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.001s | passed |
| [1] bool1.props | testTranslation(TestData)[1] | 0.003s | passed |
| [20] types1.props | testTranslation(TestData)[20] | 0.002s | passed |
| [21] types2.props | testTranslation(TestData)[21] | 0.002s | passed |
| [22] uninterpreted1.props | testTranslation(TestData)[22] | 0.006s | passed |
| [23] upd1.props | testTranslation(TestData)[23] | 0.002s | passed |
| [24] upd2.props | testTranslation(TestData)[24] | 0.002s | passed |
| [2] bool2.props | testTranslation(TestData)[2] | 0.003s | passed |
| [3] bool3.props | testTranslation(TestData)[3] | 0.002s | passed |
| [4] cast1.props | testTranslation(TestData)[4] | 0.003s | passed |
| [5] cast2.props | testTranslation(TestData)[5] | 0.003s | 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.004s | 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
658775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props10293666003967368533.key 658775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.8ns 658775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 658963 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 658963 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 658963 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 658963 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 659588 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 663279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s 663294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props10293666003967368533.key 663294 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 663326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props205974264831923579.key 663341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.5ns 663341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 666327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 666343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props205974264831923579.key 666343 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 666358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props3834175348919657776.key 666358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.4ns 666358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 669251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 669267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props3834175348919657776.key 669267 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 669282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props17286228097555072652.key 669282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.6ns 669282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 672205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 672221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props17286228097555072652.key 672221 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 672221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props7148270720453632512.key 672221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.2ns 672236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 675149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 675160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props7148270720453632512.key 675160 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 675176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props7502948040908459215.key 675176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.7ns 675176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 678162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 678177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props7502948040908459215.key 678177 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 678177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props14904969942883588428.key 678177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.5ns 678193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 681086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 681102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props14904969942883588428.key 681102 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.2ns 681133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props13169237326537725950.key 681133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 330.5ns 681133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 684197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 684212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props13169237326537725950.key 684212 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 684212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props12475948190556031309.key 684212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.1ns 684212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 687277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props12475948190556031309.key 687277 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 687293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props193519032561149141.key 687293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.4ns 687293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 690483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props193519032561149141.key 690483 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.7ns 690483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props5971800651897819295.key 690483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.5ns 690499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 693643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 693658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props5971800651897819295.key 693658 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 693673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props8715452238239615653.key 693673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197ns 693673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 697019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props8715452238239615653.key 697019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 697035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props15296724676519371467.key 697035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.7ns 697035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 700240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 700255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props15296724676519371467.key 700255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 700271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props4378630405384294819.key 700271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.3ns 700271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 703758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 703774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props4378630405384294819.key 703774 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.8ns 703789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props13874436362892992782.key 703789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 555ns 703789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 707041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 707056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props13874436362892992782.key 707056 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 707072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props530091737294041912.key 707072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172ns 707072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 710589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 710605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props530091737294041912.key 710605 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 710605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props1210371700024585575.key 710605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.2ns 710605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 713998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 714013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props1210371700024585575.key 714013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 714013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props346655035632794013.key 714013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.5ns 714029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 717656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 717687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props346655035632794013.key 717687 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 717687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props13578722814732502212.key 717687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.3ns 717687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 721236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 721251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props13578722814732502212.key 721251 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 721267 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 721267 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 721267 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 721267 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 721267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props15739644203363246133.key 721267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 332.1ns 721267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 725599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 725661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props15739644203363246133.key 725677 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 725677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props133608492400233603.key 725677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 427.1ns 725677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 729430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props133608492400233603.key 729430 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 729430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13061172353857485661.key 729430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.6ns 729445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 732775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 732791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13061172353857485661.key 732791 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 732807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props12241801024214010339.key 732807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452ns 732807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 736138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props12241801024214010339.key 736138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 736154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props13730740231457798522.key 736154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 408.8ns 736154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 739546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 739578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props13730740231457798522.key 739578 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 740031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props18060321160305985488.key 740031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.4ns 740031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 743345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props18060321160305985488.key 743345 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 743361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7670843913448526583.key 743361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 716.8ns 743361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 746645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 746660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7670843913448526583.key 746660 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 746660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props13230985000598032995.key 746660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.1ns 746660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 749959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 749990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props13230985000598032995.key 749990 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 749990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props7557227072836408765.key 749990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.5ns 749990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 753479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 753495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props7557227072836408765.key 753495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 753495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props17542189234026507938.key 753495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.6ns 753510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 756968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 756983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props17542189234026507938.key 756983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 756999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props5340612744346658555.key 756999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.8ns 756999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 760438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 760454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props5340612744346658555.key 760454 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 760470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15203950047651202792.key 760470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 450ns 760470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 764143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 764161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15203950047651202792.key 764175 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 764175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props16514866705662516667.key 764175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.5ns 764175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 767662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 767677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props16514866705662516667.key 767677 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 24.8ns 767693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props13416311591488560115.key 767693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.6ns 767693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 771147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 771179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props13416311591488560115.key 771179 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 771179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props3320068763278721685.key 771179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.7ns 771179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 774436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 774451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props3320068763278721685.key 774467 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 774467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props13487355004783701690.key 774467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.7ns 774467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 777906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 777922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props13487355004783701690.key 777922 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 777938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props3851153738067535932.key 777938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.6ns 777938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 781158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 781190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props3851153738067535932.key 781190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns 781190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props65009961878427171.key 781190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.4ns 781190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 784474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 784489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props65009961878427171.key 784489 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 784489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props3685812019577710143.key 784489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.3ns 784505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 787930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 787945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props3685812019577710143.key 787945 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 787961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props6308519965166423662.key 787961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.4ns 787961 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 791214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 791229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props6308519965166423662.key 791229 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 791245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props3889221298342497839.key 791245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.6ns 791245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 794700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 794715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props3889221298342497839.key 794731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 794731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6808773554873574575.key 794731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257ns 794731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 798155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 798171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6808773554873574575.key 798171 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 798186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props11753476242877869545.key 798186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 354.4ns 798186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 801766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 801797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props11753476242877869545.key 801797 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 801797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12607852398969052582.key 801797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 385.9ns 801813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 805127 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 805158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12607852398969052582.key 805158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 805158 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 805158 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 805158 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 805158 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 805158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props669633962261851124.key 805158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 324.9ns 805158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 808692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 808708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props669633962261851124.key 808708 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 808708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9135322773389934714.key 808708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234ns 808723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 812053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 812084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9135322773389934714.key 812084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 812084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1920565827619476951.key 812084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.3ns 812084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 815727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 815742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1920565827619476951.key 815742 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 815742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13274356948436076694.key 815742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.5ns 815758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 819275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 819291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13274356948436076694.key 819291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 819307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props7230119409534084785.key 819307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.3ns 819307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 822481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 822496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props7230119409534084785.key 822496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 822512 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.props14046946643275337621.smt2 822512 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.props5166044517235442414.smt2 822512 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.props3687294359283134131.smt2 822512 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.props13585947028657714337.smt2 822512 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.props3121714396555089260.smt2 822527 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.props5271156520624720011.smt2 822527 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.props12829324363364707011.smt2 822527 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.props4814643462349715137.smt2 822527 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.props15470203709306646760.smt2 822543 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.props8514226188995609451.smt2 822543 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.props18074746509766334680.smt2 822543 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.props4060941553654258067.smt2 822543 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.props16353274795648021766.smt2 822574 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.props2960896951972771874.smt2 822574 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.props17534548870133166275.smt2 822574 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.props7523304743693506341.smt2 822574 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.props17686622674395398846.smt2 822574 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.props5915427706648221809.smt2 822574 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.props9154097679464900763.smt2 822574 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.props13254539893719514301.smt2 822590 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.props16027488236721197560.smt2 822590 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.props3557762679869650992.smt2 822590 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.props8773226634697481253.smt2 822590 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.props11610720455031763915.smt2