detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ019_size4.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ018_size7.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ018_size6.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ017_size5.smt2 (content) unsat unknown 0.202s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ017_size4.smt2 (content) unsat unknown 0.089s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ015_size3.smt2 (content) unsat unknown 0.156s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ015_size2.smt2 (content) unsat unknown 0.010s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ013_size5.smt2 (content) unsat unknown 1.6s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ013_size4.smt2 (content) unsat unknown 0.173s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ011_size3.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ011_size2.smt2 (content) unsat unknown 0.024s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ010_size7.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ010_size6.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ009_size8.smt2 (content) unsat unknown 3s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ009_size7.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ005_size9.smt2 (content) unsat unknown 7.7s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ005_size7.smt2 (content) unsat unknown 4.2s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ005_size6.smt2 (content) unsat unknown 3.2s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ004_size6.smt2 (content) unsat unknown 0.135s
sidekick /home/simon/w/smtlib/QF_UF/SEQ/SEQ004_size5.smt2 (content) unsat unknown 0.034s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk007.smt2 (content) unsat unknown 0.132s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk006.smt2 (content) unsat unknown 0.094s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk005.smt2 (content) unsat unknown 0.119s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk004.smt2 (content) unsat unknown 0.149s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_sk003.smt2 (content) unsat unknown 0.185s