detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl689.smt2 (content) unsat unknown 0.108s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl688.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl687.smt2 (content) unsat unknown 0.175s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl686.smt2 (content) unsat unknown 0.130s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl685.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl684.smt2 (content) unsat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl683.smt2 (content) unsat unknown 0.172s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl682.smt2 (content) unsat unknown 0.176s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl681.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl680.smt2 (content) unsat unknown 0.136s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl679.smt2 (content) unsat unknown 0.215s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl678.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl677.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl676.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl675.smt2 (content) unsat unknown 0.092s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl674.smt2 (content) unsat unknown 0.407s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl673.smt2 (content) unsat unknown 0.136s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl672.smt2 (content) unsat unknown 0.095s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl671.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl670.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl669.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl668.smt2 (content) unsat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl667.smt2 (content) unsat unknown 0.223s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl666.smt2 (content) unsat unknown 0.160s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl665.smt2 (content) unsat unknown 0.057s