detailed results (3885 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ019_size5.smt2 (content) unsat unknown 0.235s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ019_size4.smt2 (content) unsat unknown 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ018_size7.smt2 (content) unsat unknown 3.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ018_size6.smt2 (content) unsat unknown 3.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ017_size5.smt2 (content) unsat unknown 0.227s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ017_size4.smt2 (content) unsat unknown 0.095s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ015_size3.smt2 (content) unsat unknown 0.155s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ015_size2.smt2 (content) unsat unknown 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ013_size5.smt2 (content) unsat unknown 1.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ013_size4.smt2 (content) unsat unknown 0.149s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ011_size3.smt2 (content) unsat unknown 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ011_size2.smt2 (content) unsat unknown 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size7.smt2 (content) unsat unknown 3.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size6.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-dev /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/SEQ005_size7.smt2 (content) unsat unknown 5.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size6.smt2 (content) unsat unknown 4.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ004_size6.smt2 (content) unsat unknown 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ004_size5.smt2 (content) unsat unknown 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk007.smt2 (content) unsat unknown 0.126s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk006.smt2 (content) unsat unknown 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk005.smt2 (content) unsat unknown 0.100s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk004.smt2 (content) unsat unknown 0.143s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_icl_sk003.smt2 (content) unsat unknown 0.169s