calypto Benchmarks

Family
Namecalypto
Generation DateNone
First Occurrence2009-08-02
Benchmarks237

Benchmarks

QF_BV • Charts • Solver Isomap
problem_14.smt2
problem_10.smt2
problem_2.smt2
problem_24.smt2
problem_20.smt2
problem_6.smt2
problem_17.smt2
problem_5.smt2
problem_9.smt2
problem_22.smt2
problem_8.smt2
problem_3.smt2
problem_19.smt2
problem_16.smt2
problem_18.smt2
problem_21.smt2
problem_23.smt2
problem_15.smt2
problem_4.smt2
problem_1.smt2
problem_7.smt2
problem_13.smt2
problem_12.smt2
QF_LIA • Charts • Solver Isomap
problem-004286.cvc.1.smt2
problem-005677.cvc.1.smt2
problem-002673.cvc.1.smt2
problem-004282.cvc.1.smt2
problem-004317.cvc.1.smt2
problem-005840.cvc.1.smt2
problem-004307.cvc.1.smt2
problem-002666.cvc.1.smt2
problem-004341.cvc.1.smt2
problem-001586.cvc.1.smt2
problem-001542.cvc.1.smt2
problem-004293.cvc.1.smt2
problem-005839.cvc.1.smt2
problem-004350.cvc.1.smt2
problem-004327.cvc.1.smt2
problem-004344.cvc.1.smt2
problem-001595.cvc.1.smt2
problem-001566.cvc.1.smt2
problem-001553.cvc.1.smt2
problem-002267.cvc.1.smt2
problem-005844.cvc.1.smt2
problem-004292.cvc.1.smt2
problem-004296.cvc.1.smt2
problem-005676.cvc.2.smt2
problem-004353.cvc.1.smt2
problem-004316.cvc.1.smt2
problem-004299.cvc.1.smt2
problem-004284.cvc.1.smt2
problem-004303.cvc.1.smt2
problem-004335.cvc.1.smt2
problem-006045.cvc.1.smt2
problem-004308.cvc.1.smt2
problem-004346.cvc.1.smt2
problem-001649.cvc.1.smt2
problem-005675.cvc.2.smt2
problem-004285.cvc.1.smt2
problem-004337.cvc.1.smt2
QF_NIA • Charts • Solver Isomap
problem-006496.cvc.1.smt2
problem-000064.cvc.1.smt2
problem-000013.cvc.1.smt2
problem-000135.cvc.2.smt2
problem-001268.cvc.1.smt2
problem-001419.cvc.1.smt2
problem-002096.cvc.1.smt2
problem-002210.cvc.1.smt2
problem-000007.cvc.1.smt2
problem-003685.cvc.1.smt2
problem-000170.cvc.1.smt2
problem-000168.cvc.2.smt2
problem-000104.cvc.1.smt2
problem-001415.cvc.1.smt2
problem-002563.cvc.1.smt2
problem-000005.cvc.2.smt2
problem-000043.cvc.1.smt2
problem-000157.cvc.2.smt2
problem-000100.cvc.2.smt2
problem-000124.cvc.1.smt2
problem-000032.cvc.2.smt2
problem-002452.cvc.1.smt2
problem-000210.cvc.1.smt2
problem-004207.cvc.2.smt2
problem-001269.cvc.1.smt2
problem-002617.cvc.1.smt2
problem-006501.cvc.1.smt2
problem-005612.cvc.1.smt2
problem-000128.cvc.1.smt2
problem-000025.cvc.2.smt2
problem-001095.cvc.1.smt2
problem-005124.cvc.1.smt2
problem-006540.cvc.1.smt2
problem-006530.cvc.1.smt2
problem-001267.cvc.1.smt2
problem-004207.cvc.1.smt2
problem-000785.cvc.1.smt2
problem-000170.cvc.2.smt2
problem-002209.cvc.1.smt2
problem-000030.cvc.2.smt2
problem-002871.cvc.1.smt2
problem-000940.cvc.1.smt2
problem-001104.cvc.1.smt2
problem-000168.cvc.1.smt2
problem-006546.cvc.1.smt2
problem-000044.cvc.1.smt2
problem-001389.cvc.1.smt2
problem-000012.cvc.1.smt2
problem-000123.cvc.1.smt2
problem-006482.cvc.1.smt2
problem-000477.cvc.1.smt2
problem-000084.cvc.1.smt2
problem-000031.cvc.1.smt2
problem-002620.cvc.1.smt2
problem-002949.cvc.1.smt2
problem-006543.cvc.1.smt2
problem-006492.cvc.1.smt2
problem-005596.cvc.1.smt2
problem-005139.cvc.1.smt2
problem-000036.cvc.1.smt2
problem-000433.cvc.1.smt2
problem-000081.cvc.1.smt2
problem-001098.cvc.1.smt2
problem-002207.cvc.1.smt2
problem-005137.cvc.1.smt2
problem-006499.cvc.1.smt2
problem-000478.cvc.1.smt2
problem-006528.cvc.1.smt2
problem-005897.cvc.1.smt2
problem-005948.cvc.1.smt2
problem-000003.cvc.2.smt2
problem-004206.cvc.1.smt2
problem-002626.cvc.1.smt2
problem-000008.cvc.1.smt2
problem-005140.cvc.1.smt2
problem-006531.cvc.1.smt2
problem-006544.cvc.1.smt2
problem-000132.cvc.2.smt2
problem-006517.cvc.1.smt2
problem-000144.cvc.1.smt2
problem-006541.cvc.1.smt2
problem-000012.cvc.2.smt2
problem-000021.cvc.1.smt2
problem-002619.cvc.1.smt2
problem-000063.cvc.1.smt2
problem-003687.cvc.1.smt2
problem-000125.cvc.1.smt2
problem-002625.cvc.1.smt2
problem-006535.cvc.1.smt2
problem-000062.cvc.2.smt2
problem-006520.cvc.1.smt2
problem-006534.cvc.1.smt2
problem-003688.cvc.1.smt2
problem-000025.cvc.1.smt2
problem-000001.cvc.2.smt2
problem-000062.cvc.1.smt2
problem-000024.cvc.1.smt2
problem-006494.cvc.1.smt2
problem-000480.cvc.1.smt2
problem-006542.cvc.1.smt2
problem-000144.cvc.2.smt2
problem-000158.cvc.1.smt2
problem-006484.cvc.1.smt2
problem-002950.cvc.1.smt2
problem-000036.cvc.2.smt2
problem-000128.cvc.2.smt2
problem-000131.cvc.1.smt2
problem-005952.cvc.1.smt2
problem-005895.cvc.1.smt2
problem-006488.cvc.1.smt2
problem-005896.cvc.1.smt2
problem-006490.cvc.1.smt2
problem-000132.cvc.1.smt2
problem-006498.cvc.1.smt2
problem-005111.cvc.1.smt2
problem-000423.cvc.1.smt2
problem-006536.cvc.1.smt2
problem-002451.cvc.1.smt2
problem-000032.cvc.1.smt2
problem-000044.cvc.2.smt2
problem-000103.cvc.1.smt2
problem-006529.cvc.1.smt2
problem-000030.cvc.1.smt2
problem-000120.cvc.1.smt2
problem-000021.cvc.2.smt2
problem-001115.cvc.1.smt2
problem-000131.cvc.2.smt2
problem-000135.cvc.1.smt2
problem-000158.cvc.2.smt2
problem-002622.cvc.1.smt2
problem-000438.cvc.1.smt2
problem-000441.cvc.1.smt2
problem-000005.cvc.1.smt2
problem-000016.cvc.1.smt2
problem-003689.cvc.1.smt2
problem-000479.cvc.1.smt2
problem-000447.cvc.1.smt2
problem-000157.cvc.1.smt2
problem-006526.cvc.1.smt2
problem-001263.cvc.1.smt2
problem-000016.cvc.2.smt2
problem-005980.cvc.1.smt2
problem-000154.cvc.2.smt2
problem-006500.cvc.1.smt2
problem-006547.cvc.1.smt2
problem-000797.cvc.1.smt2
problem-001265.cvc.1.smt2
problem-001120.cvc.1.smt2
problem-000946.cvc.1.smt2
problem-002936.cvc.1.smt2
problem-005959.cvc.1.smt2
problem-005950.cvc.1.smt2
problem-000001.cvc.1.smt2
problem-006522.cvc.1.smt2
problem-000019.cvc.2.smt2
problem-000081.cvc.2.smt2
problem-000003.cvc.1.smt2
problem-000008.cvc.2.smt2
problem-006539.cvc.1.smt2
problem-001270.cvc.1.smt2
problem-001262.cvc.1.smt2
problem-006521.cvc.1.smt2
problem-004205.cvc.1.smt2
problem-000154.cvc.1.smt2
problem-000125.cvc.2.smt2
problem-000209.cvc.1.smt2
problem-005957.cvc.1.smt2
problem-000037.cvc.1.smt2
problem-005126.cvc.1.smt2
problem-006525.cvc.1.smt2
problem-004204.cvc.1.smt2
problem-000019.cvc.1.smt2
problem-006538.cvc.1.smt2
problem-006486.cvc.1.smt2
problem-006537.cvc.1.smt2
problem-000080.cvc.1.smt2
problem-000100.cvc.1.smt2