detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn907.smt2 (content) sat unknown 0.112s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn906.smt2 (content) sat unknown 0.185s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn905.smt2 (content) unsat unknown 4.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn904.smt2 (content) sat unknown 0.245s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn903.smt2 (content) unsat unknown 0.446s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn902.smt2 (content) sat unknown 0.194s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn901.smt2 (content) sat unknown 0.083s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn900.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn899.smt2 (content) sat unknown 0.153s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn898.smt2 (content) sat unknown 0.095s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn897.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn896.smt2 (content) sat unknown 0.135s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) timeout unknown 12s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn894.smt2 (content) sat unknown 0.216s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn893.smt2 (content) sat unknown 0.316s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn892.smt2 (content) sat unknown 0.368s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn890.smt2 (content) sat unknown 0.177s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn889.smt2 (content) sat unknown 0.137s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn888.smt2 (content) sat unknown 0.150s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn887.smt2 (content) sat unknown 0.114s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn886.smt2 (content) sat unknown 0.165s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn885.smt2 (content) sat unknown 0.113s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn884.smt2 (content) sat unknown 0.148s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn883.smt2 (content) sat unknown 0.055s