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.002s | passed |
[12] float.sqrt2.props | testTranslation(TestData)[12] | 0.005s | passed |
[13] float1.props | testTranslation(TestData)[13] | 0.001s | passed |
[14] float2.props | testTranslation(TestData)[14] | 0.001s | passed |
[15] heap1.props | testTranslation(TestData)[15] | 0.001s | passed |
[16] int1.props | testTranslation(TestData)[16] | 0.003s | passed |
[17] ite1.props | testTranslation(TestData)[17] | 0.001s | passed |
[18] quant1.props | testTranslation(TestData)[18] | 0.002s | 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.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.001s | 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.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.001s | passed |
[7] ex1.props | testTranslation(TestData)[7] | 0.002s | passed |
[8] ex2.props | testTranslation(TestData)[8] | 0.001s | passed |
[9] float.eq.props | testTranslation(TestData)[9] | 0.002s | passed |
[10] float.sinDouble.props | testZ3(TestData)[10] | - | ignored |
[11] float.sqrt1.props | testZ3(TestData)[11] | - | ignored |
[12] float.sqrt2.props | testZ3(TestData)[12] | - | ignored |
[13] float1.props | testZ3(TestData)[13] | - | ignored |
[14] float2.props | testZ3(TestData)[14] | - | ignored |
[15] heap1.props | testZ3(TestData)[15] | - | ignored |
[16] int1.props | testZ3(TestData)[16] | - | ignored |
[17] ite1.props | testZ3(TestData)[17] | - | ignored |
[18] quant1.props | testZ3(TestData)[18] | - | ignored |
[19] quant2.props | testZ3(TestData)[19] | - | ignored |
[1] bool1.props | testZ3(TestData)[1] | - | ignored |
[20] types1.props | testZ3(TestData)[20] | - | ignored |
[21] types2.props | testZ3(TestData)[21] | - | ignored |
[22] uninterpreted1.props | testZ3(TestData)[22] | - | ignored |
[23] upd1.props | testZ3(TestData)[23] | - | ignored |
[24] upd2.props | testZ3(TestData)[24] | - | ignored |
[2] bool2.props | testZ3(TestData)[2] | - | ignored |
[3] bool3.props | testZ3(TestData)[3] | - | ignored |
[4] cast1.props | testZ3(TestData)[4] | - | ignored |
[5] cast2.props | testZ3(TestData)[5] | - | ignored |
[6] cast3.props | testZ3(TestData)[6] | - | ignored |
[7] ex1.props | testZ3(TestData)[7] | - | ignored |
[8] ex2.props | testZ3(TestData)[8] | - | ignored |
[9] float.eq.props | testZ3(TestData)[9] | - | ignored |
Standard output
668186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props13665892493174206247.key 668186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 540.8ns 668186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 668349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 668349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 668349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 668349 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 668943 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 673027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 673042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props13665892493174206247.key 673042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 673062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props15340294679881854284.key 673062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.3ns 673078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 676517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 676548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props15340294679881854284.key 676564 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 676564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props15368450442937316852.key 676564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 360.7ns 676564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 679925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 679941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props15368450442937316852.key 679956 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 679956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props9924485746448481950.key 679956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.5ns 679956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 683286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 683302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props9924485746448481950.key 683302 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 683318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props13794268457222547109.key 683318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.4ns 683318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 687248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 687263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props13794268457222547109.key 687279 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 687279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props11679380106793376312.key 687279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.9ns 687279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 690913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 690929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props11679380106793376312.key 690929 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.1ns 690929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props15561679921425225848.key 690929 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.1ns 690945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 694464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 694495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props15561679921425225848.key 694495 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.4ns 694495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props7689901477703489350.key 694495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.9ns 694495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 697871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 697887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props7689901477703489350.key 697902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 697902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props6661415520846055045.key 697902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.7ns 697902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 701270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 701286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props6661415520846055045.key 701286 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 701286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props15089029155922951832.key 701286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252ns 701301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 704739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 704755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props15089029155922951832.key 704755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 704770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props3550688816426242641.key 704770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.2ns 704786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 708823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 708839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props3550688816426242641.key 708839 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 708839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props901052916682357897.key 708839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.3ns 708854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 712210 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 712226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props901052916682357897.key 712226 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.3ns 712226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props9763830364995543243.key 712226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.4ns 712226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 715603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 715618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props9763830364995543243.key 715618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns 715634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props805160420239577733.key 715634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.4ns 715634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 719028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 719044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props805160420239577733.key 719044 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 719060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props12623862154348762597.key 719060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.6ns 719060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 722488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 722504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props12623862154348762597.key 722519 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 722551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props13660195031336186522.key 722551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200ns 722551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 726362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 726377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props13660195031336186522.key 726393 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 726393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props6588739962706369619.key 726393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.3ns 726393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 729711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 729726 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props6588739962706369619.key 729726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 729742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props13342048692863735417.key 729742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.7ns 729742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 733295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 733311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props13342048692863735417.key 733311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 733326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props7014878058914441612.key 733326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.8ns 733326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 736666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 736682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props7014878058914441612.key 736682 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 736697 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 736697 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 736697 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 736697 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 736697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props11406453297178747981.key 736697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.2ns 736697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 740083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 740099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props11406453297178747981.key 740099 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns 740099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props9608990792041941703.key 740099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 451.6ns 740114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 743475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 743491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props9608990792041941703.key 743491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns 743491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props1593119225663497300.key 743491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 400.1ns 743491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 747056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 747071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props1593119225663497300.key 747087 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 747087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props1509318274336825679.key 747087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.3ns 747103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 750999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 751014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props1509318274336825679.key 751014 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 751014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props12326794196956198860.key 751014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249ns 751030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 754425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 754441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props12326794196956198860.key 754441 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 754849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool1.props17288825177088735279.key 754849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.7ns 754849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 758274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 758289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool1.props17288825177088735279.key 758289 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 758289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool2.props7574867710443006375.key 758289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.2ns 758305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 761668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 761684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool2.props7574867710443006375.key 761700 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 761700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_bool3.props10584662967583975753.key 761700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.3ns 761700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 765272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 765288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_bool3.props10584662967583975753.key 765288 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 765304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast1.props15494348420756656481.key 765304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 765304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 769224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 769240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast1.props15494348420756656481.key 769240 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 769240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast2.props1259162568188153014.key 769240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.6ns 769240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 772626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 772642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast2.props1259162568188153014.key 772642 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 772642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_cast3.props14081016501070814097.key 772642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 444.7ns 772657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 776008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 776023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_cast3.props14081016501070814097.key 776023 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 776023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex1.props683928374326132449.key 776023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.8ns 776039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 779394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 779410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex1.props683928374326132449.key 779410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 779426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ex2.props2153916856786270423.key 779426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 344ns 779426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 782883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 782901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ex2.props2153916856786270423.key 782901 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 782914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.eq.props15082462285858067255.key 782914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.4ns 782914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 786862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 786878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.eq.props15082462285858067255.key 786878 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 786878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sinDouble.props11843764208007120979.key 786878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256ns 786878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 790224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 790239 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sinDouble.props11843764208007120979.key 790255 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 790255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt1.props6567049710787376151.key 790255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 409.6ns 790255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 793681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 793697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt1.props6567049710787376151.key 793697 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 793712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float.sqrt2.props16863137361778214689.key 793712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.8ns 793712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 797157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 797173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float.sqrt2.props16863137361778214689.key 797173 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 797173 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float1.props8472272615476120800.key 797173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 523.9ns 797189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 800634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 800649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float1.props8472272615476120800.key 800649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 800665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_float2.props12360168034968766807.key 800665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.6ns 800665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 804156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 804172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_float2.props12360168034968766807.key 804172 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 804172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_heap1.props11952011006393212478.key 804172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.4ns 804188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 808126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s 808142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_heap1.props11952011006393212478.key 808142 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 808157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_int1.props7063588930679007434.key 808157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.7ns 808157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 811568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 811583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_int1.props7063588930679007434.key 811583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 811583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_ite1.props2515127480896800722.key 811583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.3ns 811583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 814991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 815007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_ite1.props2515127480896800722.key 815023 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 815023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant1.props14463069855347739257.key 815023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.2ns 815023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 818413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 818429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant1.props14463069855347739257.key 818429 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 818445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_quant2.props12530181098913094532.key 818445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 674.2ns 818445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 821871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 821887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_quant2.props12530181098913094532.key 821902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 821902 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 821902 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 821902 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 821902 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 821902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types1.props519051735675721556.key 821902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.1ns 821902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 825403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 825434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types1.props519051735675721556.key 825434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns 825434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_types2.props16221491925468878991.key 825434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.3ns 825434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 829027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 829043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_types2.props16221491925468878991.key 829043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 829058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_uninterpreted1.props13059944815967681055.key 829058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.3ns 829058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 832408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 832424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_uninterpreted1.props13059944815967681055.key 832424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 832439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd1.props13714482558369669679.key 832439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.7ns 832439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 835786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 835801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd1.props13714482558369669679.key 835801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 835801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\SMT_key_upd2.props16663330734582412974.key 835801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.7ns 835817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 839173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 839189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof SMT_key_upd2.props16663330734582412974.key 839189 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 839204 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.props18035482215356500184.smt2 839204 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.props8972778576395214867.smt2 839204 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.props11337566703075979123.smt2 839204 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.props14596417054665060723.smt2 839204 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.props2818438108350666136.smt2 839204 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.props5925226363791208661.smt2 839204 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.props3961263991955918815.smt2 839220 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.props12918299420295716147.smt2 839220 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.props11157013427832947810.smt2 839220 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.props3723433762716643747.smt2 839220 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.props1367544669173230173.smt2 839220 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.props9737013302884475626.smt2 839220 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.props6368356266991046660.smt2 839220 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.props16716981107730907584.smt2 839235 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.props16358670832258140956.smt2 839235 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.props10315231832710011396.smt2 839235 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.props14171634189375906279.smt2 839235 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.props8706356546255896958.smt2 839235 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.props8820108706588074712.smt2 839235 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.props15997797634197150558.smt2 839235 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.props4287382110134121141.smt2 839235 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.props1153796522998195929.smt2 839235 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.props13909427026024261004.smt2 839252 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.props4156647956340349111.smt2