detailed results (3039 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn675.smt2 (content) unsat unsat 0.157s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn674.smt2 (content) unsat unsat 0.273s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn673.smt2 (content) unsat unsat 0.393s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn670.smt2 (content) unsat unsat 0.221s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn667.smt2 (content) unsat unsat 0.152s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn666.smt2 (content) unsat unsat 0.359s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn665.smt2 (content) unsat unsat 0.285s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn664.smt2 (content) unsat unsat 0.313s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn663.smt2 (content) unsat unsat 0.397s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn662.smt2 (content) unsat unsat 0.370s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn661.smt2 (content) unsat unsat 0.391s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn660.smt2 (content) unsat unsat 0.423s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn658.smt2 (content) unsat unsat 0.363s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn646.smt2 (content) unsat unsat 0.552s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn642.smt2 (content) unsat unsat 0.447s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn641.smt2 (content) unsat unsat 0.159s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn640.smt2 (content) unsat unsat 0.202s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn635.smt2 (content) unsat unsat 0.427s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn630.smt2 (content) unsat unsat 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn629.smt2 (content) unsat unsat 0.384s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn627.smt2 (content) unsat unsat 0.207s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn623.smt2 (content) unsat unsat 0.154s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn616.smt2 (content) unsat unsat 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn615.smt2 (content) unsat unsat 0.350s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn613.smt2 (content) unsat unsat 0.423s