detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414034/iso_brn_nogen016.smt2 (content) sat sat 0.337s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414033/iso_brn_nogen015.smt2 (content) sat sat 2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414033/iso_brn_nogen015.smt2 (content) sat sat 0.396s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414032/iso_brn_nogen014.smt2 (content) sat sat 6.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414032/iso_brn_nogen014.smt2 (content) sat sat 0.632s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414031/iso_brn_nogen013.smt2 (content) sat sat 1.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414031/iso_brn_nogen013.smt2 (content) sat sat 0.498s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414030/iso_brn_nogen012.smt2 (content) sat sat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414030/iso_brn_nogen012.smt2 (content) sat sat 0.180s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414029/iso_brn_nogen011.smt2 (content) sat sat 3.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414029/iso_brn_nogen011.smt2 (content) sat sat 0.216s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414028/iso_brn_nogen010.smt2 (content) sat sat 3.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414028/iso_brn_nogen010.smt2 (content) sat sat 0.466s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414027/iso_brn_nogen009.smt2 (content) sat sat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414027/iso_brn_nogen009.smt2 (content) sat sat 0.266s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414026/iso_brn_nogen008.smt2 (content) sat sat 4.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414026/iso_brn_nogen008.smt2 (content) sat sat 0.377s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414025/iso_brn_nogen007.smt2 (content) sat sat 8.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414025/iso_brn_nogen007.smt2 (content) sat sat 0.201s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414024/iso_brn_nogen006.smt2 (content) sat sat 8.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414024/iso_brn_nogen006.smt2 (content) sat sat 0.375s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414023/iso_brn_nogen005.smt2 (content) sat sat 2.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414023/iso_brn_nogen005.smt2 (content) sat sat 0.197s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414022/iso_brn_nogen004.smt2 (content) sat sat 1.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414022/iso_brn_nogen004.smt2 (content) sat sat 0.325s