detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1090.smt2 (content) sat unknown 0.024s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn109.smt2 (content) unsat unknown 0.125s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1089.smt2 (content) sat unknown 0.047s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1088.smt2 (content) sat unknown 0.019s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1087.smt2 (content) sat unknown 0.073s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1086.smt2 (content) unsat unknown 0.037s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1085.smt2 (content) sat unknown 0.031s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1084.smt2 (content) unsat unknown 0.353s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1083.smt2 (content) sat unknown 0.044s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1082.smt2 (content) unsat unknown 0.059s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1081.smt2 (content) sat unknown 0.043s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1080.smt2 (content) unsat unknown 0.085s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn108.smt2 (content) sat unknown 0.110s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unknown 0.292s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unknown 0.131s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1075.smt2 (content) unsat unknown 0.099s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1074.smt2 (content) sat unknown 0.095s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1073.smt2 (content) sat unknown 0.041s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1072.smt2 (content) sat unknown 0.076s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1071.smt2 (content) sat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1070.smt2 (content) unsat unknown 0.179s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn107.smt2 (content) sat unknown 0.061s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1069.smt2 (content) unsat unknown 0.121s