2017-Preiner-tptp Benchmarks

Family
NamePreiner-tptp
Generation Date2017-01-01
First Occurrence2017-07-23
Benchmarks72

Benchmarks

BV • Charts • Solver Isomap
ARI370=1.smt2
NUM917=1.smt2
ARI369=1.smt2
NUM918=1.smt2
ARI590=1.smt2
NUM896=1.smt2
ARI382=1.smt2
ARI362=1.smt2
NUM881=1.smt2
ARI013=1.smt2
ARI032=1.smt2
ARI123=1.smt2
ARI591=1.smt2
ARI356=1.smt2
NUM865=1.smt2
NUM874=1.smt2
ARI396=1.smt2
NUM870=1.smt2
ARI592=1.smt2
NUM864=1.smt2
ARI039=1.smt2
NUM897=1.smt2
ARI572=1.smt2
NUM916=1.smt2
NUM895=1.smt2
ARI118=1.smt2
ARI349=1.smt2
ARI357=1.smt2
NUM880=1.smt2
ARI400=1.smt2
ARI040=1.smt2
NUM915=1.smt2
ARI348=1.smt2
ARI004=1.smt2
ARI045=1.smt2
ARI079=1.smt2
ARI031=1.smt2
NUM879=1.smt2
ARI376=1.smt2
ARI375=1.smt2
ARI038=1.smt2
NUM885=1.smt2
ARI053=1.smt2
ARI018=1.smt2
NUM903=1.smt2
NUM868=1.smt2
ARI005=1.smt2
NUM907=1.smt2
ARI017=1.smt2
NUM882=1.smt2
ARI355=1.smt2
ARI083=1.smt2
NUM871=1.smt2
ARI026=1.smt2
ARI371=1.smt2
NUM899=1.smt2
ARI397=1.smt2
NUM898=1.smt2
ARI012=1.smt2
ARI398=1.smt2
ARI383=1.smt2
NUM878=1.smt2
NUM875=1.smt2
NUM869=1.smt2
NUM886=1.smt2
ARI388=1.smt2
ARI389=1.smt2
ARI027=1.smt2
ARI054=1.smt2
ARI361=1.smt2
ARI044=1.smt2
ARI384=1.smt2