detailed results (3730 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ026_size4.smt2 (content) unsat unsat 11.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ020_size3.smt2 (content) unsat unsat 0.195s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ020_size2.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ019_size5.smt2 (content) unsat unsat 0.447s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ019_size4.smt2 (content) unsat unsat 0.165s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ018_size7.smt2 (content) unsat unsat 5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ018_size6.smt2 (content) unsat unsat 11.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ017_size5.smt2 (content) unsat unsat 0.336s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ017_size4.smt2 (content) unsat unsat 0.252s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ015_size3.smt2 (content) unsat unsat 0.298s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ015_size2.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ013_size5.smt2 (content) unsat unsat 4.4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ013_size4.smt2 (content) unsat unsat 0.811s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ011_size3.smt2 (content) unsat unsat 0.150s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ011_size2.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ010_size7.smt2 (content) unsat unsat 5.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ010_size6.smt2 (content) unsat unsat 6.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ009_size8.smt2 (content) unsat unsat 11.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ009_size7.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ005_size7.smt2 (content) unsat unsat 8.1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ005_size6.smt2 (content) unsat unsat 11.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ004_size6.smt2 (content) unsat unsat 0.218s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ004_size5.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_icl_sk007.smt2 (content) unsat unsat 0.329s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_icl_sk006.smt2 (content) unsat unsat 0.191s