detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1304.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1303.smt2 (content) sat sat 0.093s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1303.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1302.smt2 (content) sat sat 0.132s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1302.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1301.smt2 (content) timeout unsat 12.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1301.smt2 (content) unsat unsat 0.904s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1300.smt2 (content) sat sat 0.387s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1300.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn130.smt2 (content) sat sat 0.566s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn130.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1299.smt2 (content) sat sat 0.300s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1299.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1298.smt2 (content) sat sat 0.111s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1298.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1297.smt2 (content) sat sat 0.159s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1297.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1296.smt2 (content) sat sat 0.153s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1296.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1295.smt2 (content) sat sat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1295.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1294.smt2 (content) sat sat 0.122s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1294.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1293.smt2 (content) sat sat 0.212s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1293.smt2 (content) sat sat 0.038s