detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn982.smt2 (content) sat unknown 0.347s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn981.smt2 (content) sat unknown 0.147s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn980.smt2 (content) sat unknown 0.105s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn979.smt2 (content) sat unknown 0.200s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn978.smt2 (content) sat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn977.smt2 (content) sat unknown 0.221s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn976.smt2 (content) sat unknown 0.109s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn975.smt2 (content) sat unknown 0.094s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn974.smt2 (content) unsat unknown 2.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn973.smt2 (content) unsat unknown 6.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn972.smt2 (content) sat unknown 0.116s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn971.smt2 (content) sat unknown 0.178s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn970.smt2 (content) sat unknown 0.124s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn969.smt2 (content) unsat unknown 4.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn968.smt2 (content) sat unknown 0.116s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn967.smt2 (content) sat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn966.smt2 (content) sat unknown 0.122s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn965.smt2 (content) sat unknown 0.114s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn964.smt2 (content) sat unknown 0.104s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn963.smt2 (content) sat unknown 0.115s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn962.smt2 (content) unsat unknown 3.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn961.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn960.smt2 (content) sat unknown 0.236s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unknown 4.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn958.smt2 (content) sat unknown 0.184s