detailed results (7772 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size8.smt2 (content) unsat unknown 3.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size8.smt2 (content) unsat unknown 3.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size7.smt2 (content) unsat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size7.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size7.smt2 (content) unsat unknown 5.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size7.smt2 (content) unsat unknown 5.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size6.smt2 (content) unsat unknown 4.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size6.smt2 (content) unsat unknown 4.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ004_size6.smt2 (content) unsat unknown 0.101s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ004_size6.smt2 (content) unsat unknown 0.104s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ004_size5.smt2 (content) unsat unknown 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ004_size5.smt2 (content) unsat unknown 0.041s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk007.smt2 (content) unsat unknown 0.124s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk007.smt2 (content) unsat unknown 0.126s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk006.smt2 (content) unsat unknown 0.092s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk006.smt2 (content) unsat unknown 0.087s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk005.smt2 (content) unsat unknown 0.107s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk005.smt2 (content) unsat unknown 0.100s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk004.smt2 (content) unsat unknown 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk004.smt2 (content) unsat unknown 0.143s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk003.smt2 (content) unsat unknown 0.170s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk003.smt2 (content) unsat unknown 0.169s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk002.smt2 (content) unsat unknown 0.186s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk002.smt2 (content) unsat unknown 0.184s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk001.smt2 (content) unsat unknown 0.189s