detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408909/gensys_brn1083.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408908/gensys_brn1082.smt2 (content) sat sat 0.101s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408908/gensys_brn1082.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408907/gensys_brn1081.smt2 (content) sat sat 0.145s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408907/gensys_brn1081.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408906/gensys_brn1080.smt2 (content) sat sat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408906/gensys_brn1080.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408905/gensys_brn108.smt2 (content) sat sat 0.183s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408905/gensys_brn108.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408904/gensys_brn1079.smt2 (content) sat sat 0.147s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408904/gensys_brn1079.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408903/gensys_brn1078.smt2 (content) sat sat 0.605s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408903/gensys_brn1078.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408902/gensys_brn1077.smt2 (content) sat sat 0.768s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408902/gensys_brn1077.smt2 (content) sat sat 0.109s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408901/gensys_brn1076.smt2 (content) sat sat 0.363s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408901/gensys_brn1076.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408900/gensys_brn1075.smt2 (content) sat sat 0.211s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408900/gensys_brn1075.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408899/gensys_brn1074.smt2 (content) unsat unsat 8.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408899/gensys_brn1074.smt2 (content) unsat unsat 0.627s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408898/gensys_brn1073.smt2 (content) unsat unsat 7.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408898/gensys_brn1073.smt2 (content) unsat unsat 0.740s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408897/gensys_brn1072.smt2 (content) sat sat 0.259s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408897/gensys_brn1072.smt2 (content) sat sat 0.039s