root
file
detailed [575..599]
prev
next
detailed results (729 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_nogen013.smt2
(content)
timeout
sat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_nogen012.smt2
(content)
timeout
sat
11.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_nogen011.smt2
(content)
timeout
sat
11.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_nogen010.smt2
(content)
timeout
sat
11.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_nogen009.smt2
(content)
timeout
sat
11.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_nogen008.smt2
(content)
timeout
sat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_nogen005.smt2
(content)
timeout
sat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_nogen004.smt2
(content)
timeout
sat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_nogen001.smt2
(content)
timeout
sat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl_sk007.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl_sk005.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl_sk004.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl_sk003.smt2
(content)
timeout
unsat
11s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl_sk002.smt2
(content)
timeout
unsat
11.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl_sk001.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl007.smt2
(content)
timeout
unsat
11.1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl005.smt2
(content)
timeout
unsat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl004.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl003.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl002.smt2
(content)
timeout
unsat
11.1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_icl001.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_brn_sk045.smt2
(content)
timeout
sat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_brn_sk044.smt2
(content)
timeout
sat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_brn_sk040.smt2
(content)
timeout
sat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/gensys_brn_sk038.smt2
(content)
timeout
sat
11.4s