detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn789.smt2 (content) unsat unknown 0.090s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn788.smt2 (content) unsat unknown 0.251s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn787.smt2 (content) unsat unknown 0.091s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn783.smt2 (content) unsat unknown 0.161s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn782.smt2 (content) unsat unknown 0.106s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn776.smt2 (content) unsat unknown 0.036s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn774.smt2 (content) unsat unknown 0.149s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn767.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn765.smt2 (content) unsat unknown 0.158s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn764.smt2 (content) unsat unknown 0.262s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn763.smt2 (content) unsat unknown 0.140s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn762.smt2 (content) unsat unknown 0.156s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn751.smt2 (content) unsat unknown 0.080s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn750.smt2 (content) unsat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn749.smt2 (content) unsat unknown 0.056s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn746.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn745.smt2 (content) unsat unknown 0.062s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn743.smt2 (content) unsat unknown 0.234s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn740.smt2 (content) unsat unknown 0.166s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn739.smt2 (content) unsat unknown 0.105s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn733.smt2 (content) unsat unknown 0.118s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn726.smt2 (content) unsat unknown 0.077s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn725.smt2 (content) unsat unknown 0.058s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn717.smt2 (content) unsat unknown 0.273s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn711.smt2 (content) unsat unknown 0.165s