detailed results (6058 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ032_size4.smt2 (content) sat unknown 0.075s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ020_size4.smt2 (content) sat unknown 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ020_size4.smt2 (content) sat unknown 1.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ019_size6.smt2 (content) sat unknown 0.295s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ019_size6.smt2 (content) sat unknown 0.293s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ018_size8.smt2 (content) sat unknown 2.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ018_size8.smt2 (content) sat unknown 2.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ017_size6.smt2 (content) sat unknown 0.774s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ017_size6.smt2 (content) sat unknown 0.785s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ015_size4.smt2 (content) sat unknown 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ015_size4.smt2 (content) sat unknown 0.068s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ013_size6.smt2 (content) sat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ013_size6.smt2 (content) sat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ011_size4.smt2 (content) sat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ011_size4.smt2 (content) sat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ004_size7.smt2 (content) sat unknown 0.155s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ004_size7.smt2 (content) sat unknown 0.161s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk055.smt2 (content) sat unknown 0.314s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk055.smt2 (content) sat unknown 0.311s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk053.smt2 (content) sat unknown 0.225s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk053.smt2 (content) sat unknown 0.230s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk052.smt2 (content) sat unknown 0.447s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk052.smt2 (content) sat unknown 0.435s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk051.smt2 (content) sat unknown 0.248s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk051.smt2 (content) sat unknown 0.254s