20200911-Pine Benchmarks

Family
NamePine
Generation Date2020-09-11
First Occurrence2021-07-18
Benchmarks490

Benchmarks

FP • Charts • Solver Isomap
1599121899774132000.smt2
1599121684197507000.smt2
1599122160916832000.smt2
1599121901988004000.smt2
1599121863935976000.smt2
1599122161845529000.smt2
1599121863716808000.smt2
1599121863606566000.smt2
1599121861213096000.smt2
1599122161453859000.smt2
1599121899319109000.smt2
1599121976984175000.smt2
1599122162923417000.smt2
1599121905012938000.smt2
1599122161624064000.smt2
1599122165532692000.smt2
1599122162138158000.smt2
1599121900970205000.smt2
1599122163942276000.smt2
1599121904157540000.smt2
1599122159111771000.smt2
1599121862069129000.smt2
1599121980164940000.smt2
1599122164900203000.smt2
1599122160768427000.smt2
1599120907730564000.smt2
1599120907423257000.smt2
1599121979045849000.smt2
1599121976796044000.smt2
1599121900187205000.smt2
1599121861877445000.smt2
1599121977149076000.smt2
1599121861598833000.smt2
1599122159186002000.smt2
1599121978158346000.smt2
1599122163867996000.smt2
1599121978418966000.smt2
1599122164409891000.smt2
1599122162478775000.smt2
1599122164478996000.smt2
1599121904707933000.smt2
1599122160226399000.smt2
1599122163112461000.smt2
1599121863516148000.smt2
1599121901407706000.smt2
1599121889466982000.smt2
1599122158769763000.smt2
1599121978333413000.smt2
1599121684294608000.smt2
1599122161694623000.smt2
1599121684661950000.smt2
1599121902918501000.smt2
1599121909161127000.smt2
1599122161218629000.smt2
1599122159332862000.smt2
1599122166142662000.smt2
1599121684769900000.smt2
1599121902708585000.smt2
1599122158699032000.smt2
1599122165758848000.smt2
1599122163200386000.smt2
1599122160993928000.smt2
1599122159634866000.smt2
1599121902591046000.smt2
1599122164566032000.smt2
1599122158834716000.smt2
1599121861030829000.smt2
1599121905548152000.smt2
1599121863251848000.smt2
1599121902366918000.smt2
1599122166293091000.smt2
1599121978853448000.smt2
1599121900004520000.smt2
1599121904858758000.smt2
1599121903527582000.smt2
1599122160842660000.smt2
1599121901615231000.smt2
1599121977697389000.smt2
1599122159949354000.smt2
1599121982759538000.smt2
1599122160074078000.smt2
1599122162825547000.smt2
1599122163692549000.smt2
1599121901269744000.smt2
1599121863340291000.smt2
1599120908941763000.smt2
1599121979642652000.smt2
1599122162693063000.smt2
1599121861782445000.smt2
1599122159562443000.smt2
1599121684485720000.smt2
1599121978062026000.smt2
1599122164271268000.smt2
1599121862166527000.smt2
1599120911878125000.smt2
1599121903984549000.smt2
1599121903389077000.smt2
1599121899414336000.smt2
1599122161770075000.smt2
1599121903287695000.smt2
1599121905862292000.smt2
1599121977228638000.smt2
1599121862260881000.smt2
1599122160586488000.smt2
1599121687433299000.smt2
1599122163491096000.smt2
1599122165149053000.smt2
1599121977327114000.smt2
1599121902452574000.smt2
1599121886388280000.smt2
1599121977880178000.smt2
1599121977787050000.smt2
1599121903178242000.smt2
1599122162578216000.smt2
1599122162061143000.smt2
1599122164343885000.smt2
1599121901067306000.smt2
1599121979885688000.smt2
1599122159854689000.smt2
1599121979248520000.smt2
1599121900872164000.smt2
1599121900273325000.smt2
1599121976884841000.smt2
1599121979977683000.smt2
1599121862359721000.smt2
1599122166364014000.smt2
1599121684386621000.smt2
1599122160659837000.smt2
1599122165617076000.smt2
1599121903672288000.smt2
1599121977971569000.smt2
1599121979357127000.smt2
1599121904438360000.smt2
1599122165975170000.smt2
1599121905686872000.smt2
1599121901174413000.smt2
1599121978242031000.smt2
1599121905372123000.smt2
1599121899693718000.smt2
1599122165833645000.smt2
1599122163021069000.smt2
1599120907623486000.smt2
1599121905459054000.smt2
1599121900619976000.smt2
1599121905765223000.smt2
1599121979762607000.smt2
1599121861400243000.smt2
1599121863080353000.smt2
1599121901518364000.smt2
1599122159710089000.smt2
1599122166446582000.smt2
1599122159785134000.smt2
1599122159481142000.smt2
1599122159046263000.smt2
1599121861971556000.smt2
1599122164120299000.smt2
1599122165903477000.smt2
1599121978742338000.smt2
1599122162296854000.smt2
1599121866557308000.smt2
1599121905167785000.smt2
1599121980073596000.smt2
1599122161915939000.smt2
1599122161305558000.smt2
1599120907521986000.smt2
1599122165059204000.smt2
1599121899881173000.smt2
1599122161070638000.smt2
1599121903852178000.smt2
1599121900403516000.smt2
1599121862636658000.smt2
1599121977418548000.smt2
1599121977583285000.smt2
1599122158631248000.smt2
1599121901797110000.smt2
1599120907827191000.smt2
1599122161984448000.smt2
1599121904584556000.smt2
1599122163387527000.smt2
1599122159261633000.smt2
1599122162385128000.smt2
1599121862548830000.smt2
1599122161380852000.smt2
1599122166216193000.smt2
1599122163295147000.smt2
1599122160438423000.smt2
1599121861681555000.smt2
1599121863168768000.smt2
1599121862728382000.smt2
1599122166616114000.smt2
1599122165689806000.smt2
1599122163613984000.smt2
1599122160509725000.smt2
1599121862811443000.smt2
1599122166534921000.smt2
1599122163795660000.smt2
1599121979549010000.smt2
1599122165335664000.smt2
1599121861312738000.smt2
1599121862907643000.smt2
1599121904284892000.smt2
1599122165229333000.smt2
1599121978946861000.smt2
1599122165448756000.smt2
1599122158904815000.smt2
1599122160147862000.smt2
1599122164976684000.smt2
1599122164033784000.smt2
1599122158975543000.smt2
1599121977502656000.smt2
1599121886558934000.smt2
1599121900729947000.smt2
1599121978512070000.smt2
1599121863427130000.smt2
1599122161536492000.smt2
1599122164722785000.smt2
1599121900096175000.smt2
1599121902814153000.smt2
1599122160369171000.smt2
1599122162216838000.smt2
1599121861505053000.smt2
1599121863828455000.smt2
1599121979461337000.smt2
1599121906342128000.smt2
1599121906186018000.smt2
1599121978596730000.smt2
1599121899544143000.smt2
1599121977061095000.smt2
1599121903040197000.smt2
1599121902202958000.smt2
1599121862451262000.smt2
1599122166696262000.smt2
1599122159403986000.smt2
1599122164194350000.smt2
1599121684570103000.smt2
1599121900510420000.smt2
1599122166063245000.smt2
1599122164820609000.smt2
1599122161143523000.smt2
1599121862989283000.smt2
1599121906010363000.smt2
1599121979145443000.smt2
1599122164642173000.smt2
1599122160302695000.smt2
1599121861121772000.smt2
QF_NRA • Charts • Solver Isomap
1599121903168735000.smt2
1599121978937271000.smt2
1599121687424286000.smt2
1599121901164798000.smt2
1599121902443868000.smt2
1599121979347401000.smt2
1599122163603268000.smt2
1599122161686152000.smt2
1599122161615591000.smt2
1599121901508910000.smt2
1599121862539118000.smt2
1599121979452833000.smt2
1599121977140456000.smt2
1599122165140235000.smt2
1599122165750372000.smt2
1599122161528074000.smt2
1599121903031802000.smt2
1599121684477306000.smt2
1599121862442984000.smt2
1599122160294194000.smt2
1599121979634128000.smt2
1599122162207056000.smt2
1599120907615225000.smt2
1599121904575726000.smt2
1599121905853387000.smt2
1599122159177336000.smt2
1599122166207559000.smt2
1599122162569064000.smt2
1599122164712733000.smt2
1599121905676685000.smt2
1599122160065505000.smt2
1599121904850228000.smt2
1599121979540482000.smt2
1599122159700397000.smt2
1599122165608426000.smt2
1599121903279162000.smt2
1599121901399108000.smt2
1599121904275696000.smt2
1599121901058720000.smt2
1599121862802573000.smt2
1599122161837024000.smt2
1599121862060861000.smt2
1599121861204394000.smt2
1599122160360713000.smt2
1599122164335538000.smt2
1599121977871504000.smt2
1599121901788493000.smt2
1599121863071862000.smt2
1599122163285767000.smt2
1599121886550120000.smt2
1599121863927725000.smt2
1599121906331969000.smt2
1599121902582611000.smt2
1599121900863650000.smt2
1599121976975720000.smt2
1599121901979464000.smt2
1599121903663628000.smt2
1599121904148342000.smt2
1599122165966134000.smt2
1599122164112038000.smt2
1599121862628259000.smt2
1599122165520262000.smt2
1599121889458073000.smt2
1599121861673275000.smt2
1599122164262540000.smt2
1599122161372272000.smt2
1599122161135113000.smt2
1599121863507696000.smt2
1599122158761091000.smt2
1599121979969036000.smt2
1599121861963219000.smt2
1599121905756640000.smt2
1599121977052667000.smt2
1599122162129885000.smt2
1599122166284498000.smt2
1599121980065204000.smt2
1599122159470027000.smt2
1599122162052389000.smt2
1599122166437928000.smt2
1599122163683961000.smt2
1599121977574768000.smt2
1599121900961647000.smt2
1599121901261336000.smt2
1599122161761452000.smt2
1599121861020640000.smt2
1599120907722106000.smt2
1599121899684865000.smt2
1599121900395156000.smt2
1599121862350313000.smt2
1599122164557720000.smt2
1599121861590419000.smt2
1599121861868864000.smt2
1599121863598340000.smt2
1599121905159229000.smt2
1599121863820026000.smt2
1599122164401435000.smt2
1599121979036655000.smt2
1599121977494004000.smt2
1599121862158098000.smt2
1599122165050745000.smt2
1599122159395516000.smt2
1599121902358391000.smt2
1599121905363582000.smt2
1599121902194451000.smt2
1599122159324430000.smt2
1599122158690319000.smt2
1599121979877230000.smt2
1599121900087311000.smt2
1599122159626470000.smt2
1599122162683190000.smt2
1599121977778711000.smt2
1599121861496816000.smt2
1599121899996144000.smt2
1599121982750472000.smt2
1599122164022027000.smt2
1599121900611358000.smt2
1599122160759999000.smt2
1599121886379408000.smt2
1599121978587040000.smt2
1599122163787185000.smt2
1599121899765670000.smt2
1599120907414249000.smt2
1599121900501850000.smt2
1599121866548508000.smt2
1599122165438996000.smt2
1599121979753628000.smt2
1599121861773920000.smt2
1599121904699478000.smt2
1599122162914439000.smt2
1599121906174154000.smt2
1599121903974444000.smt2
1599121906000858000.smt2
1599121684378151000.smt2
1599122160216860000.smt2
1599121980156583000.smt2
1599122161209643000.smt2
1599122160651294000.smt2
1599122166607307000.smt2
1599121900178623000.smt2
1599120907818508000.smt2
1599122161297140000.smt2
1599122165825193000.smt2
1599121684285860000.smt2
1599121904427820000.smt2
1599121862719873000.smt2
1599121978053526000.smt2
1599121900721258000.smt2
1599122159553859000.smt2
1599121684761355000.smt2
1599122160834023000.smt2
1599122158896018000.smt2
1599121862252472000.smt2
1599121899310413000.smt2
1599122164470280000.smt2
1599121978149819000.smt2
1599121684561818000.smt2
1599121902804243000.smt2
1599121903380659000.smt2
1599122163102414000.smt2
1599122163478388000.smt2
1599122161062257000.smt2
1599121978233493000.smt2
1599122160984317000.smt2
1599122164891799000.smt2
1599120907513630000.smt2
1599121978503423000.smt2
1599122166524024000.smt2
1599121684653478000.smt2
1599122163011311000.smt2
1599122161444977000.smt2
1599122160908580000.smt2
1599122162816156000.smt2
1599122166355347000.smt2
1599122159253021000.smt2
1599121900264874000.smt2
1599121863418601000.smt2
1599122158622723000.smt2
1599121901606581000.smt2
1599121909151965000.smt2
1599121976876433000.smt2
1599120911869156000.smt2
1599121978725162000.smt2
1599121979136435000.smt2
1599121902909795000.smt2
1599121977963106000.smt2
1599122166054343000.smt2
1599122165894911000.smt2
1599121978410256000.smt2
1599122166134185000.smt2
1599120908933292000.smt2
1599121977688943000.smt2
1599121861304140000.smt2
1599122163378198000.smt2
1599121863160493000.smt2
1599122161975354000.smt2
1599121861391903000.smt2
1599122158964809000.smt2
1599121862981074000.smt2
1599122164633784000.smt2
1599121979237207000.smt2
1599121977220088000.smt2
1599122164185255000.smt2
1599122166687483000.smt2
1599121977409531000.smt2
1599122159037804000.smt2
1599122160139220000.smt2
1599121861113116000.smt2
1599122160501179000.smt2
1599121977316964000.smt2
1599121863702813000.smt2
1599121976786824000.smt2
1599122164812235000.smt2
1599122163933833000.smt2
1599121899534768000.smt2
1599122160430013000.smt2
1599121863332013000.smt2
1599122159776715000.smt2
1599122159940883000.smt2
1599121684188100000.smt2
1599122161907569000.smt2
1599122160577854000.smt2
1599122162374274000.smt2
1599121905450496000.smt2
1599121899405522000.smt2
1599122159846134000.smt2
1599121905004413000.smt2
1599122165298104000.smt2
1599121903843386000.smt2
1599121903519083000.smt2
1599121902699953000.smt2
1599121978324635000.smt2
1599121899872501000.smt2
1599122164967249000.smt2
1599122162288189000.smt2
1599122165681283000.smt2
1599121978844246000.smt2
1599121905539672000.smt2
1599122163190413000.smt2
1599121862899350000.smt2
1599122165219202000.smt2
1599122159103427000.smt2
1599122162465867000.smt2
1599122158826418000.smt2
1599121863243316000.smt2
1599122163859439000.smt2