detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412021/iso_brn366.smt2 (content) sat sat 0.100s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412021/iso_brn366.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412020/iso_brn365.smt2 (content) sat sat 0.105s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412020/iso_brn365.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412019/iso_brn364.smt2 (content) sat sat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412019/iso_brn364.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412018/iso_brn363.smt2 (content) unsat unsat 0.131s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412018/iso_brn363.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412017/iso_brn362.smt2 (content) unsat unsat 0.202s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412017/iso_brn362.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412016/iso_brn361.smt2 (content) sat sat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412016/iso_brn361.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412015/iso_brn360.smt2 (content) sat sat 0.174s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412015/iso_brn360.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412014/iso_brn359.smt2 (content) sat sat 0.140s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412014/iso_brn359.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412013/iso_brn358.smt2 (content) sat sat 0.151s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412013/iso_brn358.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412012/iso_brn357.smt2 (content) sat sat 0.129s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412012/iso_brn357.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412011/iso_brn356.smt2 (content) sat sat 0.117s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412011/iso_brn356.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412010/iso_brn355.smt2 (content) sat sat 0.114s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412010/iso_brn355.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412009/iso_brn354.smt2 (content) sat sat 0.103s