detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn197.smt2 (content) sat unknown 0.054s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn196.smt2 (content) sat unknown 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn196.smt2 (content) sat unknown 0.044s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn195.smt2 (content) unsat unknown 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn195.smt2 (content) unsat unknown 0.061s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn194.smt2 (content) unsat unknown 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn194.smt2 (content) unsat unknown 0.047s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn193.smt2 (content) sat unknown 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn193.smt2 (content) sat unknown 0.047s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn192.smt2 (content) sat unknown 0.030s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn192.smt2 (content) sat unknown 0.030s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn191.smt2 (content) unsat unknown 0.082s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn191.smt2 (content) unsat unknown 0.079s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn190.smt2 (content) unsat unknown 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn190.smt2 (content) unsat unknown 0.049s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn189.smt2 (content) sat unknown 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn189.smt2 (content) sat unknown 0.043s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn188.smt2 (content) unsat unknown 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn188.smt2 (content) unsat unknown 0.049s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn187.smt2 (content) sat unknown 0.069s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn187.smt2 (content) sat unknown 0.070s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn186.smt2 (content) unsat unknown 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn186.smt2 (content) unsat unknown 0.087s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn185.smt2 (content) unsat unknown 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn185.smt2 (content) unsat unknown 0.081s