detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl899.smt2 (content) unsat unknown 0.055s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl898.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl897.smt2 (content) unsat unknown 0.086s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl896.smt2 (content) unsat unknown 0.101s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl895.smt2 (content) unsat unknown 0.127s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl894.smt2 (content) unsat unknown 0.094s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl893.smt2 (content) unsat unknown 0.334s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl892.smt2 (content) unsat unknown 0.054s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl891.smt2 (content) unsat unknown 0.044s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl890.smt2 (content) unsat unknown 0.045s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl889.smt2 (content) unsat unknown 0.168s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl888.smt2 (content) unsat unknown 0.084s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl887.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl886.smt2 (content) unsat unknown 0.061s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl885.smt2 (content) unsat unknown 0.113s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl884.smt2 (content) unsat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl883.smt2 (content) unsat unknown 0.076s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl882.smt2 (content) unsat unknown 0.158s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl881.smt2 (content) unsat unknown 0.073s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl880.smt2 (content) unsat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl879.smt2 (content) unsat unknown 0.349s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl878.smt2 (content) unsat unknown 0.166s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl877.smt2 (content) unsat unknown 0.059s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unknown 0.096s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unknown 0.083s