Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest

48

tests

0

failures

24

ignored

0.425s

duration

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