detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk002.smt2 (content) unsat unknown 0.205s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk001.smt2 (content) unsat unknown 0.171s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_repgen_sk006.smt2 (content) unsat unknown 9.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl007.smt2 (content) unsat unknown 0.167s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl006.smt2 (content) unsat unknown 0.059s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl005.smt2 (content) unsat unknown 0.051s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl004.smt2 (content) unsat unknown 0.092s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl003.smt2 (content) unsat unknown 0.115s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl002.smt2 (content) unsat unknown 0.112s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl001.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk054.smt2 (content) unsat unknown 0.521s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk047.smt2 (content) unsat unknown 0.405s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk044.smt2 (content) unsat unknown 0.532s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk043.smt2 (content) unsat unknown 0.437s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk040.smt2 (content) unsat unknown 0.205s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk039.smt2 (content) unsat unknown 0.273s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk038.smt2 (content) unsat unknown 0.304s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk037.smt2 (content) unsat unknown 0.205s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk036.smt2 (content) unsat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk035.smt2 (content) unsat unknown 0.215s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk034.smt2 (content) unsat unknown 0.221s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk033.smt2 (content) unsat unknown 0.104s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk032.smt2 (content) unsat unknown 0.208s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk031.smt2 (content) unsat unknown 0.154s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk028.smt2 (content) unsat unknown 0.253s