detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn942.smt2 (content) unsat unknown 0.084s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn934.smt2 (content) unsat unknown 0.149s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn928.smt2 (content) unsat unknown 0.121s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn925.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn924.smt2 (content) unsat unknown 0.061s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn923.smt2 (content) unsat unknown 0.077s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn922.smt2 (content) unsat unknown 0.057s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn921.smt2 (content) unsat unknown 0.152s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn917.smt2 (content) unsat unknown 0.084s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn912.smt2 (content) unsat unknown 0.089s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn911.smt2 (content) unsat unknown 0.076s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn909.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn907.smt2 (content) unsat unknown 0.057s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn906.smt2 (content) unsat unknown 0.080s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn894.smt2 (content) unsat unknown 0.104s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn890.smt2 (content) unsat unknown 0.236s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn889.smt2 (content) unsat unknown 0.312s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn879.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn877.smt2 (content) unsat unknown 0.066s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn866.smt2 (content) unsat unknown 0.155s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn864.smt2 (content) unsat unknown 0.109s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn859.smt2 (content) unsat unknown 0.694s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn858.smt2 (content) unsat unknown 0.348s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn857.smt2 (content) unsat unknown 0.117s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn855.smt2 (content) unsat unknown 0.105s