detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn869.smt2 (content) unsat unsat 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn868.smt2 (content) unsat unsat 0.414s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unsat 0.618s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn851.smt2 (content) unsat unsat 0.950s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unsat 0.711s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn838.smt2 (content) unsat unsat 2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unsat 0.402s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn827.smt2 (content) unsat unsat 0.123s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn825.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn824.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn821.smt2 (content) unsat unsat 0.562s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn819.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn813.smt2 (content) unsat unsat 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn807.smt2 (content) unsat unsat 0.097s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn806.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn805.smt2 (content) unsat unsat 0.948s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn795.smt2 (content) unsat unsat 0.269s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn794.smt2 (content) unsat unsat 0.679s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn777.smt2 (content) unsat unsat 0.254s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn775.smt2 (content) unsat unsat 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn773.smt2 (content) unsat unsat 0.195s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) unsat unsat 0.591s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unsat 0.553s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unsat 1.7s