detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411977/iso_brn322.smt2 (content) unsat unsat 0.134s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411972/iso_brn317.smt2 (content) unsat unsat 0.111s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411971/iso_brn316.smt2 (content) unsat unsat 0.257s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411970/iso_brn315.smt2 (content) unsat unsat 0.201s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411969/iso_brn314.smt2 (content) unsat unsat 0.168s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411968/iso_brn313.smt2 (content) unsat unsat 0.189s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411964/iso_brn309.smt2 (content) unsat unsat 0.263s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411962/iso_brn307.smt2 (content) unsat unsat 0.163s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411960/iso_brn305.smt2 (content) unsat unsat 0.322s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411947/iso_brn292.smt2 (content) unsat unsat 0.093s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411945/iso_brn290.smt2 (content) unsat unsat 0.133s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411942/iso_brn287.smt2 (content) unsat unsat 0.153s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411940/iso_brn285.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411937/iso_brn282.smt2 (content) unsat unsat 0.111s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411936/iso_brn281.smt2 (content) unsat unsat 0.120s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411935/iso_brn280.smt2 (content) unsat unsat 0.084s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411924/iso_brn269.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411921/iso_brn266.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411913/iso_brn258.smt2 (content) unsat unsat 0.131s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411912/iso_brn257.smt2 (content) unsat unsat 0.120s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411907/iso_brn252.smt2 (content) unsat unsat 0.082s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411901/iso_brn246.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411900/iso_brn245.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411895/iso_brn240.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411894/iso_brn239.smt2 (content) unsat unsat 0.125s