detailed results (6058 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn604.smt2 (content) sat unknown 0.123s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn603.smt2 (content) sat unknown 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn603.smt2 (content) sat unknown 0.085s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn602.smt2 (content) sat unknown 0.091s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn602.smt2 (content) sat unknown 0.084s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn601.smt2 (content) sat unknown 0.108s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn601.smt2 (content) sat unknown 0.107s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn600.smt2 (content) sat unknown 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn600.smt2 (content) sat unknown 0.066s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn599.smt2 (content) sat unknown 0.069s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn599.smt2 (content) sat unknown 0.070s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn598.smt2 (content) sat unknown 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn598.smt2 (content) sat unknown 0.060s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn597.smt2 (content) sat unknown 0.100s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn597.smt2 (content) sat unknown 0.101s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn593.smt2 (content) sat unknown 0.134s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn593.smt2 (content) sat unknown 0.135s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn592.smt2 (content) sat unknown 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn592.smt2 (content) sat unknown 0.105s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn591.smt2 (content) sat unknown 0.220s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn591.smt2 (content) sat unknown 0.220s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn589.smt2 (content) sat unknown 0.173s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn589.smt2 (content) sat unknown 0.171s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn587.smt2 (content) sat unknown 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn587.smt2 (content) sat unknown 0.083s