detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412366/iso_brn711.smt2 (content) unsat unsat 0.253s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412359/iso_brn704.smt2 (content) unsat unsat 0.093s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412358/iso_brn703.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412357/iso_brn702.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412356/iso_brn701.smt2 (content) unsat unsat 0.123s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412350/iso_brn695.smt2 (content) unsat unsat 0.278s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412346/iso_brn691.smt2 (content) unsat unsat 0.154s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412344/iso_brn689.smt2 (content) unsat unsat 0.175s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412342/iso_brn687.smt2 (content) unsat unsat 0.289s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412338/iso_brn683.smt2 (content) unsat unsat 0.125s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412334/iso_brn679.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412332/iso_brn677.smt2 (content) unsat unsat 0.183s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412330/iso_brn675.smt2 (content) unsat unsat 0.173s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412329/iso_brn674.smt2 (content) unsat unsat 0.130s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412328/iso_brn673.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412325/iso_brn670.smt2 (content) unsat unsat 0.166s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412322/iso_brn667.smt2 (content) unsat unsat 0.141s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412321/iso_brn666.smt2 (content) unsat unsat 0.210s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412320/iso_brn665.smt2 (content) unsat unsat 0.196s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412319/iso_brn664.smt2 (content) unsat unsat 0.242s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412318/iso_brn663.smt2 (content) unsat unsat 0.237s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412317/iso_brn662.smt2 (content) unsat unsat 0.262s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412316/iso_brn661.smt2 (content) unsat unsat 0.279s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412315/iso_brn660.smt2 (content) unsat unsat 0.219s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412313/iso_brn658.smt2 (content) unsat unsat 0.187s