detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409945/gensys_brn900.smt2 (content) unsat unsat 2.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409923/gensys_brn878.smt2 (content) unsat unsat 2.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409921/gensys_brn876.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409920/gensys_brn875.smt2 (content) unsat unsat 3.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409913/gensys_brn868.smt2 (content) unsat unsat 0.496s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409908/gensys_brn863.smt2 (content) unsat unsat 7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409894/gensys_brn849.smt2 (content) unsat unsat 0.873s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2 (content) unsat unsat 0.450s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.139s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.200s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409858/gensys_brn813.smt2 (content) unsat unsat 0.702s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409852/gensys_brn807.smt2 (content) unsat unsat 0.792s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409850/gensys_brn805.smt2 (content) unsat unsat 9.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409840/gensys_brn795.smt2 (content) unsat unsat 9.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409839/gensys_brn794.smt2 (content) unsat unsat 0.351s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409822/gensys_brn777.smt2 (content) unsat unsat 0.560s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409818/gensys_brn773.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409814/gensys_brn769.smt2 (content) unsat unsat 8.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409811/gensys_brn766.smt2 (content) unsat unsat 3.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409806/gensys_brn761.smt2 (content) unsat unsat 4.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409798/gensys_brn753.smt2 (content) unsat unsat 1s