// File: /workspace/github_cpp_makefile_star2_O1/eryxcc[P]lois/tests/autotest.cpp
// Function: main
int main() {
  lasttime = getVa();
  initLois();
  // pushSolverDiagnostic("checking: ");
  
#ifdef TEST_SPASS
  useDefaultSolver();
  pushSolverSPASS();
  pushSolverBasic();
  
  sym.edge = "edge";
  sym.greater = "gt";
  
#endif

  Domain dA("A");
  lsetof<term> A = dA.getSet(); 

  testFullyPseudoparallel(A);
  showTimeElapsed(); cout<<endl;

  testAssignment(A);
  showTimeElapsed(); cout<<endl;
  
  testRandomBipartite(A);
  showTimeElapsed(); cout<<endl;
  
  testOrder(A);
  showTimeElapsed(); cout<<endl;

  testQueue();
  showTimeElapsed(); cout<<endl;

  testRemoval(A);
  showTimeElapsed(); cout<<endl;
  
  // testPowerset(A * A);
  // showTimeElapsed(); cout<<endl;

  testCartesian(A);
  showTimeElapsed(); cout<<endl;

  testTree(A);
  
  return 0;
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x110, %rsp            # imm = 0x110
leaq 0x28(%rsp), %rbx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x73b0
imulq $0xf4240, (%rbx), %rax  # imm = 0xF4240
addq 0x8(%rbx), %rax
movq %rax, 0x43119(%rip)     # 0x532b8
callq 0x3d29f
leaq 0x60(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3140b(%rip), %rsi     # 0x415bf
leaq 0x31405(%rip), %rdx     # 0x415c0
leaq 0x50(%rsp), %rbx
movq %rbx, %rdi
callq 0x1c6d0
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
addq %rsi, %rdx
leaq 0x28(%rsp), %rdi
callq 0x1366e
movl $0xffffffff, 0x48(%rsp) # imm = 0xFFFFFFFF
movq 0x50(%rsp), %rdi
cmpq %r14, %rdi
je 0x10204
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x7280
movq %rsp, %rdi
leaq 0x28(%rsp), %rsi
callq 0x3df0c
leaq 0xe8(%rsp), %rdi
movq %rsp, %rsi
callq 0x1074c
leaq 0xf8(%rsp), %rbx
movq %rbx, %rdi
callq 0x137ea
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x1023f
callq 0x13308
callq 0x7eef
movq 0x42d85(%rip), %rdi     # 0x52fd0
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x42d6a(%rip), %rbx     # 0x52fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0xc0(%rsp), %rdi
movq %rsp, %rsi
callq 0x1074c
leaq 0xc0(%rsp), %rdi
callq 0xfde6
leaq 0xd0(%rsp), %r14
movq %r14, %rdi
callq 0x137ea
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0x102b1
callq 0x13308
callq 0x7eef
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x42cfc(%rip), %rbx     # 0x52fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x98(%rsp), %rdi
movq %rsp, %rsi
callq 0x1074c
leaq 0x98(%rsp), %rdi
callq 0xd0e9
leaq 0xa8(%rsp), %r14
movq %r14, %rdi
callq 0x137ea
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0x1031f
callq 0x13308
callq 0x7eef
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x42c8e(%rip), %rbx     # 0x52fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq %rsp, %rdi
callq 0xae14
callq 0x7eef
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x42c53(%rip), %rbx     # 0x52fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
callq 0xf180
callq 0x7eef
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x42c1b(%rip), %rbx     # 0x52fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x70(%rsp), %rdi
movq %rsp, %rsi
callq 0x1074c
leaq 0x70(%rsp), %rdi
callq 0xf410
leaq 0x80(%rsp), %r14
movq %r14, %rdi
callq 0x137ea
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0x103fa
callq 0x13308
callq 0x7eef
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x42bb3(%rip), %rbx     # 0x52fd0
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
callq 0x7eef
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq 0x42b80(%rip), %rdi     # 0x52fd0
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq %rsp, %rdi
callq 0x8eda
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x137ea
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x10480
callq 0x13308
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x10497
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x7280
xorl %eax, %eax
addq $0x110, %rsp            # imm = 0x110
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
jmp 0x104c8
movq %rax, %rbx
leaq 0x98(%rsp), %rdi
jmp 0x104c8
movq %rax, %rbx
leaq 0xc0(%rsp), %rdi
callq 0x10992
jmp 0x104e9
movq %rax, %rbx
jmp 0x104f1
movq %rax, %rbx
movq 0x50(%rsp), %rdi
movq %r14, %r15
cmpq %r14, %rdi
jne 0x104fb
jmp 0x10506
movq %rax, %rbx
movq %rsp, %rdi
callq 0x10992
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x10506
movq (%r15), %rsi
incq %rsi
callq 0x7280
movq %rbx, %rdi
callq 0x7430