detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414096/iso_brn_sk010.smt2 (content) sat sat 0.155s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414096/iso_brn_sk010.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414095/iso_brn_sk009.smt2 (content) sat sat 0.086s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414095/iso_brn_sk009.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414094/iso_brn_sk008.smt2 (content) sat sat 0.231s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414094/iso_brn_sk008.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414093/iso_brn_sk007.smt2 (content) sat sat 0.168s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414093/iso_brn_sk007.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414092/iso_brn_sk006.smt2 (content) sat sat 0.503s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414092/iso_brn_sk006.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414091/iso_brn_sk005.smt2 (content) sat sat 0.280s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414091/iso_brn_sk005.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414090/iso_brn_sk004.smt2 (content) sat sat 0.129s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414090/iso_brn_sk004.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414089/iso_brn_sk003.smt2 (content) sat sat 0.069s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414089/iso_brn_sk003.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414088/iso_brn_sk002.smt2 (content) sat sat 0.127s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414088/iso_brn_sk002.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414087/iso_brn_sk001.smt2 (content) sat sat 0.093s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414087/iso_brn_sk001.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414086/iso_brn_repgen_sk017.smt2 (content) sat sat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414086/iso_brn_repgen_sk017.smt2 (content) sat sat 0.087s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414085/iso_brn_repgen_sk016.smt2 (content) sat sat 2.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414085/iso_brn_repgen_sk016.smt2 (content) sat sat 0.111s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414084/iso_brn_repgen_sk015.smt2 (content) sat sat 0.953s